TypeScript如何强制扩展Record时键仅为字符串？

要解决这个TypeScript类型错误，无需使用toString()的话，可以通过类型约束或类型兼容扩展的方式处理，以下是几种可行方案：

方案1：约束传入对象的键仅为字符串类型 #

修改one函数的泛型约束，明确限定对象的键只能是字符串，让keyof T被TypeScript推断为string类型，从源头避免类型不匹配：

function exec(a: string) {
  return a;
}

// 约束T的键为字符串类型，同时收窄K的范围
function one<T extends Record<string, any>>(a: T) {
  return <K extends string & keyof T>(b: K) => {
    exec(b); // 类型匹配，不再报错
  };  
}

这种方式会在调用one时，提前拦截包含数字或symbol键的对象，保证后续逻辑的类型安全。

方案2：扩展exec函数的参数类型支持 #

如果允许exec兼容更多类型的输入，可以给它添加类型重载，让它支持string | number | symbol类型，内部利用JavaScript的类型隐式转换特性处理：

// 重载签名：声明支持的参数类型
function exec(a: string): string;
function exec(a: number): string;
function exec(a: symbol): string;
// 实现签名：统一处理逻辑
function exec(a: string | number | symbol) {
  return String(a); // 保持原有返回字符串的逻辑
}

function one<T extends Record<string, any>>(a: T) {
  return <K extends keyof T>(b: K) => {
    exec(b); // 参数类型匹配，不再报错
  };  
}

这种方案无需修改调用逻辑，同时兼容了对象键的多种合法类型。

方案3：安全的类型断言（谨慎使用） #

如果你能确保传入one的对象键本质上可安全转为字符串（比如数字键只是写法差异，实际会被JS转为字符串），可以使用类型断言直接指定类型，但仅建议在确定类型安全的场景下使用：

function exec(a: string) {
  return a;
}

function one<T extends Record<string, any>>(a: T) {
  return <K extends keyof T>(b: K) => {
    exec(b as unknown as string); // 断言为string类型
  };  
}

注意：如果后续传入包含symbol键的对象，这种方式可能导致运行时问题，需谨慎评估场景后使用。

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