如何在TypeScript中将字面量类型放宽为对应父类型？

在TypeScript中，你可以通过条件类型实现字面量类型到基础父类型的放宽，你想到的手动判断方案是当前最直接且常用的可行方式。

基础实现方案 #

可以定义一个通用的类型工具，针对基础字面量类型做判断并返回对应的父类型：

type WidenLiteral<T> = 
  T extends string ? string :
  T extends number ? number :
  T extends boolean ? boolean :
  T; // 非基础字面量类型保持原样

这个类型的作用逻辑：

• 字符串字面量（如""、"test"）会被转换为string类型
• 数字字面量（如1、2.5）会被转换为number类型
• 布尔字面量（true/false）会被转换为boolean类型
• 其他类型（如对象、集合等）则保留原类型不变

结合泛型函数场景使用 #

针对你提到的带const注解的泛型函数场景，可以同时获取精确字面量类型和放宽后的父类型：

const f = <const T>(x: T) => {
  // 使用精确的字面量类型
  const preciseValue: T = x;
  // 使用放宽后的基础父类型
  const widenedValue: WidenLiteral<T> = x;
  return { preciseValue, widenedValue };
};

// 调用示例
const demo1 = f("hello");
// demo1.preciseValue 类型为 "hello"
// demo1.widenedValue 类型为 string

const demo2 = f(42);
// demo2.preciseValue 类型为 42
// demo2.widenedValue 类型为 number

补充说明 #

目前TypeScript没有内置的专门用于放宽字面量类型的工具类型，这种手动条件判断的方案是社区和官方实践中认可的标准实现方式，完全可以满足你的需求。

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