{ [ string ]：string}和{ [string]：(string Are }不兼容吗？

Question

string和string | number是兼容的，但是{ [string]: string }和{ [string]: (string | number} }是不兼容的。

我做错什么了吗？

https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVAXAngBwKZgAqAjGALxgDOGATgJYB2A5gNya4GEBM5VtjTMAB8wDAK4BbAEZ4abbPiIBmXgG8wAbWr1mAXQBcfHYIC+8jkQAsazdoEGiPE+ihiGAYwx04DMBICGjAAUAJSqqGBgAG7+NNHEhiS8AORQcHDJbJExcVFciTwUUcRsEdGx0UqJKhTqUrGGyfU0yWBmZTnRlonWRUpszkA

/* @flow */

type T1 = string;
type T2 = string | number;
type T3 = { [string]: string };
type T4 = { [string]: T2 }

function main(){
  var v1: T1 = 'foo';
  var v2: T2 = v1;

  var v3: T3 = { bar: 'bar' };
  var v4: T4 = v3;
}

13:   var v4: T4 = v3;
                   ^ Cannot assign `v3` to `v4` because string [1] is incompatible with number [2] in the indexer property. [incompatible-type]
References:
5: type T3 = { [string]: string };
                         ^ [1]
6: type T4 = { [string]: T2 }
                         ^ [2]

Answer 1

原因

这是正常和预期的。

如果这是允许的，那么你将被允许去做

 v4.foo = 1;
 var expectAString : string = v3.foo;

你会得到一个数字，即使由于v3的类型，你应该只有一个字符串。

解决方案

将对象标记为只读：

type T3 = $ReadOnly<{ [string]: string }>;
type T4 = $ReadOnly<{ [string]: T2 }>;

流试链路

因为它们是只读的，这就阻止了您实际执行v4.foo = 1;。

备注

数组的情况与此相同，请参见这个答案。

文档

• 类型参数不变
• 不变性，协方差