为何TypeScript中"type"并非受限关键字？

问题背景 #

从相关讨论中了解到，TypeScript允许将type作为类、接口等的属性标识符，但多数编程语言不允许将关键字用作标识符，TypeScript为何存在这一特例？查阅官方文档后未找到相关解释。

核心原因 #

TypeScript对关键字的处理和多数语言不同，它将关键字分为两类：

• 保留关键字：这类关键字在任何场景下都不能用作标识符，比如let、const、class等。
• 上下文关键字：这类关键字仅在特定语法语境下才具有特殊含义，脱离该语境时可以正常作为标识符使用，type就属于这一类。

具体来说，type只有在定义类型别名（比如type MyType = { ... }）这类特定语法场景中才是关键字，而在类、接口的属性声明里，它只是一个普通的标识符。这样设计主要有两个目的：

1. 兼容JavaScript生态：JavaScript本身并不把type视为关键字，很多现有JS代码（比如DOM API里的input.type）已经在使用type作为属性名，TypeScript作为JS的超集，必须兼容这些既有代码。
2. 提升语法灵活性：允许在非关键字语境下使用这类名称，能避免开发者为了避开关键字而被迫使用不直观的命名（比如typeProp、typeAttr），让代码更自然。

内容的提问来源于stack exchange，提问作者Flame of Anor