javascript - 将带有枚举的属性传递给需要带有字符串的属性的函数

Question

已关闭。此问题需要 debugging details 。目前不接受答案。

---

编辑问题以包含 desired behavior, a specific problem or error, and the shortest code necessary to reproduce the problem 。这将有助于其他人回答问题。

已关闭 4 年前。

Improve this question

有人可以解释一下，为什么当它是一个对象属性时，flow 不接受限制性更强的类型的参数来函数期望限制性较小的类型？

https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVAXAngBwKZgCSAdjgK4ZgC8YA3qmGNvgFxgDOGATgJbEDmAGlQBfANzpmBAPIVylGvUZS2AcgByAQwBuq4SPQBjOMU5gocONTAAKAJRtZGedQB8tpU1x41W3frsJVGNTSgAjTS5rGz55NhJ5Ozc6BjAQ9jgYPAA6eH4bVViKPTAijECwUXQIrhsLOHtAoA

/* @flow */

type Input = {
  type: string,
};

type Output = {
  type: 'Nav',
}

const foo = (): Output => ({
  type: 'Nav',
});

const bar = (input: Input) => {
  console.log('input', input); 
}

bar(foo());

错误:

19: bar(foo());
        ^ Cannot call `bar` with `foo()` bound to `input` because string literal `Nav` [1] is incompatible with string [2] in property `type`.
References:
8:   type: 'Nav',
           ^ [1]
4:   type: string,
           ^ [2]

我是否遗漏了文档中的某些内容？

Answer 1

关于 variance 的文档应该让您开始理解为什么更具体的输入很麻烦。在您的情况下，Flow 不知道您的函数将如何处理输入，因此担心 bar可以修改其输入。例如，bar可能会改变input.type至'some string' ，这将违反Output类型。您可以标记input作为$ReadOnly<Input>类型为 Flow 提供保证 bar不会修改input .