Typescript 类型别名让 Intellisense 显示别名，而不是源类型

Question

考虑这段简短的代码

type A = number;

declare function f(): A;

const a = f(); // `a` is number, not A

为什么 TS 显示的是 a: number 而不是 a: A？

Answer 1

顾名思义，类型别名只是另一种类型的不同名称。类型别名不是编译器保证保留的东西(与接口(interface)不同)，它应用提供最佳用户体验的启发式方法(在这种情况下它可能会失败)。

也不是 A 和 number 实际上是同一类型。如果你想确保 number 不可分配给 A 你需要使用 branded types .

type A = number & { isA: undefined};

declare function f(): A;

const a = f(); // `a` is A, not number

play

注意:还有一项提案(this 和 this)将品牌类型机制融入 typescript ，但在撰写本文时尚未最终确定。