条件类型中类型推断的问题

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。