基于数组值获取联合类型子集的TypeScript类型推导问题

你需要的是一个泛型函数类型，把泛型参数直接绑定到函数类型上，而不是外层的类型别名。这样TypeScript就能在调用函数时，自动从传入的数组参数里推导对应的Alphabet子集类型，完全不需要手动指定泛型。

正确的类型定义 #

// 你的基础类型定义
type Alphabet = 'a' | 'b' | 'c' | 'd' | 'e';
type ComputedAlphabet<A extends Alphabet> = { [k in A]: true };

// 核心：泛型函数类型，泛型A会自动从chars参数推导
type TransformAlphabet = <A extends Alphabet>(chars: A[]) => ComputedAlphabet<A>;

实际使用演示 #

let transform: TransformAlphabet;

// 自动推导返回类型为 { a: true }
const result1 = transform(['a']);
// 自动推导返回类型为 { a: true, b: true }
const result2 = transform(['a', 'b']);
// 自动推导返回类型为 { c: true, e: true }
const result3 = transform(['c', 'e']);

为什么之前的写法不行？ #

你之前定义的type TransformAlphabet<A extends Alphabet>=(chars: A[]) => ComputedAlphabet<A>是把泛型参数绑定到了类型别名上，这意味着你在声明transform变量时必须手动指定A的类型（比如let transform: TransformAlphabet<'a'>），完全失去了自动推导的能力，不符合实际开发的便捷性需求。

而把泛型参数<A extends Alphabet>放在函数类型的前面，就变成了泛型函数的类型定义——每次调用函数时，TypeScript都会根据传入的chars数组元素，自动推导出A的具体类型，完美匹配你的期望。

可选：函数的类型安全实现 #

如果需要写出对应的函数实现，也可以这样写来保证类型完全匹配：

const transform: TransformAlphabet = (chars) => {
  return chars.reduce((acc, char) => {
    acc[char] = true;
    return acc;
  }, {} as ComputedAlphabet<typeof chars[number]>);
};

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