【テクニカル・上級編】関数引数における「デフォルト値」と「オプショナル」の型推論の微妙な差異を理解する – TypeScript コア・型システムの基礎解析バイブル

TypeScriptの深淵：関数引数の「オプショナル」と「デフォルト値」が型システムとランタイムに及ぼす不可逆な影響

TypeScriptの型システムは、単なる静的解析の道具ではない。それは、JavaScriptという動的で予測不能な実行環境に対する、コンパイラレベルの「契約」である。

多くのエンジニアが `?` （オプショナル）と `= default` を単なる構文の揺れとして捉えている。だが、シニアレベルのアーキテクトであれば、その背後にある「型空間の縮小」と「ランタイムの隠れた挙動」の違いを即座に洞察しなければならない。

今回は、この二つの構文がコンパイラにどう解釈され、最終的にV8などのエンジン上でどうメモリとCPUサイクルを消費するかを紐解く。

—

1. 概念の分離：存在の欠如か、値の補完か

まず、コンパイラが型を評価する際の「存在論的」な違いを明確にする。

function logA(arg?: string) { / … / }
function logB(arg: string = “default”) { / … / }

`?` (Optional): 引数が「渡されない」あるいは `undefined` が渡される可能性があることを示す。型空間上では `string | undefined` として振る舞う。
`= default` (Default Parameter): 引数が「欠落している場合」にランタイムで値を注入する。型空間上では、呼び出し側から見れば `string` として完結する。

なぜこれが重要か？

脆弱性診断の視点から言えば、`?` は境界チェック（Boundary Check）を呼び出し側に強制するが、デフォルト値は「安全なフォールバック」をコンパイラに保証させる。この違いが、型安全な境界線をどこに引くかの決定打となる。

—

2. コンパイラAPIが読み解く「型空間の縮小」

TypeScriptのトランスパイラ（`tsc`）は、デフォルト値が設定された引数をどう処理するか。以下のコードを考える。

function process(value: string = “init”) {
return value.length;
}

コンパイラはこれをES5/ES6ターゲットに落とす際、実質的に以下のJavaScriptを出力する。

function process(value) {
if (value === void 0) { value = “init”; }
return value.length;
}

ここで注目すべきは `void 0` の利用だ。`undefined` というキーワードは（古いJSエンジンでは）書き換え可能なグローバル変数であったため、コンパイラは `void 0` を使って確実に「未定義状態」を検知する。

極限の知見：
デフォルト値を指定すると、関数シグネチャにおける `undefined` の混入が完全に遮断される。これにより、関数本体における「ガード節（`if (!value) …`）」のオーバーヘッドを排除できる。これはマイクロ最適化の積み重ねが重要となるホットパス（高頻度で実行される関数）において、JITコンパイラのインライン展開を助ける非常に重要なシグナルとなる。

—

3. ランタイムの防壁：メモリと最適化の視点

シニアエンジニアが意識すべきは、「型定義がランタイムのレジスタ割り当てにどう影響するか」である。

隠れクラス（Hidden Classes）の最適化

V8エンジンは、関数の引数の数や型が固定されている場合に、その関数を「最適化されたマシンコード」にコンパイルする。`?` を多用し、関数内部で `undefined` を頻繁にチェックするコードを書くと、型推論エンジンは「引数は多態的である（Polymorphic）」と判断し、単型（Monomorphic）の最適化を回避してしまう可能性がある。

逆に、デフォルト値を用いて「常に型を確定させる」戦略をとれば、JITコンパイラは型ガードを省略し、直接的なメモリ操作を生成できる。これはセキュリティ的には「入力の正規化（Normalization）」がコンパイル時に完了していることを意味する。

—

4. 実戦的アーキテクチャ：どちらを選ぶべきか

現場での設計判断基準を整理する。

アーキテクトの推奨事項

API層のパラメータ: 型の厳密性を担保するため、デフォルト値を使用し、関数内部に不要な `undefined` を持ち込まないこと。
ドメインモデル: データの欠落がビジネスロジックに影響を与える場合は、明示的に `?` を使用し、呼び出し側に「値がない状態」のハンドリングを強制すること。

—

結論：型は「守り」ではなく「攻め」の設計図

TypeScriptの型システムは、単なる開発補助ではない。コンパイラに対する「実行環境の制限」の宣言だ。

`?` とデフォルト値を使い分けるということは、「この関数はどの程度まで自分自身で責任を負うのか（Self-contained）」を定義することと同義である。

あなたが書く一文字の型定義が、将来のCPUクロックとメモリ消費を決定づける。この「言語の重み」を理解したとき、あなたのコードは初めて、安全かつ高速なシステムとしての完成度を手に入れるだろう。

次回のコードレビューでは、ただ「動く」だけでなく、その型定義がランタイムの最適化を阻害していないか、コンパイラの裏側を透かして見てほしい。それが、伝説的なアーキテクトへの第一歩だ。