TypeScriptの深淵：オプショナル引数 `?` と `undefined` の境界線
TypeScriptの型システムにおいて、`?`（オプショナルパラメータ）を単なる「省略可能」という糖衣構文と捉えているならば、それはメモリレイアウトとランタイムの振る舞いに対する無知を露呈しているに等しい。
`strictNullChecks: true` の世界であっても、コンパイル時と実行時の「型」の解釈には、極めて繊細な断絶が存在する。本稿では、この断絶がなぜ重要であり、なぜ安易な混同がバグの温床となるのかを解き明かす。
—
1. コンパイラの視点：`?` は型であり、値ではない
多くの開発者は `(arg?: string)` を `(arg: string | undefined)` と等価だと教わる。しかし、コンパイラAPIのレベルで見れば、両者は明確に区別される。
オプショナル引数の正体
`?` を付与した引数は、コンパイラに対して「呼び出し元がこの引数を渡さなかった場合、ランタイムで `undefined` が流し込まれることを許容する」という契約を提示しているに過ぎない。
function trace(arg?: string) {
// コンパイル時：arg は string | undefined として推論される
// しかし、メタデータ上は「省略可能な引数」というフラグが立っている
console.log(arguments.length);
}
trace(); // 実行時：arguments.length は 0
trace(undefined); // 実行時：arguments.length は 1
この違いは、`Function.prototype.length`（関数のアリティ）や、`arguments` オブジェクト、さらにはカリー化や高階関数によるラッパーを作成する際に致命的な差異を生む。
—
2. 厳密なランタイム挙動：なぜ `undefined` を明示してはいけないのか
API設計において、引数に `undefined` を明示的に渡す行為は、シリアライズ（JSON.stringify）のプロセスで明確な破壊を引き起こす可能性がある。
シリアライズの落とし穴
interface Payload {
id: number;
note?: string;
}
const p1: Payload = { id: 1 };
const p2: Payload = { id: 1, note: undefined };
console.log(JSON.stringify(p1)); // ‘{“id”:1}’
console.log(JSON.stringify(p2)); // ‘{“id”:1,”note”:null}’ ※厳密にはundefinedはキーごと消える
ネットワーク層やキャッシュ層でこの差を無視すると、デシリアライズ後に `hasOwnProperty` が真を返すか否かという、極めて低レイヤの不整合を引き起こす。セキュリティ研究の視点では、この「キーが存在しない状態」と「キーは存在するが値が空の状態」の混同こそが、バリデーション・バイパスの格好の標的となる。
—
3. 型システムの「見えない壁」を突破する
もしあなたが堅牢なライブラリを構築しているのであれば、オーバーロードを活用すべきだ。`?` に頼り切る実装は、インターフェースの柔軟性を損なう。
推奨されるアプローチ：オーバーロードの強制
// パラメータの「有無」を型レベルで厳格に分離する
function process(val: string): void;
function process(): void;
function process(val?: string): void {
if (val === undefined) {
// 完全に省略されたケースの処理
return;
}
// 値が存在するケースの処理
}
この手法を取ることで、呼び出し元が `undefined` を明示的に渡すコードを排除できる。コンパイラが「引数なし」と「引数あり」のコードパスを完全に独立した型情報として管理するため、デッドコードの混入を防ぎ、最適化が効きやすいコードパスが生成される。
—
4. チーフアーキテクトからの提言
TypeScriptの型システムは、魔法ではない。それはコンパイラが静的解析を行うための「メタデータ」であり、ランタイムはV8（あるいはその他のエンジン）の素のJavaScriptで動いている。
- `?` を使う場合: その関数は、引数が「完全に欠落している状態」を許容する設計である必要がある。
- `| undefined` を使う場合: その引数は「明示的に空であることを意図している」というセマンティクス（意味論）を持つ必要がある。
この境界を曖昧にすることは、コードの「意味」を捨てることと同義だ。大規模アーキテクチャにおいて、引数の意味論が破壊されていることは、技術的負債の最も悪質な形態の一つである。
コードを書くとき、自問せよ。「この `undefined` は、ただの欠落か、それとも意味を持つ空虚か？」
その問いに答えられたとき、あなたはTypeScriptの型システムを単なる静的チェックツールから、アーキテクチャの防壁へと昇華させることができるはずだ。