TypeScriptのジェネリクスでinstanceof Tしたい

April 14, 2022 Programming

やりたいこと

いろんなものが入った配列から何番目かの要素を選んで，それが期待した型なら受け取る，という操作を考えよう．気持ち的にはジェネリクスを使って次のように書きたいのだが，これは上手くいかない．TypeScriptがコンパイルされると，ジェネリクスの記述はなくなってしまうので，ランタイムの型チェックでTと表すことはできないようだ．

function get<T>(id:number, arr:Array<any>) : T {
    const m = arr[id]
    if (m instanceof T){
        return m
    }
    else {
        throw Error('unexpected type')
    }
}

コンストラクト関数

解決方法としては，以下のようにコンストラクタ関数を書く，という方法がある．

function get<T>(id:number, arr:Array<any>, cls: new (...args: any) => T) : T {
    const m = arr[id]
    if (m instanceof cls){
        return m
    }
    else {
        throw Error('unexpected type')
    }
}

慣れていないと少し分かりにくい記述なので，分解して考えてみよう． (...args: any) => Tの部分は任意の個数だけany引数をとってTを返すような関数を表している．この部分の頭についているnewはconstruct signatureと呼ばれ，この関数がコンストラクタ関数として使えることを表している．つまりclsは，何かしらの引数をとってTを返すようなコンストラクタ関数になっており，instanceofを使うことで配列arrから取り出したmがコンストラクタ関数clsのインスタンスになっているかどうかをランタイムにチェックできる．

使用例としては以下のような感じになる．

class Foo {
    id: number;
    constructor(id: number) {
        this.id = id;
    }
}

class Bar {
    name: string;
    constructor(name: string) {
        this.name = name;
    }
}

const arr = [new Foo(1), new Bar('bar')]
console.log(get(0, arr, Foo))

TASIndex - Spacecraft Thermal Analysis Database

A comprehensive database of spacecraft thermal analysis information and software for flight missions.

Psychroid - Psychrometric Chart Calculator

Interactive psychrometric chart calculator for HVAC engineers. Calculate and visualize air properties, process flows, and energy requirements.

Craftbook - Spacecraft Thermal Engineer's Notebook

Technical articles on thermal and aerospace engineering topics, featuring mathematical derivations and code examples.

View Factor Calculator

Radiation view factors (configuration factors) for different geometrical configurations are calculated by the analytical formula and Monte Carlo method.