模板字面量类型真正落地的价值在于编译期捕获路径参数类型错误并支持ide自动提示合法路径；需结合条件类型+infer递归解析占位符，精确推导routeparams为对象字面量而非record，且须与useparams等hook深度集成。
能直接在编译期捕获 /user/123/post/abc 这类路径中参数类型错误（比如 abc 本该是 number），也能让 IDE 在写 router.push(...) 时自动提示所有合法路径——这才是模板字面量类型真正落地的价值点。
用 ${infer Param} 提取路径参数名和约束类型
单纯拼接字符串类型（如 `/user/${string}`）只能校验格式，无法提取参数结构。关键在于结合条件类型 + infer 做递归解析：
-
/:id、/{page}、/posts/:postId/comments/:commentId这类写法必须被识别为「参数占位符」，不能当作普通字符串处理 - 定义
ExtractParams<t></t>工具类型时，要匹配/:${infer Param}或/{${infer Param}}模式，而非硬编码id或page - 嵌套路径需支持多次
infer：第一次提取userId，剩余部分再传入自身继续解析，否则/:a/:b/:c只会得到第一个参数 - 注意空格和斜杠边界：
/:id/和/:id应视为等价，但正则式匹配若不加\/?容易漏掉末尾无斜杠的情况
RouteParams 必须推导出对象字面量类型，而非 Record<string string></string>
如果最终类型是泛化的 Record<string string></string>，就失去了类型安全意义——你依然可以传任意 key，IDE 也无法补全。目标是让 RouteParams 精确生成 { id: string; postId: string }。
Galileo TypeScript sdk
下载
完整的Galileo AI平台 TypeScript/JS SDK 参考，用于评估、观察和保护 GenAI 应用。适用于构建 Node.js 或 TypeScript 项目。
- 必须用映射类型（
{ [K in Param]: string }）而非索引签名，否则无法保留键名字面量 - 当路径含可选参数（如
/search?q=${string}&sort?=${string}）时，对应字段应设为可选（sort?: string），这需要额外判断?后缀并构造联合类型 - 数字参数需显式约束：
/:id默认是string，若业务要求id必须为数字，得写成/:id并在工具类型里做number映射，否则parseInt调用仍可能出错
与 react-router-dom 的 useParams 配合时，类型必须穿透到 Hook 返回值
光有路径类型没用，最终要让 useParams() 的返回值具备精确字段。常见错误是把类型定义和 Hook 脱钩，导致即使路径写对了，params.id 仍报错。
- 不要直接用
useParams()手动声明——这绕过了路径字符串的自动推导，维护成本高 - 正确做法是：先定义
const userRoute = "/users/:id" as const，再通过RouteParams<typeof userroute></typeof>提取类型，最后传给useParams<routeparams userroute>>()</routeparams> - 若使用
RouteObject配置（如{ path: "/users/:id", element: ... }），需确保path字段是as const断言，否则 TypeScript 会放宽为string，导致推导失败 - 注意
useParams返回的是Partial类型（因参数可能未提供），所以字段访问前需做存在性检查，或用非空断言（params.id!）但需承担运行时风险
最易被忽略的一点：模板字面量类型对字符串长度敏感。路径中多一个空格、少一个斜杠、参数名大小写不一致，都会导致类型不匹配——这不是 bug，而是设计使然。它逼你把路由契约写死在类型系统里，而不是靠文档或约定。一旦接受这点，强校验才真正成立。
