代码之家 › 专栏 › 技术社区 › Justin808

如何解决“字符串与空或未定义的”流错误不兼容而无法赋值?

flowtype

Justin808 · 技术社区 · 7 年前

我从flow中得到了一个错误,但我正在检查以验证错误永远不会发生。我怎么能告诉flow一切都好?

/* @flow */

type A = {|
 test: string;
|}

type B = {|
 test: ?string;
|}

function foo(b: B): A {
  if (b && b.test) {
    return {
      test: b.test
    };
  }

  return { test: 'hi' };
}

const test: B = foo({ test: 'a' });

这就是流程给我的错误。

21: const test: B = foo({ test: 'a' });
                    ^ Cannot assign `foo(...)` to `test` because string [1] is incompatible with null or undefined [2] in property `test`.
References:
4:  test: string;
          ^ [1]
8:  test: ?string;
          ^ [2]

但从代码来看,我检查的测试不能为空或未定义。所以我不知道该怎么解决这个问题。

Live Example Here

2 回复 | 直到 7 年前

Buggy 7 年前

/* @flow */

type A = {|
 test: string;
|}

type B = {|
 test: ?string;
|}

declare var TestA: A;
declare var TestB: B;

TestB = TestA;
//      ^ Cannot assign `TestA` to `TestB` because string [1] is incompatible with null or undefined [2] in property `test`

是因为 {|test: string;} {|test: ?string;} ,我们可以变异 TestB.test = null ,但它也会变异 TestA test 不应为空。

是的子类型 {| +test: ?string;} . ( + -只读)

user10039288 user10039288 7 年前

/* @flow */

type A = {|
 test: string;
|}

type B = {|
 test: string;
|}

function foo(b: ?B): A {
  if (b && b.test) {
    return {
      test: b.test
    };
  }

  return { test: 'hi' };
}

const test: B = foo({ test: 'a' });

推荐文章

Christopher Francisco · 流-缓存公共变量检查时,读取联合类型属性不起作用

7 年前

David Schumann Axnyff · 使用react native中无状态功能组件的流定义属性类型

7 年前

JD. · 流-可能类型与看似有效的默认对象参数不兼容

7 年前

arnoldbird · 如何使用非字符串引用而不导致流错误

7 年前

Andy Haskell · 为什么Web包在我的主目录中查找预设?

8 年前

Ilja · 扩展flow“type Props”以包括来自其他组件的道具类型?

8 年前

Soichi Takamura · 流类型是否可以在方法链接中收紧实例的方法定义

8 年前

Janekx · 如何构建流程

8 年前

Daniel Jung · eslint无法解析$ReadOnlyArray

8 年前

Saad · Flowtype libdefs如何从其他libdef导入类型?

8 年前