TypeScript 能强制函数必须返回两种类型吗？

[iqoo]

比如 type X = string | number ，如果定义函数返回类型是 X ，那么只要是 string 或 number 其中一个就可以。

如果想让函数两种类型都必须有返回（不同的分支返回不同的类型），是否有其他办法？

[qbqbqbqb]

这个需求在 TypeScript 里其实不好做。因为 ts 里有一种 literal type 的东西。比如你的例子里的 c 函数，如果不手动指定返回类型的话，你以为编译器推断出的类型是 string|number ，结果其实是"hello"|123 ，也是一种比 string|number 更窄的类型，那它该不该报错呢？ 按照你的需求应该是不报错，但是按照 ts 的类型系统"hello"|123 和 number 都是 extends string|number ，并不好区分。