SortKey<>泛型类型失效：为何内部单独类型可正常工作？

当单独测试KeyPath、ValueAtPath等类型正常，但SortKey<Domain>返回unknown时，通常是SortKey类型的定义存在递归逻辑漏洞或约束冲突，导致TypeScript无法完成类型推导，最终 fallback 到unknown。以下是最常见的几个原因：

1. 递归边界未正确处理 #

如果SortKey的递归定义没有明确处理非对象类型属性的终止条件，TypeScript会因无法收敛递归而返回unknown。例如：

// 错误示例：未处理基础类型的终止
type SortKey<T> = {
  path: KeyPath<T>;
  comparer: Comparer<ValueAtPath<T, KeyPath<T>>>;
}
// 当T是基础类型（如string/number）时，KeyPath<T>可能返回never或空，导致ValueAtPath无法推导，最终整个SortKey变成unknown

修正方向：给递归添加终止条件，当T不是对象时，返回对应基础类型的键配置（或直接排除该分支）。

2. 类型约束不兼容导致推导失败 #

如果SortKey中对Comparer的输入类型约束过严，而ValueAtPath返回的某些类型无法满足该约束，TypeScript会直接返回unknown而非明确报错。例如：

// 假设Comparer仅支持string/number类型
type Comparer<T> = (a: T, b: T) => number;

// 如果Domain中存在嵌套属性的类型是boolean/object，ValueAtPath返回该类型后，Comparer无法匹配，导致SortKey推导失败
type SortKey<T> = {
  path: KeyPath<T>;
  comparer: Comparer<ValueAtPath<T, typeof path>>;
}

修正方向：要么放宽Comparer的约束，要么在KeyPath中过滤掉无法比较的属性类型，确保ValueAtPath返回的类型都能被Comparer处理。

3. 递归类型深度超限或循环引用 #

TypeScript对递归类型的推导有深度限制（通常默认是100层左右），如果Domain的嵌套层级过深，或者存在循环引用（如Domain的某个属性类型是自身），会导致类型推导中断，返回unknown。

排查方式：简化Domain类型，逐步减少嵌套层级或移除循环引用，测试SortKey<Domain>是否能正常推导，以此定位问题。

4. 可选属性/索引签名未处理 #

如果Domain包含可选属性或索引签名，而KeyPath的定义没有兼容这些情况，会导致SortKey的联合类型中混入无效分支，最终整个类型被unknown污染。例如：

// 假设Domain有可选属性
type Domain = {
  user?: { name: string };
}
// 如果KeyPath允许可选属性的路径，ValueAtPath会返回string | undefined，而Comparer无法处理undefined，导致该分支类型无效，SortKey最终变成unknown

修正方向：在KeyPath中排除可选属性，或者在SortKey中处理undefined的情况，确保Comparer能兼容可选属性的返回值类型。

内容的提问来源于stack exchange，提问作者José Ramírez