Question

类似于通过类型推断使用Typescript推断函数参数的方法：

type FunctionProps<T> = T extends (arg1: infer U) => any ? U : never;

const stringFunc: (str: string) => string = (str: string): string => str;

type StringFuncType = FunctionProps<typeof stringFunc>;

const a: StringFuncType = 'a';

我想以相同的方式推断出构造函数参数，但到目前为止还没有成功。目前，我的设置如下：

type ConstructorProps<T> = T extends {
  new (arg1: infer U): T;
} ? U : never;

class Foo { constructor(a: string) {  } }

type FooConstructor = ConstructorProps<typeof Foo>;

// FooConstructor is always never but should be type string.
const a: FooConstructor = 'a'

不确定是否在Typescript中支持此功能，因为TS文档中的“高级类型”部分仅提及函数，没有提及推断类（关于参数）。

还有其他人找到解决方案吗？

Answer 1

如果我在构造函数的返回类型中将T更改为any，该示例将起作用：

type ConstructorProps<T> = T extends {
  new (arg1: infer U): any;
//                     ^^^
} ? U : never;

请记住，T是构造函数的类型，与构造对象的类型不同。

Answer 2

class Test {
    constructor(foo: number, baz: string) {}
}

type FirstConstructorProp<T> = T extends {
  new (first: infer U, ...rest: any[]): any;
} ? U : never;

type F1 = FirstConstructorProp<Test>; // never
type F2 = FirstConstructorProp<typeof Test>; // number

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

type P1 = ConstructorProps<Test>; // never
type P2 = ConstructorProps<typeof Test>; // [number, string]

Answer 3

如果您不使用大括号，则可以使用，请参阅其他SO。

type ConstructorArgs<T> = T extends new(...args: infer U) => any ? U : never;

class Foo {
    constructor(foo: string, bar: number) { }
}

type Bar = ConstructorArgs<typeof Foo> // type Bar = [string, number]

查看相关的playground

Typescript使用条件类型推断构造函数参数

3 个答案: