泛型的实例化类型
泛型的实例化类型 假如你有一个具有泛型参数的类型,如一个类 Foo: 你想为一个特定的类型创建单独的版本,可以通过将它拷贝到一个新变量里,并且用具体类型代替泛型的类型注解的方式来实现。例如,如果你想有一个类:Foo<number>: 在 ref 1 中,你说 FooNumber 与 Foo 相同,但是,只是将其看作使用 new 运算符调用时的一个 Fo...
2018-9-2 6:8
泛型的实例化类型
假如你有一个具有泛型参数的类型,如一个类 Foo
:
class Foo<T> {
foo: T;
}
你想为一个特定的类型创建单独的版本,可以通过将它拷贝到一个新变量里,并且用具体类型代替泛型的类型注解的方式来实现。例如,如果你想有一个类:Foo<number>
:
class Foo<T> {
foo: T;
}
const FooNumber = Foo as { new (): Foo<number> }; // ref 1
在 ref 1
中,你说 FooNumber
与 Foo
相同,但是,只是将其看作使用 new
运算符调用时的一个 Foo<Number>
实例。
继承
类型断言模式是不安全的,因为编译器相信你在做正确的事情。在其他语言中用于类的常见模式是使用继承:
class FooNumber extends Foo<number> {}
注意
这里需要注意的一点,如果你在基类上使用修饰器,继承类可能没有与基类相同的行为(它不再被修饰器包裹)。
当然,如果你不需要一个单独的类,你仍然写出一个有效的强制/断言模式,因此在开始时,我们便展示出了普通的断言模式:
function id<T>(x: T) {
return x;
}
const idNum = id as { (x: number): number };
灵感来源于:stackoverflow question
评论区