TypeScript中<:符号的含义是什么？如何查阅文档并理解？

嘿，这个问题我刚好碰到过——你看到的<:符号并不是标准TypeScript的语法，它其实是Flow（Facebook推出的静态类型检查工具，和TS定位类似但语法有差异）里用来表示子类型继承/约束的符号，作用等同于TypeScript里的extends关键字。

1. 符号的具体含义 #

你给出的示例代码是典型的Flow写法：

interface Literal <: Expression { 
  type: "Literal"; 
  value: string | boolean | null | number | RegExp; 
}

这段代码的意思是：Literal接口是Expression接口的子类型，它会继承Expression的所有属性，同时还额外定义了自己的type和value属性。

如果换成标准TypeScript写法，应该是这样：

// 先定义父接口Expression（假设它有基础属性）
interface Expression {
  // 例如：kind: string;
}

interface Literal extends Expression {
  type: "Literal";
  value: string | boolean | null | number | RegExp;
}

2. 为什么会在TS相关场景看到它？ #

有时候会出现这种混淆，大概率是以下两种情况：

• 项目正从Flow迁移到TypeScript，代码还没完全完成语法转换；
• 部分文档或教程混用了Flow和TS的语法示例，导致误解。

3. 查阅相关文档的途径 #

因为这是Flow专属的语法，你可以在Flow的官方文档中查找「Subtypes（子类型）」或「Interface Inheritance（接口继承）」相关章节，里面会详细讲解<:的使用规则和场景。

4. 如何理解这个符号？ #

你可以把它看作是面向对象中「继承」概念的语法体现：

• 声明子类型（比如Literal）必须符合父类型（比如Expression）的结构要求；
• 子类型可以在父类型的基础上扩展自己的专属属性或方法；
• 凡是可以使用父类型的地方，都可以使用它的子类型（里氏替换原则）。

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