typescript - 可以省略 Typescript 类上的泛型类型

Question

使用带有默认编译器选项的 Typescript 对允许或不允许的内容非常严格——比如空值，类属性不在构造函数中初始化。但是当涉及到泛型时，可以为一个类定义一个泛型类型，然后在不指定类型的情况下创建一个新类!

class Foo<T> {
    bar(item: T): void {
        console.log('typeof T: ', typeof item)
    }
}

const foo1 = new Foo<string>() // T specified
foo1.bar('hello')
foo1.bar(6) // error TS2345: Argument of type '6' is not assignable to parameter of type 'string'

const foo2 = new Foo() // T missing
foo2.bar('hello')
foo2.bar(6) // works with no complaint

是否可以将 new Foo() 视为错误语句？

如上所述，我使用的是默认编译器选项，该选项不允许添加永远不会初始化的额外属性 a: T。

Answer 1

你不能在构造函数中遗漏 T 一个错误(当然你可以，但你需要一些条件类型魔法和一个至少有一个参数的构造函数)

如果没有提供任何参数，您可以通过使用类型参数的默认值来使类不可用。默认的 never 就可以了。

class Foo<T = never> {
    bar(item: T): void {
        console.log('typeof T: ', typeof item)
    }
}

const foo1 = new Foo<string>() // T specified
foo1.bar('hello')
foo1.bar(6) // error TS2345: Argument of type '6' is not assignable to parameter of type 'string'

const foo2 = new Foo() // T missing
foo2.bar('hello') // err
foo2.bar(6) // err 

您还可以在剩余参数中使用构造函数重载和元组来创建一个构造函数，如果您省略类型参数(即类型参数是never)，该构造函数将给出错误

class Foo<T = never> {
    constructor(...a: T extends never ? ['No T was specified']:[])
    constructor() {

    }
    bar(item: T): void {
        console.log('typeof T: ', typeof item)
    }
}


const foo1 = new Foo<string>() // T specified
foo1.bar('hello')
foo1.bar(6) // error TS2345: Argument of type '6' is not assignable to parameter of type 'string'

const foo2 = new Foo() // T missing, error!
foo2.bar('hello')//err
foo2.bar(6) //err