如何让TypeScript无需显式声明就使用更具体的类型？

问题核心：当字符串字面量被放在对象中时，TypeScript会默认将其类型拓宽为string，而非保留原字面量类型，这就导致你的testFunc无法通过泛型参数Key正确关联TypeMap中的对应类型，进而无法约束第二个参数的类型。

以下是几种无需重复声明类型的解决方案：

1. 使用as const断言保留字面量类型 #

这是最简单直接的方法，通过as const告诉TypeScript严格保留对象属性的字面量类型，不进行类型拓宽：

const key = { value: "string" } as const;

// 正常运行，item类型被推断为string
testFunc(key.value, "hello world");

// 抛出类型错误，符合预期
testFunc(key.value, 5);

这种方式不需要额外定义类型，修改配置对象时只需更新属性值，类型会自动同步。

2. 用泛型类型约束配置对象 #

如果需要批量约束多个配置项，可以定义一个基于TypeMap的泛型类型，确保属性值只能是TypeMap的键字面量：

type Config<K extends keyof TypeMap> = { value: K };

// 自动推断K为"number"
const numConfig: Config<"number"> = { value: "number" };
testFunc(numConfig.value, 123); // 正常运行

// 自动推断K为"string"
const strConfig: Config<"string"> = { value: "string" };
testFunc(strConfig.value, "test"); // 正常运行

这种方式虽然需要显式指定泛型参数，但能确保配置对象的类型严格符合TypeMap的键集合，避免非法值。

3. 修改函数参数类型并配合类型守卫 #

如果需要处理动态传入的键值，可以修改函数参数类型，并通过类型守卫缩小类型范围：

function testFunc(key: string, item: unknown) {
  // 先判断key是否属于TypeMap的键
  if (key in TypeMap) {
    const typedKey = key as keyof TypeMap;
    // 此时item可以被断言为对应类型
    const typedItem = item as TypeMap[typeof typedKey];
    
    // 在这里使用typedKey和typedItem
    console.log(`Key: ${typedKey}, Item: ${typedItem}`);
  } else {
    throw new Error(`Invalid key: ${key}`);
  }
}

const key = { value: "string" };
testFunc(key.value, "hello"); // 正常运行
testFunc(key.value, 5); // 运行时会抛出错误（编译时无法约束，适合动态场景）

这种方案适合需要处理动态输入的场景，但编译阶段无法完全约束类型，需要运行时校验。

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