如何在TypeScript中动态扩展函数参数类型并解决类型兼容问题？

问题代码 #

type AnyRecord = Record<any, any>
type handler = <E extends AnyRecord>(record: E) => any

const b = (record: AnyRecord, h: handler) => h(record)

b(
  { a: 3 },
  (record: AnyRecord & { a: number }) => record.a, // 此处触发TypeScript错误
)

错误信息 #

Argument of type '(record: AnyRecord & { a: number;}) => number' is not assignable to parameter of type 'handler'.
Types of parameters 'record' and 'record' are incompatible.ts(2345)

问题原因 #

handler是一个泛型函数，要求它能接收任意继承AnyRecord的类型作为参数，但传入的函数仅接受AnyRecord & {a: number}这种更具体的类型，违反了泛型函数参数的逆变规则——只有更宽泛的参数类型才能兼容更窄的类型，反之则不成立。

解决方案 #

将b改造为泛型函数，让TypeScript根据传入的record动态推导handler的参数类型，同时保留手动扩展AnyRecord的能力：

type AnyRecord = Record<any, any>
// 定义带泛型参数的Handler类型，参数类型由外部传入
type Handler<E extends AnyRecord> = (record: E) => any

// 泛型函数b，E由第一个参数record的类型自动推导
const b = <E extends AnyRecord>(record: E, h: Handler<E>) => h(record)

// 场景1：自动推导类型，IDE自动补全record属性
b(
  { a: 3 },
  (record) => record.a, // record类型被自动推导为{a: number}
)

// 场景2：手动扩展AnyRecord，显式指定泛型参数
b<AnyRecord & { a: number; b: string }>(
  { a: 3, b: "test" },
  (record) => `${record.a} ${record.b}`, // record类型自动补全为AnyRecord & {a: number; b: string}
)

说明 #

• 改造后b的泛型参数E会根据record的实际类型自动推导，确保handler的参数类型与record完全匹配，既满足类型安全，又实现IDE自动补全。
• 如果需要手动扩展AnyRecord，只需显式指定b的泛型参数，即可让handler的参数类型包含扩展后的属性。

内容的提问来源于stack exchange，提问作者Đặng Quốc Trung