如何让TypeScript数组元素的handler参数与path类型匹配？

我定义了如下泛型接口：

interface T1<T extends string> {
    path: T,
    handler: (value: T) => void
};

当用单个该接口类型作为函数参数时，类型检查完全正常：

declare function foo1<T extends string>({ path, handler }: T1<T>): void

const handlerWithoutError = (v: 'some_path') => { }
foo1({ path: 'some_path', handler: handlerWithoutError }) // 正常通过检查

const handlerWithError = (v: 'wrong_path') => { }
foo1({ path: 'other_path', handler: handlerWithError }) // 触发类型错误，符合预期

但用该接口类型的数组作为函数参数时，类型校验出问题了：

declare function boo1<T extends string>(arr: T1<T>[]): void

boo1([
    { path: 'some_path', handler: handlerWithoutError },
    { path: 'other_path', handler: handlerWithError }, // 这里本该报错，但实际没触发
])

我需要让数组里每个元素的handler函数参数和自身的path类型单独匹配，第二个元素必须触发类型错误，第一个正常。怎么修复才能让TypeScript给出正确的类型提示？

问题出在boo1的泛型定义上：T extends string会让整个数组的元素共享同一个泛型T，TypeScript会把'some_path' | 'other_path'推断成T的类型，导致两个元素的handler都被允许接收这个联合类型，自然就跳过了错误检查。

要让每个数组元素独立校验，有两种可行的方式：

方式1：泛型约束数组元素 #

把函数定义成接受由T1<string>子类型组成的数组，利用TypeScript的逆变特性逐个校验元素：

declare function boo1<U extends T1<string>>(arr: U[]): void

这样TypeScript会逐一检查数组里的每个元素是否符合T1的结构，确保每个元素的handler参数类型和自身path完全匹配。

方式2：可变元组泛型（更精确） #

如果需要保留每个元素的具体类型信息（后续可能用到），可以用可变元组泛型：

declare function boo1<T extends T1<string>[]>(arr: [...T]): void

这种方式不仅能正确校验每个元素的类型，还会保留数组中每个元素的具体泛型细节，适合需要精准类型推断的场景。

修复后测试：

boo1([
    { path: 'some_path', handler: handlerWithoutError }, // 正常通过
    { path: 'other_path', handler: handlerWithError }, // 触发类型错误："wrong_path"类型参数无法赋值给"other_path"类型参数
])

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