TypeScript再帰型：型エイリアス、ジェネリック型、交差型、シンボルの使い分け
TypeScriptにおける再帰型：詳細ガイド
再帰型の基本
再帰型を定義するには、型エイリアスまたはジェネリック型を使用します。 以下に、再帰型を定義する2つの一般的な方法を示します。
型エイリアスを使用した再帰型の定義
type Node<T> = {
value: T;
left?: Node<T>;
right?: Node<T>;
};
この例では、Node<T>という型エイリアスを定義しています。 これは、valueプロパティと、leftとrightという2つのオプションプロパティを持つノードを表します。 leftとrightプロパティもまたNode<T>型であるため、再帰的な構造になっています。
ジェネリック型を使用した再帰型の定義
type Tree<T> = T | {
value: T;
left: Tree<T>;
right: Tree<T>;
};
この例では、Tree<T>というジェネリック型を定義しています。 これは、T型の値または、valueプロパティと、leftとrightという2つのTree<T>型プロパティを持つノードを表します。 ジェネリック型を使用すると、再帰型の定義をより柔軟に記述することができます。
再帰型の利用例
再帰型は、様々なデータ構造を型付けするために使用することができます。 以下に、いくつかの例を示します。
- ツリー構造: 上記の例で示したように、ツリー構造は再帰型を使用して効率的に型付けすることができます。
- グラフ構造: グラフ構造も、再帰型を使用して型付けすることができます。 各ノードには、他のノードへの参照を含むエッジのリストを持つことができます。
- JSONデータ: JSONデータは、再帰型を使用して型付けすることができます。 JSONデータは、文字列、数値、ブール値、配列、オブジェクトで構成される階層的な構造です。
再帰型の注意点
再帰型を使用する際には、以下の点に注意する必要があります。
- 再帰の深さ: 再帰型の定義によっては、コンパイラが再帰処理を無限に繰り返してしまう可能性があります。 再帰の深さを制限するために、
--recursionLimitフラグを使用してコンパイラオプションを設定することができます。 - 循環参照: 再帰型を使用する場合、循環参照が発生する可能性があります。 循環参照は、コンパイラエラーを引き起こす可能性があるため、避ける必要があります。
例1：二分木
この例では、二分木のノードを型付けする再帰型を定義します。
type Node<T> = {
value: T;
left?: Node<T>;
right?: Node<T>;
};
function insert<T>(root: Node<T> | null, value: T): Node<T> {
if (root === null) {
return { value, left: null, right: null };
} else if (value < root.value) {
return {
value: root.value,
left: insert(root.left, value),
right: root.right
};
} else {
return {
value: root.value,
left: root.left,
right: insert(root.right, value)
};
}
}
function find<T>(root: Node<T> | null, value: T): boolean {
if (root === null) {
return false;
} else if (root.value === value) {
return true;
} else if (value < root.value) {
return find(root.left, value);
} else {
return find(root.right, value);
}
}
次に、insert関数とfind関数を定義しています。 insert関数は、新しい値を二分木に挿入します。 find関数は、特定の値が二分木に存在するかどうかを判断します。
例2：JSONデータ
type JSONValue =
| string
| number
| boolean
| null
| Array<JSONValue>
| { [key: string]: JSONValue };
function parseJSON(jsonString: string): JSONValue {
// JSON文字列を解析してJSONValueを返す
}
function stringifyJSON(value: JSONValue): string {
// JSONValueをJSON文字列に変換して返す
}
このコードでは、まずJSONValueという再帰型を定義しています。 これは、文字列、数値、ブール値、null、配列、オブジェクトなど、JSONデータの様々な型を表します。
次に、parseJSON関数とstringifyJSON関数を定義しています。 parseJSON関数は、JSON文字列を解析してJSONValueに変換します。 stringifyJSON関数は、JSONValueをJSON文字列に変換します。
type Node<T> = {
value: T;
} & {
left?: Node<T>;
right?: Node<T>;
};
この例では、Node<T>型は、valueプロパティを持つオブジェクトと、オプションでleftとrightプロパティを持つオブジェクトの交差点として定義されています。 leftとrightプロパティもまたNode<T>型であるため、再帰的な構造になっています。
シンボルを使用すると、再帰型をより柔軟に定義することができます。 以下に、二分木のノードをシンボルを使用して型付けする例を示します。
const Node = Symbol();
type Node<T> = {
value: T;
left?: Node<T>;
right?: Node<T>;
};
シンボルを使用する利点は、型エイリアスやジェネリック型よりも柔軟に再帰型を定義できることです。 例えば、シンボルを使用して、異なる種類の再帰的なデータ構造を定義することができます。
どの方法を選択すべきか？
どの方法を選択するかは、状況によって異なります。 一般的には、以下の指針に従うことをお勧めします。
- シンプルな再帰型の場合は、型エイリアスを使用する。
- より複雑な再帰型の場合は、ジェネリック型または交差型を使用する。
- 最大限の柔軟性を必要とする場合は、シンボルを使用する。
typescript
