如何为TypeScript函数参数正确设置`v => v`作为默认值？

首先明确原函数aFunction的核心逻辑：要求最终返回值必须是Record类型，因此当使用v => v作为normalize函数时，输入的data必须本身就是Record类型；如果data是非Record类型，则必须通过normalize函数将其转换为Record类型。

你遇到的问题是给normalize设可选默认值v => v时出现泛型错误，且调用bFunction(10)未触发预期的类型校验报错。可以通过函数重载精准约束不同调用场景的类型：

正确实现代码 #

type RecordLike = Record<string, unknown>;

// 重载1：传入自定义normalize函数，支持任意类型data，返回转换后的Record
function bFunction<D, R extends RecordLike>(
  data: D,
  normalize: (v: D) => R
): R;

// 重载2：不传入normalize，此时data必须是Record类型，默认使用恒等函数返回原数据
function bFunction<D extends RecordLike>(
  data: D
): D;

// 函数实现（处理默认值，用类型断言绕开泛型约束，因重载已保证类型安全）
function bFunction<D, R extends RecordLike>(
  data: D,
  normalize: (v: D) => R = (v => v as unknown as R)
): R {
  return normalize(data);
}

验证场景 #

• bFunction(10)：触发预期报错，因为未传normalize时data必须是Record类型，number不满足约束
• bFunction(10, data => ({ data }))：正常执行，normalize将number转换为Record
• bFunction({ id: 1 })：正常执行，默认恒等函数处理Record类型数据
• bFunction({ id: 1 }, v => ({ ...v, extra: "bar" }))：正常执行，自定义转换逻辑

原理说明 #

• 函数重载明确区分两种调用场景：传normalize和不传normalize，对应不同的类型约束
• 实现部分的类型断言as unknown as R是安全的，因为当使用默认值时，重载2已限定D是RecordLike，此时R等同于D，恒等函数的返回值类型完全匹配
• 这种方式既保留了原aFunction的类型校验能力，又实现了normalize参数的可选默认值需求

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