TypeScript：编写返回与泛型参数同属性名类型的函数报错求助

我明白你想实现一个返回类型和泛型参数拥有相同属性名的函数，这个报错确实很常见，我来帮你理清问题并给出可行的解决方案。

为什么会触发这个错误？ #

你之前的写法大概率是用了普通索引签名定义返回类型，比如类似这样：

// 错误写法示例
function myFunc<T, K extends keyof T>(input: T): { [key: K]: any } {
  // ... 你的实现逻辑
}

TypeScript不允许索引签名的参数是联合类型（比如K如果是'name' | 'age'这种多值联合类型），因为索引签名的设计是用来描述“所有符合某一基础类型的键”（比如所有string类型的键），而非“特定几个键的集合”。

哪怕你把K设为单一的非联合类型（比如K = 'name'），普通索引签名也不接受具体的字面量类型作为参数，这就是为什么你调整后还是会看到报错。

正确方案：使用映射类型 #

TypeScript专门提供了映射类型来处理这种“基于已有类型的键生成新类型”的场景，语法是{ [P in K]: ... }——它会遍历K的每个成员，逐个生成对应的属性，完美适配你的需求。

示例1：返回和输入对象所有属性名一致的类型

如果你想让返回对象拥有输入对象的全部属性名，只是属性值类型不同，可以这么写：

function transformObj<T>(input: T): { [P in keyof T]: string } {
  // 类型断言确保TypeScript认可我们的赋值操作
  const result = {} as { [P in keyof T]: string };
  
  // 遍历输入对象的属性，填充结果
  for (const key in input) {
    if (Object.prototype.hasOwnProperty.call(input, key)) {
      result[key] = String(input[key]);
    }
  }
  
  return result;
}

// 使用示例
const user = { name: "Alice", age: 30 };
const transformed = transformObj(user);
// transformed的类型会被推断为：{ name: string; age: string }

示例2：返回指定属性名的类型（自定义泛型K）

如果你只想保留输入对象中指定的部分属性名，可以把K作为泛型参数，配合映射类型实现：

function pickAndTransform<T, K extends keyof T>(input: T, keys: K[]): { [P in K]: number } {
  const result = {} as { [P in K]: number };
  
  keys.forEach(key => {
    result[key] = typeof input[key] === "number" ? input[key] : 0;
  });
  
  return result;
}

// 使用示例
const product = { id: 101, name: "Laptop", price: 999 };
const picked = pickAndTransform(product, ["id", "price"]);
// picked的类型会被推断为：{ id: number; price: number }

关键区别 #

• 普通索引签名{ [key: string]: any }：描述“任意string类型的键都对应any类型的值”，范围宽泛
• 映射类型{ [P in K]: ... }：描述“仅K中列出的键存在，每个键对应指定类型的值”，精准匹配你的需求

这样写不仅能解决报错，还能让TypeScript更准确地推断返回类型，完全满足你“返回类型与泛型参数拥有相同属性名”的要求。

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