TypeScript如何改造transformYears实现数组全键匹配类型推导

interface IYears {
  one: string;
  two: string;
  three: string;
}

function transformYears<T extends readonly (keyof IYears)[]>(
  years: [...T]
): keyof IYears extends T[number] ? IYears : Partial<IYears> {
  return years.reduce((acc, year) => ({
    ...acc,
    [year]: 'foo'
  }), {}) as ReturnType<typeof transformYears<T>>;
}

// 类型推导符合预期
const yearsFirst = transformYears(['one', 'two']) // 类型为 Partial<IYears>
const yearsSecond = transformYears(['one', 'two', 'three']) // 类型为 IYears

原代码无法生效的核心问题是入参直接标注为Array<keyof IYears>，TypeScript只会识别入参是IYears键的集合，拿不到调用时具体传了哪几个键的字面量信息，自然没法做后续的条件判断。
修正方案的几个关键点：

• 用泛型T约束入参，配合可变元组写法[...T]，让TypeScript精确捕获传入数组每个元素的字面量类型，而不是宽泛推导为所有键的联合数组
• 类型判断用keyof IYears extends T[number]做校验：T[number]是传入数组所有元素的联合类型，如果keyof IYears（即'one'|'two'|'three'）是这个联合类型的子集，就说明传入数组覆盖了IYears的所有键，返回IYears类型，否则返回Partial<IYears>
• 内部reduce的返回值加类型断言，是因为TypeScript默认推导累加器初始值{}的类型无法匹配条件返回类型，属于实现层面的类型对齐，不影响外部调用的类型推导结果
• 即使传入数组有重复键（比如['one', 'one', 'two', 'three']），类型推导依然会正确识别为覆盖所有键，返回IYears类型，符合业务逻辑

TypeScript类型系统完全可以实现这个判断，核心就是上面用到的子集校验逻辑：只要通过泛型拿到传入数组元素的精确联合类型，再判断目标类型的键联合是否是该联合类型的子集，就能静态判断传入数组是否覆盖了所有必填键。
需要注意的是这个判断是静态编译阶段的，如果传入的数组是动态生成、TypeScript无法推导出精确字面量类型的场景（比如变量类型提前标注为Array<keyof IYears>），会默认走到Partial<IYears>的分支，这是类型系统静态特性决定的预期行为。

内容的提问来源于stack exchange，提问作者RocketArtyom