TypeScript：使用泛型和聯合類型

Question

我有使用函數重載的代碼，例如：

function f0(v: Object): void { }

function f1(a: number, b: number): void;
function f1(a: string, b: string): void;
function f1(a: any, b: any): void {
    f0(a); // OK
}

我想使用聯合類型進行轉換，但出現錯誤：

function f1<T extends number | string>(a: T, b: T): void {
    f0(a); // Error: Argument of type 'T' is not assignable to parameter of type 'Object'.
}

知道以下是可以的，這是怎么回事：

function f2(v: number | string) {
    f0(v);
}
function f3<T extends number>(v: T) {
    f0(v);
}
function f4<T extends string>(v: T) {
    f0(v);
}

Answer 1

我終於問了MS，這似乎是一個錯誤： https : //github.com/Microsoft/TypeScript/issues/2576