疑问：{ [string]: string }与{ [string]: string | number }不兼容是否合理？

你的操作没有错误，Flow的报错是符合其类型安全设计的。

为什么string与string|number兼容 #

string是string|number的子类型，Flow的类型系统中，值类型的赋值遵循协变规则——子类型可以安全赋值给父类型，因为string的所有可能值都属于string|number的范围，不会出现类型冲突。

为什么索引签名类型不兼容 #

这是因为可变对象的索引签名需要考虑写入操作的类型安全：

• 当你把v3（类型{[string]: string}）赋值给v4（类型{[string]: string|number}）后，从类型定义看，v4允许给任意索引赋值string或number。
• 但v3的实际对象只能存储string类型的值，如果后续通过v4给某个索引赋值number，就会导致v3的对象中出现不符合其类型定义的值，破坏类型安全。

Flow为了避免这种潜在的类型错误，会阻止这类赋值操作。

解决方法 #

如果你的场景中不需要通过v4修改对象的属性，可以将T4定义为只读索引签名，这样Flow允许协变赋值：

/* @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; // 不再报错
}

如果确实需要修改属性，那你需要确保v3的类型本身兼容写入number，比如直接将v3声明为T4类型。

内容的提问来源于stack exchange，提问作者Shintaro Abe