为什么流类型转换不能按预期对字符串文字起作用

Question

对于下面的示例，为什么类型转换在 Flowtypes 中不起作用？ 理想的做法应该是什么？

type typeA = {
  name: 'ben' | 'ken',
};
type typeB = {
  name: string,
};
const objA: typeA = { name: 'ben' };
const objB: typeB = objA;

它给出了错误

Cannot assign `objA` to `objB` because in property `name`: Either  string [1] is incompatible with  string literal `ben` [2]. Or  string [1] is incompatible with  string literal `ken` [3].

但是，对于 typescript，没问题。

Answer 1

这实际上是一个 TypeScript 缺陷 IMO，Flow 做得对。 让我们看看为什么：

type A = {
  name: 'ben' | 'ken';
}

type B = {
  name: string;
}

const a: A = { name: 'ben' }
const b: B = a;

b.name = 'jen';

console.log({ a });
// this logs { a: { name: 'jen' } } <- see how a.name has an invalid value!

在 JS 中，当您编写b = a时，表示b是a的“别名”，实际上它们是相同的 object。

因此，如果您对b进行更改，那么这些更改也会反映在a上，因此，如果您被允许将name类型定义从给定的字符串列表“倾斜”为通用字符串，则可以 go 并将a.name更改为 "非法”或更好的不需要的值！