模板字面量类型如何解析并约束路由参数、事件名称与配置键

# 核心结论

模板字面量类型适合描述具有稳定、有限字符串语法的协议，例如路由参数、事件名称和分层配置键。它可以结合条件类型、递归类型、映射类型与 infer，在编译期从字符串字面量中提取结构，使路径、参数对象和事件载荷保持关联。但它只在类型检查阶段工作，不会生成运行时解析逻辑，也不能验证来自地址栏、网络、存储或用户输入的普通字符串。工程上应让运行时定义与静态类型共享事实来源，避免分别维护两套容易漂移的规则。

# 底层机制

模板字面量类型会对插值位置的联合类型做组合。例如：

type Action = "create" | "delete";
type Entity = "user" | "order"