TypeScript泛型类型推导异常：键名重命名类型方法内失效

核心问题 #

你遇到的问题本质是TypeScript的默认类型推断行为：传入函数的对象字面量{a:'c'}会被推断为宽泛的{a: string}类型，而非精确的字面量类型{a: 'c'}。这导致PickRename泛型在映射时生成了字符串索引签名{[x: string]: 1}，而非预期的{c: 1}。

解决方案 #

要让TypeScript保留重命名映射对象的字面量类型，有两种可靠方式：

1. 使用as const断言（兼容所有TS版本）

先定义正确的PickRename泛型和函数：

// 定义键名重命名泛型
type PickRename<T, R extends Record<keyof T, string>> = {
  [K in keyof R as R[K]]: T[K]
};

// 实现重命名函数
function pickRename<T, R extends Record<keyof T, string>>(obj: T, renameMap: R): PickRename<T, R> {
  const result = {} as PickRename<T, R>;
  for (const key in renameMap) {
    if (Object.prototype.hasOwnProperty.call(obj, key)) {
      result[renameMap[key] as keyof PickRename<T, R>] = obj[key];
    }
  }
  return result;
}

调用函数时，给重命名映射对象添加as const断言，强制TS保留字面量类型：

const original = { a: 1 };
const renamed = pickRename(original, { a: 'c' } as const);

// 此时 renamed 的类型为 { c: number }
renamed.c; // 正常访问
renamed.d; // 会触发类型错误，符合预期

2. 使用const泛型参数（TS 5.0+ 推荐）

TypeScript 5.0及以上支持const泛型，能自动推断字面量类型，无需手动添加断言：

type PickRename<T, R extends Record<keyof T, string>> = {
  [K in keyof R as R[K]]: T[K]
};

// 给泛型参数 R 添加 const 修饰，强制TS推断字面量类型
function pickRename<T, const R extends Record<keyof T, string>>(obj: T, renameMap: R): PickRename<T, R> {
  const result = {} as PickRename<T, R>;
  for (const key in renameMap) {
    if (Object.prototype.hasOwnProperty.call(obj, key)) {
      result[renameMap[key] as keyof PickRename<T, R>] = obj[key];
    }
  }
  return result;
}

调用时直接传入对象即可，TS会自动推断R为{a: 'c'}：

const original = { a: 1 };
const renamed = pickRename(original, { a: 'c' });

// renamed 类型为 { c: number }，访问不存在的属性会报错

原理说明 #

• 默认情况下，TS会将对象字面量的字符串属性值推断为string类型，这是为了支持后续修改属性值的场景。
• as const断言或const泛型会告诉TS：这个对象的属性值是不可变的字面量，需要保留精确的类型信息，这样PickRename就能基于具体的键名映射生成准确的结果类型。

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