TypeScript如何指定通用类型同时保留对象的特定字面量键值？

在TypeScript中，确实可以通过几种方式同时实现保留对象键的字面量静态类型和校验对象符合通用类型结构，以下是几种实用方案：

1. 使用satisfies关键字（TypeScript 4.9+推荐） #

这是最直接的方案，satisfies会校验对象是否符合指定的通用类型，但不会覆盖对象原本的字面量类型推导：

// 定义通用类型
type BaseConfig = {
  key: string;
  defaultValue: string;
};

// 同时保留字面量类型 + 校验通用类型
const config = {
  key: 'USER_NAME',
  defaultValue: 'guest'
} as const satisfies BaseConfig;

// 此时config.key的类型是字面量'USER_NAME'，而非string
console.log(config.key); // 类型提示为'USER_NAME'
// 如果修改key为不符合BaseConfig的类型（比如数字），会直接报错

2. 泛型约束函数 #

通过泛型函数推导字面量类型，同时约束输入必须符合通用类型结构：

type BaseConfig = {
  key: string;
  defaultValue: string;
};

// 泛型函数：T继承BaseConfig，返回T本身以保留字面量类型
function createConfig<T extends BaseConfig>(config: T) {
  return config;
}

// 调用时自动推导字面量类型，且不符合BaseConfig会报错
const config = createConfig({
  key: 'USER_NAME',
  defaultValue: 'guest'
});

// config.key类型为'USER_NAME'字面量，同时结构符合BaseConfig

3. 兼容低版本的泛型断言工具 #

如果你的TypeScript版本低于4.9，无法使用satisfies，可以用泛型工具类型实现类似效果：

type BaseConfig = {
  key: string;
  defaultValue: string;
};

// 泛型工具：确保T符合U的结构，同时返回T保留字面量类型
type Assert<T extends U, U> = T;

// 先通过as const得到字面量类型，再用Assert校验符合BaseConfig
const config = Assert<typeof config, BaseConfig>({
  key: 'USER_NAME',
  defaultValue: 'guest'
} as const);

这些方案都能解决“指定通用类型时丢失字面量键值”的问题，根据你的TypeScript版本选择最合适的方式即可。

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