如何定义TypeScript泛型函数Y，适配字符串属性接口并调用函数X？

问题核心在于：Record<string, string>要求类型必须包含字符串索引签名，而UserInfo这类仅声明具体字符串属性的接口没有索引签名，因此无法直接满足T extends Record<string, string>的约束，我们可以通过以下方式解决：

正确的函数Y定义 #

方案一（推荐，兼顾类型安全与兼容性） #

function Y<T extends { [K in keyof T]: string }>(arg: T) {
  // 已约束T的所有属性都是string，断言为Record<string, string>是安全的
  X(arg as Record<string, string>);
  // 你的其他逻辑代码
}

说明

• 泛型约束T extends { [K in keyof T]: string }确保传入的T类型所有属性值都是字符串类型，保留了类型检查的安全性。
• 调用X时的类型断言as Record<string, string>，让TypeScript认可arg可以适配X的参数类型，解决了无索引签名接口与Record<string, string>的兼容性问题。

方案二（简化版，无显式泛型约束） #

如果能确保传入的T必然全是字符串属性，也可以直接使用双重断言，但这种方式会丢失类型检查，不推荐用于不确定场景：

function Y<T>(arg: T) {
  X(arg as unknown as Record<string, string>);
}

验证调用 #

使用UserInfo类型调用Y时，现在可以正常运行：

interface UserInfo {
  name: string;
  email: string;
}

Y<UserInfo>({ name: 'Jon', email: 'jon@thewatch.org' });

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