TypeScript中无参泛型函数如何获取对应泛型类型的值？

首先明确：TypeScript的泛型是编译时类型信息，运行时会被擦除，所以没法直接从泛型类型K自动获取对应的值。但可以通过预存类型-值映射的方式，实现类似无参调用、根据泛型类型获取对应值的效果。

可行方案：预定义类型-值映射表 #

通过创建一个记录所有U类型对应值的映射表，让泛型约束为映射表的键，再给函数参数设置默认值，这样调用时可以不传参，仅通过泛型指定类型即可获取对应值：

type U = 'one' | 'two' | 'three';

// 预存类型到值的映射，确保键和值类型一致
const valueMap: Record<U, U> = {
  one: 'one',
  two: 'two',
  three: 'three'
};

// 基础版本：通过泛型指定类型，参数使用映射表默认值
const foo = <K extends U>(key: K = valueMap[key] as K) => {
  const value: K = valueMap[key];
  console.log(value);
};

// 调用示例
foo<'one'>(); // 输出 'one'
foo<'two'>(); // 输出 'two'

// 优化版本：给泛型添加默认类型，支持无泛型调用
const fooWithDefault = <K extends U = 'one'>(key: K = valueMap[key] as K) => {
  const value: K = valueMap[key];
  console.log(value);
};

fooWithDefault(); // 输出 'one'

不可行方案的问题说明 #

• 直接在函数内部根据泛型生成值：由于泛型运行时被擦除，函数内部无法获取K的具体类型信息，没法通过typeof K或其他方式判断当前泛型对应的具体值。
• 仅通过泛型默认值断言：如果只给泛型加默认值并强行断言值，当指定非默认的泛型类型时，会出现实际值与泛型类型不匹配的问题，破坏类型安全，比如：

  const foo = <K extends U = 'one'>() => {
    const value: K = 'one' as K; // 调用foo<'two'>()时，value实际是'one'，但类型被断言为'two'，存在风险
    console.log(value);
  };
  

  这种方法不推荐使用。

核心结论 #

要实现类似需求，必须依赖运行时存在的数据源（如映射表）来关联泛型类型和对应的值，因为泛型本身仅在编译时提供类型约束，无法直接转化为运行时的值。

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