泛型函数重载：“提供的参数不匹配调用目标的任何签名。”

Question

我正在尝试编写与以下两个调用兼容的签名。第一个似乎工作正常，但第二个说Supplied parameters do not match any signature of call target.。有任何想法吗？

interface I1 { 
    name: string; 
} 

interface I2 { 
    age: number; 
} 

function set<T, KT extends keyof T>(arg1: KT, arg2?: undefined): (value: T[KT]) => void; 
function set<T, KT extends keyof T, U, KU extends keyof U>(arg1: KT, arg2: KU): (value: U[KU]) => void { 
    // ... 
    return null; 
} 

set<I1, "name">("name"); // OK 
set<I1, "name", I2, "age">("name", "age"); // ERROR: "Supplied parameters do not match any signature of call target." 

Answer 1

这是因为最后一个函数不计入过载候选项中。这是应该处理所有这些的实现。

以下工作：

interface I1 { 
    name: string; 
} 

interface I2 { 
    age: number; 
} 

function set<T, KT extends keyof T>(arg1: KT, arg2?: undefined): (value: T[KT]) => void; 
function set<T, KT extends keyof T, U, KU extends keyof U>(arg1: KT, arg2: KU): (value: U[KU]) => null; 
function set<T, KT extends keyof T, U, KU extends keyof U>(arg1: KT, arg2: KU): (value: U[KU]) => null { 
    // ... 
    return null; 
} 

const x = set<I1, "name">("name"); // OK 
const y = set<I1, "name", I2, "age">("name", "age"); // Now OK