不兼容的对象类型

如果

let second: secondType = first;

如果允许的话,这就意味着这是合法的

second.id = "some-id";

但这会破坏 firstType 因为它是同一个对象,类型是 number ,但现在它被分配了一个字符串。

要想让这一切成功,你必须这么说 secondType.id 是只读的,或者是“协变的”。你可以通过改变

type secondType = {id: string | number, name: string};

到

type secondType = {+id: string | number, name: string};

( Example on flow.org/try )

我的用例的最终解决方案:

/* @flow */

type optionsType = $ReadOnlyArray<{+id: string | number, name: string}>;
type modelsType = Array<{id: number, name: string}>;

function getOptions(options: optionsType): string {
  return options.reduce((a, e) => {
    return a + `<option value="${e.id.toString()}">${e.name}</option>`;
  }, '');
}

const options: modelsType = [
  {id: 1, name: 'punto'},
  {id: 2, name: 'duo'},
  {id: 500, name: 'cinquecento'},
];
console.log(getOptions(options));