Type Instantiation

たとえば、ジェネリックパラメータを持つものがあるとします。クラスFooです：
class Foo<T>{
    foo: T;
}
特定の型の特殊バージョンを作成したいとします。このパターンは、項目を新しい変数にコピーし、ジェネリックを具体的な型に置き換えた型アノテーションを与えることです。例えば。 Foo<number>クラスが必要な場合です：
class Foo<T>{
    foo: T;
}
let 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の質問にインスパイアされました
最終更新 8mo ago