将带有枚举的属性传递给期望带有字符串的属性

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

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