TypeScript嵌套复杂类型正确推断方法及异常问题排查

问题描述 #

我发现TypeScript处理复杂嵌套类型时，有时无法正确完成类型推断。想搞清楚这是TypeScript的Bug，还是我写法有问题？如果是写法问题，实现嵌套复杂类型推断的最佳方式是什么？

代码示例 #

// Storable 是包含可选指定键的对象类型
type Storable<O, Key extends string> = O & { [key in Key]?: string };
// Stored 是包含必填指定键的对象类型
type Stored<S> = S extends Storable<infer O, infer Key extends string> ? O & { [key in Key]: string} : never

// 标准对象类型
type MyObject = { prop1: boolean; prop2: number; };
// 基于 MyObject 的 Storable 类型
type MyStorableObject = Storable<MyObject, "id">;

// 将 Storable 对象转换为 Stored 对象的函数
function store<T, B extends string>(object: Storable<T, B>, key: B): Stored<T> {
  return { ...object, [key]: 'generatedId' } as unknown as Stored<T>;
}

现象 #

调用store函数时，期望stored的类型不是never，但结果时好时坏：

const storableObject: MyStorableObject = { prop1: true, prop2: 0 };
const stored = store(storableObject, 'id');
// 此时 stored 的类型为 never，不符合预期

但当MyObject定义为单属性类型时：

type MyObject = { prop1: string };

调用后stored的类型符合预期：

const stored: MyObject & {
    id?: string | undefined;
} & {
    id: string;
    prop1: string;
}

问题根源 #

这不是TypeScript的Bug，而是你的写法存在两处关键问题：

1. store函数返回类型定义错误：你把返回值指定为Stored<T>，但这里的T是原始对象类型（比如MyObject），而Stored<S>的设计是接收Storable类型作为参数，原始对象类型并不满足Storable的结构约束，因此条件类型推断失败，返回never。单属性场景下的“正常”结果只是TypeScript推断机制的偶然偏差，不具备稳定性。
2. Stored类型的推断逻辑依赖交叉类型拆解：当原始对象属性较多时，TypeScript对交叉类型（O & { [key in Key]?: string }）的解构推断会更严格，容易出现匹配失败。

优化方案 #

方案1：修正函数返回类型 #

直接让Stored作用于Storable<T, B>类型，而不是原始的T：

// 保持 Storable 和 Stored 类型定义不变
type Storable<O, Key extends string> = O & { [key in Key]?: string };
type Stored<S> = S extends Storable<infer O, infer Key extends string> ? O & { [key in Key]: string} : never

// 修正 store 函数的返回类型
function store<T, B extends string>(object: Storable<T, B>, key: B): Stored<Storable<T, B>> {
  return { ...object, [key]: 'generatedId' } as unknown as Stored<Storable<T, B>>;
}

此时调用store(storableObject, 'id')，stored的类型会正确推断为MyObject & { id: string }。

方案2：简化类型定义（推荐） #

利用TypeScript内置工具类型Partial、Required和Omit简化类型逻辑，避免复杂的交叉类型推断：

// 使用内置工具类型重构 Storable
type Storable<O, Key extends string> = O & Partial<Record<Key, string>>;
// 直接从 Storable 类型中提取并转换键为必填
type Stored<S extends Storable<any, infer Key extends string>> = Omit<S, Key> & Required<Record<Key, string>>;

// 简化 store 函数的泛型定义
function store<O, Key extends string>(object: Storable<O, Key>, key: Key): Stored<Storable<O, Key>> {
  return { ...object, [key]: 'generatedId' } as Stored<Storable<O, Key>>;
}

这种写法更直观，类型推断的稳定性更强，同时也符合TypeScript的最佳实践。

验证效果 #

调整后，无论MyObject是单属性还是多属性，调用store函数后，stored的类型都会正确推断为原始对象类型加上必填的指定键，不会再出现never的情况。

内容的提问来源于stack exchange，提问作者Loukotiko Loukodil Tikoati