TypeScript如何定义对象键类型适配toString参数与实例

要实现仅当toString方法需要参数时才必填toStringArgs，可以利用TypeScript的条件类型来动态推导函数参数的结构。核心思路是根据T['toString']的参数列表是否为空，拆分两种不同的入参类型。

完整实现代码 #

// 定义函数的入参类型，利用条件类型区分有无参数的情况
type CallToStringParams<T extends { toString: (...args: any[]) => string }> = 
  Parameters<T['toString']> extends [] 
    ? { stringable: T } 
    : { stringable: T; toStringArgs: Parameters<T['toString']> };

function callToString<T extends { toString: (...args: any[]) => string }>(
  o: CallToStringParams<T>
) {
  // 处理参数：无参数时传空数组，有参数时传给定的args
  const args = 'toStringArgs' in o ? o.toStringArgs : [];
  return o.stringable.toString(...args);
}

测试用例验证 #

1. 无参数的toString（比如普通Object） #

此时不需要传toStringArgs，TypeScript会自动提示不需要该属性：

const obj = {};
callToString({ stringable: obj }); // 合法，返回 "[object Object]"
// callToString({ stringable: obj, toStringArgs: [] }); // 报错：类型不匹配，toStringArgs不属于该入参结构

2. 带参数的toString（比如Number的toString方法） #

此时必须传toStringArgs，且类型严格匹配（Number.toString需要一个可选的基数参数，这里因参数列表非空而必填）：

const num = 10;
callToString({ stringable: num, toStringArgs: [2] }); // 返回 "1010"
// callToString({ stringable: num }); // 报错：缺少必填的toStringArgs属性
// callToString({ stringable: num, toStringArgs: ["2"] }); // 报错：参数类型不匹配

3. 自定义带多参数的toString #

class Custom {
  toString(a: string, b: number): string {
    return `${a}-${b}`;
  }
}
const custom = new Custom();
callToString({ stringable: custom, toStringArgs: ["test", 123] }); // 返回 "test-123"
// callToString({ stringable: custom }); // 报错：缺少必填的toStringArgs
// callToString({ stringable: custom, toStringArgs: ["test"] }); // 报错：参数数量不匹配

关键逻辑说明 #

1. 条件类型CallToStringParams：通过Parameters<T['toString']> extends []判断toString是否无参数。如果是，入参只需要stringable；否则必须同时提供stringable和toStringArgs，且toStringArgs的类型严格对应toString的参数列表。
2. 函数内部处理：通过'toStringArgs' in o判断是否存在参数，再展开传入toString方法，确保调用逻辑的正确性。

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