本文介绍如何通过函数重载与条件类型，让 jsonCasingParser 函数根据输入参数（字符串 or 对象 + 枚举模式）自动推导出精确的返回类型：字符串保持原样，对象则递归转换键名并获得完全类型安全的 camelCase 或 snake_case 结构。
本文介绍如何通过函数重载与条件类型，让 `jsoncasingparser` 函数根据输入参数（字符串 or 对象 + 枚举模式）自动推导出精确的返回类型：字符串保持原样，对象则递归转换键名并获得完全类型安全的 camelcase 或 snake_case 结构。
在 TypeScript 中，实现「参数决定返回类型」的核心能力依赖于函数重载（Function Overloads） 与高级类型映射（如递归模板字面量类型） 的协同。下面我们将以 jsonCasingParser 为例，完整构建一个类型精准、运行可靠、开箱即用的大小写转换工具。
✅ 第一步：定义字符串大小写转换的类型工具
TypeScript 4.1+ 支持模板字面量类型的递归推导，我们利用它编写两个关键工具类型：
type SnakeToCamelString<S extends string> =
S extends `${infer T}_${infer U}`
? `${T}${Capitalize<SnakeToCamelString<U>>}`
: S;
type CamelToSnakeString<S extends string> =
S extends `${infer T}${infer U}`
? `${T extends Capitalize<T> ? "_" : ""}${Lowercase<T>}${CamelToSnakeString<U>}`
: S;- SnakeToCamelString<"foo_bar_baz"> → "fooBarBaz"
- CamelToSnakeString<"fooBarBaz"> → "foo_bar_baz"
⚠️ 注意：这两个类型仅接受 string（非 string | number | symbol），因 keyof 操作仅对字符串键有效，且 JSON.stringify 输出的 key 均为字符串。
✅ 第二步：递归映射对象键名的类型工具
基于上述字符串转换类型，我们构建对象级的键名重映射类型，支持任意嵌套层级：
type SnakeToCamelObject<O extends object> = {
[K in keyof O as SnakeToCamelString<Extract<K, string>>]:
O[K] extends object ? SnakeToCamelObject<O[K]> : O[K];
};
type CamelToSnakeObject<O extends object> = {
[K in keyof O as CamelToSnakeString<Extract<K, string>>]:
O[K] extends object ? CamelToSnakeObject<O[K]> : O[K];
};Extract<K, string> 确保只处理字符串键（排除 number/symbol 索引签名等边界情况），提升类型健壮性。
✅ 第三步：声明函数重载签名（关键！）
重载签名必须严格覆盖所有调用场景，且顺序影响类型匹配优先级（TS 自上而下匹配首个兼容签名）：
function jsonCasingParser(jsonPayload: string, targetPattern: CasingPattern): string; function jsonCasingParser<T extends object>(jsonPayload: T, targetPattern: CasingPattern.SNAKE): CamelToSnakeObject<T>; function jsonCasingParser<T extends object>(jsonPayload: T, targetPattern: CasingPattern.CAMEL): SnakeToCamelObject<T>;
? 重要原则：重载签名不包含实现体，仅用于类型检查；实际逻辑写在后续的实现签名中（需兼容所有重载）。
✅ 第四步：实现函数主体（含类型断言与逻辑一致性校验）
function jsonCasingParser<T extends object>(
jsonPayload: string | T,
targetPattern: CasingPattern,
): string | SnakeToCamelObject<T> | CamelToSnakeObject<T> {
const isString = typeof jsonPayload === 'string';
const stringified = isString ? jsonPayload : JSON.stringify(jsonPayload);
const replaced = stringified.replace(
new RegExp(JSON_VARIABLE_PATTERN, 'g'),
(match) => {
if (targetPattern === CasingPattern.SNAKE) {
return toSnakeCase(match);
}
if (targetPattern === CasingPattern.CAMEL) {
return toCamelCase(match);
}
return match;
}
);
if (isString) {
return replaced; // ✅ 匹配第一重载：string → string
}
const parsed = JSON.parse(replaced);
// ⚠️ 类型断言必须与重载签名完全一致！
if (targetPattern === CasingPattern.SNAKE) {
return parsed as CamelToSnakeObject<T>; // ✅ 匹配第二重载
}
return parsed as SnakeToCamelObject<T>; // ✅ 匹配第三重载
}? 务必注意：as 断言是必要的，因为 TypeScript 无法在运行时验证 JSON.parse 的结果是否符合泛型映射类型——这是类型系统与运行时的天然鸿沟。但只要你的正则替换逻辑正确（且 JSON_VARIABLE_PATTERN 精准捕获所有键名），断言就是安全的。
✅ 最终效果：智能类型推导一览
// 输入字符串 → 返回字符串（无结构解析）
const s1 = jsonCasingParser('{ "user_name": "Alice" }', CasingPattern.CAMEL); // type: string
// 输入对象 + SNAKE → 返回全 snake_case 键的对象（深度递归）
const obj1 = jsonCasingParser({ userName: "Alice", profile: { firstName: "A" } }, CasingPattern.SNAKE);
obj1.user_name; // ✅ OK
obj1.profile.first_name; // ✅ OK —— 类型为 { first_name: string }
// 输入对象 + CAMEL → 返回全 camelCase 键的对象
const obj2 = jsonCasingParser({ user_name: "Alice", profile: { first_name: "A" } }, CasingPattern.CAMEL);
obj2.userName; // ✅ OK
obj2.profile.firstName; // ✅ OK —— 类型为 { firstName: string }? 总结与最佳实践
- ✅ 重载是类型分发的基石：不要试图用单一签名 + 条件类型（如 ReturnType<typeof fn>）替代重载，它无法实现参数驱动的精准推导。
- ✅ 工具类型需递归+约束：对 object 使用 extends object 限定，对 keyof 使用 Extract<K, string> 过滤，避免 any 泄漏。
- ✅ 断言即契约：as 不是妥协，而是明确告诉 TS “我保证运行时行为与类型签名一致”——请用单元测试保障正则与转换逻辑的正确性。
- ✅ 避免箭头函数重载：虽然社区有变通方案，但标准函数声明重载更稳定、可读性更强、IDE 支持更好。
通过以上四步，你已掌握 TypeScript 高阶类型工程的核心范式：用重载声明意图，用工具类型建模结构，用断言桥接运行时——让类型系统真正成为你代码的守护者。
