型の深淵：デフォルト引数とオプショナル引数がコンパイラに与える「静的強制力」の真実
TypeScriptにおいて、関数シグネチャを設計することは、単なるインターフェースの宣言ではない。それは、コンパイラという「静的解析器」に対して、実行時スタックの構造と、型消去（Type Erasure）後のJavaScriptランタイムでいかに変数を割り当てるかという、メモリレイアウトの最適化計画を提出する行為に等しい。
多くの開発者は、`?`（オプショナル）と `=`（デフォルト値）を、単なる「省略可能か否か」のフラグとして捉えている。しかし、コンパイラAPIの深淵を覗けば、その挙動は全くの別物である。今日は、この2つがコンパイル時にどのような型評価の分岐を生み、ランタイムのイベントループやメモリ消費にどう影響するのかを解剖する。
—
1. 概念の分離：オプショナル引数とデフォルト引数の「型」の差異
コンパイラ（`tsc`）の内部構造において、これらは全く異なるトークンとして扱われる。
- オプショナル引数 (`arg?: T`): 型定義上、`T | undefined` を受け入れるという契約。
- デフォルト引数 (`arg: T = val`): コンパイラに対し、「未定義時、あるいは `undefined` 渡下において、この値を注入せよ」というコード変換命令。
コンパイラが生成するコードの差異
以下のコードを見てほしい。
function logData(a?: string, b: string = “default”) {
console.log(a, b);
}
これをコンパイル（target: ES5）すると、以下の変換が走る。
function logData(a, b) {
if (b === void 0) { b = “default”; } // bがundefinedかチェックし、代入
console.log(a, b);
}
ここで注目すべきは、デフォルト引数は `undefined` との比較コストをランタイムに持ち込むという事実だ。高頻度で呼び出されるホットパス（Hot Path）において、この `void 0` のチェックがマイクロ最適化の観点で無視できないオーバーヘッドになる場合がある。
—
2. 型推論の罠：`undefined` の境界線
シニアレベルであれば、以下の推論挙動を直感的に理解しているはずだ。
function trigger(a: string = “init”) {
// ここでの a は常に string であると推論される
}
function triggerOptional(a?: string) {
// ここでの a は string | undefined である
}
しかし、実務において最も危険なのは、デフォルト引数を持つ関数を「関数型」として型定義する際の挙動だ。
type Handler = (a: string) => void;
// コンパイルエラーにならない
const myHandler: Handler = (a = “default”) => {
console.log(a);
};
なぜこれが許容されるのか？TypeScriptの型システムは「共変性」と「反変性」に基づき、「呼び出し側にとって、その関数が引数を要求しているか否か」よりも「提供される値が型を満たしているか」を優先するからだ。だが、この「デフォルト値付きの実装」を型定義の外側で隠蔽すると、呼び出し側はデフォルト値の存在を知らずに `undefined` を明示的に渡そうとし、ランタイムエラー（あるいは予期せぬ挙動）を引き起こす可能性がある。
—
3. ランタイムの防壁とスタックトレースへの影響
セキュリティ研究者が注目すべきは、デフォルト引数が生成する「暗黙のブランチ」である。
もし、引数の初期化コストが高い関数（巨大なオブジェクトの生成や、複雑なクラスのインスタンス化など）でデフォルト引数を使うと、その関数が呼ばれるたびに、たとえ引数が提供されていたとしても、あるいはデフォルト値が使われない場合でも、スタックフレームの構築と初期化のロジックが実行エンジン（V8等）によって解析される。
最適化の極致：インライン化の障壁
V8などのJITコンパイラは、引数が単純な値である場合、関数を呼び出し元にインライン展開（Inlining）する。しかし、デフォルト引数による `undefined` チェックがコード内に挿入されると、インライン化の判定ロジックが複雑化し、最適化パスから外れる可能性がある。
シニアエンジニアへの提言:
「パフォーマンスがクリティカルな超高頻度イベントハンドラ」において、安易なデフォルト引数の利用は控えろ。引数は明示的に渡し、関数内での `??` (Nullish coalescing operator) を使ったガード句に倒すべきだ。これにより、コンパイラは引数の生存期間（Lifetime）をより正確に追跡できる。
—
4. 結論：型システムは「契約」である
デフォルト引数は、開発者の怠慢を許容するための糖衣構文ではない。それは、「この関数は、呼び出し側が値を欠落させた場合、いかにして安全に振る舞うべきか」という設計思想の表明だ。
- APIの公開インターフェースでは：オプショナル引数（`?`）を使い、呼び出し側に明示的な責任を持たせる。
- モジュール内のプライベートロジックでは：デフォルト引数（`=`）を使い、冗長なガード句を排除する。
TypeScriptの型システムは、あなたの書いたコードが実行時にどう解釈されるかを先回りして物語っている。コンパイルエラーを修正するだけのエンジニアになるな。生成される中間コード、そしてその先にあるCPUサイクルまでを想像し、型定義を彫り込め。
それが、TypeScriptを掌握し、ランタイムの防壁を突破する唯一の道だ。