TypeScript如何自动推断声明变量的泛型类型参数

问题描述 #

基础数组声明场景下，最初想要实现的效果是标注数组泛型类型时无需手动指定具体类型参数，由TypeScript自动完成推断：

let array: Array<string> = ["hello", "hi"];
// 目标效果：
// let array: Array<?> = ["hello", "hi"];
// 期望自动推断得到Array<string>类型

直接在变量声明层面无法实现该效果，但借助包装函数可以达成目标：

function arrayFunc<T>(array: Array<T>): Array<T> {
  return array;
};
let dataFromFunc = arrayFunc(["hello"]);
// 泛型参数T会被自动推断为string类型

这个需求看似多余：毕竟直接编写let array = [1, 2]时，TypeScript本身就会自动将类型推断为number[]。但面对更复杂的类型结构（例如包含泛型的对象类型）时，需要在获得自动类型推断的同时，保留完整的类型检查与IDE自动补全能力。
例如定义如下泛型类型：

type Options<T extends string> = {
  a: number,
  b: number,
  c: T
}[];

声明该类型的变量时：

// 理想写法：let options: Options<?> = [...]
// 注意：不需要let options: Options<any>的宽松效果，而是希望和函数调用时一致，自动推断出精确的泛型类型
let options: Options<"a" | "b" | "c" | "d"> = [
  {
    a: 1,
    b: 2,
    c: "a"
  },
  {
    a: 1,
    b: 2,
    c: "b"
  },
  {
    a: 1,
    b: 2,
    c: "c"
  },
  {
    a: 1,
    b: 2,
    c: "d"
  },
];

手动指定泛型参数在部分场景下确实适用，但当前场景需要持续新增options配置项，希望TypeScript自动推断对应的泛型类型，无需手动维护泛型参数的联合类型。借助包装函数可以实现该效果：

function optionsFunc<T extends string>(options: Options<T>): Options<T> {
  return options;
}

let optionsFromFunc = optionsFunc([...]);
// 泛型参数T会被自动推断为<"a" | "b" | "c" | "d">

但这种写法冗余度很高：需要额外定义一个运行时仅原样返回入参的函数，纯粹为了获得类型推断能力，没有实际运行时价值。
之所以不直接在消费配置的函数入参位置声明数组，是因为需要将options配置存储在独立文件中，供项目多个模块复用。

最优实现方案 #

有两种无冗余、类型安全的方案可以满足需求，不需要为每个泛型类型单独编写空包装函数：

• 使用satisfies运算符（TypeScript 4.9及以上版本推荐）
  这是最简洁的原生方案，不需要额外定义任何工具函数，直接在变量声明后通过satisfies做类型约束，既可以触发完整的类型检查，又能保留自动推断的精确字面量类型：

  let options = [
    { a: 1, b: 2, c: "a" },
    { a: 1, b: 2, c: "b" },
    { a: 1, b: 2, c: "c" },
    { a: 1, b: 2, c: "d" },
  ] satisfies Options<string>;
  

  该写法下，TypeScript会自动校验数组内的对象是否符合Options的结构要求，漏写字段、字段类型错误时会直接抛出类型错误；同时会自动将c字段的类型推断为"a" | "b" | "c" | "d"的精确联合类型，不需要手动维护泛型参数。如果需要提取推断出的泛型参数，直接通过typeof options[number]["c"]即可获取。

• 通用恒等工具函数（兼容低版本TypeScript）
  如果项目使用的TypeScript版本低于4.9，不支持satisfies运算符，可以在全局定义一次通用的恒等工具函数，全项目所有场景复用，不需要为每个泛型类型单独写包装函数：

  // 全局仅需定义一次，编译后运行时代码开销几乎为0
  const define = <T>(value: T): T => value;
  
  // 所有需要泛型推断+类型检查的场景都可以直接复用
  let options = define<Options<string>>([
    { a: 1, b: 2, c: "a" },
    { a: 1, b: 2, c: "b" },
    { a: 1, b: 2, c: "c" },
    { a: 1, b: 2, c: "d" },
  ]);
  

  该写法同样会保留完整的类型检查，同时自动推断出精确的泛型联合类型，相比为每个类型单独写包装函数的方案精简很多。

注意：不要使用as类型断言实现类似效果，类型断言会跳过部分类型校验规则，出现字段漏写、类型不匹配时可能无法正常报错，存在类型安全隐患。

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