自定义类型与mixed不兼容：传入Array<Thing>到Array<mixed>参数报错求助

这个报错其实是Flow对可变数组类型安全性的严格检查导致的。你可能以为Array<mixed>是能接受任何数组的“万能容器”，但Flow里可变数组的类型逻辑是：如果函数参数是Array<mixed>，意味着函数理论上可以往数组里添加任意类型的值（比如数字、布尔值），而你的array是严格的Array<Thing>类型，一旦允许传入，函数的修改操作会直接破坏原数组的类型一致性——这就是Flow阻止你这么做的核心原因。

根据你的函数实际行为，有几种不同的处理方式：

1. 函数仅读取数组，不修改它 #

如果foo只是遍历、读取数组元素，不会做添加、修改元素的操作，那把参数类型改成只读数组$ReadOnlyArray<mixed>就可以解决问题：

function foo(x: $ReadOnlyArray<mixed>): string { 
  // 这里只能做读取操作，比如x.map、x.forEach等
  return `Array length: ${x.length}`;
}

type Thing = { id: string }
let array : Array<Thing> = [{id: 'hello'}];
foo(array); // 现在不会报错了！

Flow对只读数组的类型检查是协变的，Array<Thing>可以安全地赋值给$ReadOnlyArray<mixed>，因为只读属性保证了原数组不会被函数修改。

2. 让函数支持泛型（推荐，更灵活） #

如果你的函数逻辑可以适配任意类型的数组，那用泛型来定义函数会更优雅，同时全程保持类型安全：

function foo<T>(x: Array<T>): string { 
  // 函数内部可以操作数组，但所有操作都会遵循T的类型约束
  return `Array has ${x.length} elements of type T`;
}

type Thing = { id: string }
let array : Array<Thing> = [{id: 'hello'}];
foo(array); // 完全没问题，T会被自动推断为Thing

这种方式既满足了函数的通用性，又不会破坏原数组的类型边界。

3. 明确断言类型（不推荐，除非你确定安全） #

如果你非常确定foo不会修改数组，或者愿意承担类型风险，可以用类型断言强制转换：

foo(array as Array<mixed>);

不过这种方式会绕过Flow的类型检查，可能埋下隐藏的类型错误，除非万不得已不建议使用。

内容的提问来源于stack exchange，提问作者Christian Schlensker