模板字面量类型适合表达哪些字符串协议，何时应改用不透明标识类型

# 核心结论

模板字面量类型适合表达结构有限、规则稳定且能由若干已知片段组合出的字符串协议，例如事件名、权限键、资源路径前缀和配置字段名。它能在编译期检查字符串形状，并通过条件类型提取片段，但不能验证外部字符串的真实性，也不适合完整模拟复杂、无限或经常变化的业务语法。如果领域只关心“这是经过验证的某类标识符”，而不需要在类型系统中枚举和解析其内部结构，应使用品牌化的不透明类型，并由运行时校验函数负责创建。

# 底层机制

模板字面量类型会对插值位置中的联合类型进行组合展开：

type Entity = "user" | "order";
type Action = "created" | "deleted"