TypeScript中'unique'关键字的用途是什么？是否有相关官方文档？

嘿，我来帮你理清这个问题——你在Playground里碰到的unique确实是TypeScript里的一个特殊保留字，只是它目前还处于试验性提案阶段，所以正式文档里暂时还没详细收录~

一、unique的用途 #

它是为**唯一类型（Unique Types）**特性设计的关键字，核心作用是让结构相同的类型拥有不同的类型身份，避免意外的类型兼容。举个实际场景：
假设你有两个都是字符串类型的ID，一个是用户ID，一个是帖子ID，在常规TypeScript里它们会被视为同一个string类型，很容易出现传错参数的情况。但用unique修饰后，这两个类型就会被视为完全不同的类型，编译器会帮你拦截这类错误。

举个代码示例（需要在Playground中启用试验性特性支持）：

type UserID = unique string;
type PostID = unique string;

const myUserId: UserID = "user_123";
const myPostId: PostID = "post_456";

// 尝试把UserID传给需要PostID的函数会直接报错
function fetchPost(postId: PostID) { /* ... */ }
fetchPost(myUserId); // ❌ 类型错误：UserID不能赋值给PostID

二、相关文档与现状 #

因为这个特性还处于早期探索阶段，TypeScript官方文档还没有正式的条目，但你可以在TypeScript的GitHub仓库里找到相关的提案讨论和迭代记录：

• 它属于TypeScript团队正在推进的“名义类型”相关特性的一部分，目的是弥补TypeScript结构类型系统在某些场景下的不足
• 目前需要启用试验性编译选项（比如--experimentalUniqueSymbols或者在Playground的设置里开启对应试验性特性）才能使用
• 语法和行为可能还会随着提案迭代发生变化，所以暂时没有稳定的文档说明

如果你想跟踪这个特性的进度，可以去GitHub上搜索TypeScript的Issues或PR，关键词用“unique type”就能找到相关讨论啦~

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