Typescript 在保留类型的同时进行深层键名转换

在调用deepConvertToSnakeCase()时，您似乎希望手动并显式地指定I和O的generic个类型参数，但您希望函数的返回类型为I或O(或者可能是O的数组)，具体取决于I的类型.这意味着您需要将判断I的返回类型设置为conditional type.就像这样:

function deepConvertToSnakeCase<I, O>(item: I):
  I extends readonly any[] ? O[] : I extends object ? O : I {
   /* snip ✂ ⋯ ✂ snip */
}

因此，如果I是类似数组的，则您的输出是O的array.否则，如果I是类对象，则输出为O.否则，如果I是基元，那么您的输出就是I.这为呼叫者提供了您正在寻找的行为:

const convertedData =
  deepConvertToSnakeCase<CamelCaseObject, SnakeCaseObject>(data);
// const convertedData: SnakeCaseObject

const convertedData2 =
  deepConvertToSnakeCase<string, SnakeCaseObject>("abc");
// const convertedData2: string

const convertedData23 =
  deepConvertToSnakeCase<CamelCaseObject[], SnakeCaseObject>([data]);
// const convertedData23: SnakeCaseObject[]

当然，deepConvertToSnakeCase()的实现不可能验证输出是否真的是该条件类型.您需要执行类似于assert的操作，您的返回值是所需的类型.您已经在这样做了(使用as I和as O)，并且您必须使用新的返回类型继续这样做.最简单的方法是使用the any type:

function deepConvertToSnakeCase<I, O>(item: I):
  I extends readonly any[] ? O[] : I extends object ? O : I {
  if (Array.isArray(item)) {
    return item.map((el) => deepConvertToSnakeCase(el)) as any;
  }
  if (item !== Object(item)) {
    return item as any;
  }
  return Object.fromEntries(
    Object.entries(item as Array<[string, unknown]>).map(([key, value]) => [
      key.replace(/([a-z])([A-Z])/g, '$1_$2').toLowerCase(),
      deepConvertToSnakeCase(value)
    ])
  ) as any;
}

这解决了被问到的问题.但请注意，这很容易让您欺骗编译器.虽然可以对照I判断输入类型，但编译器不知道deepConvertToSnakeCase()的实现是否真的会产生类型O的值.您可以为O指定任何您想要的类型，编译器将接受它.这意味着没有什么能阻止某个疯子打这个电话:

const nothingStopsThis =
  deepConvertToSnakeCase<{ a: string }, { b: number }>({ a: "" });
// const nothingStopsThis: {b: number};

这里有人声称{a: ""}将被转换为{b: number}，而编译器相信了这一说法.但它当然不会，所以在运行时可能会发生不好的事情.

确实有可能编写一个从template literal types到compute的类型实用程序，而O对于给定的I应该是这样的，这样，比如说，{abCd: string}在类型系统中将被转换为{ab_cd: string}.这对调用者来说会安全得多(尽管实现仍然需要类型断言).这超出了所问问题的范围，因此我不会在实用程序类型的实现上进一步离题.关键是:调用此函数时要小心，不要使用错误的O.

Playground link to code个