條件類型中的類型推斷中的一個問題

Question

type CtorParamsType<T> = T extends {
    new(...args: infer U);
} ? U : any;

class MyType {
    constructor(name: string, age: number) {

    }
}

type T1 = CtorParamsType<MyType> //any
type T2 = CtorParamsType<{ new(name: string, age: number); }> //[string, number]

在這個示例中，我預計 T1 和 T2 將具有相同的類型。為什么它們不同？

Answer 1

您正在尋找的類型已經存在，它被稱為ConstructorParameters 。

您的類型也可以，唯一的問題是MyType是實例類型。 您需要 class 類型的構造函數參數，可以使用typeof MyType訪問

class MyType {
    constructor(name: string, age: number) {

    }
}

type T1 = ConstructorParameters<typeof MyType> // [string, number]
type T2 = ConstructorParameters<{ new(name: string, age: number): any }> // [string, number]

游樂場鏈接