Nullという「現代の設計における最大の負債」をHackで完全に駆除する
Hackのコードベースにおいて、`null`に対する甘い認識は「死」と同義だ。
かつてCやJavaで我々が味わったあの忌々しいNullPointerException（NPE）を、Hackはコンパイルタイムに抹殺する。HHVMの型チェッカー（`hh_client`）は、お前たちのコードに潜む「未定義の可能性」を、血眼になって探し出しているのだ。
今回は、実務の現場で頻出する「Nullable型」の安全な捌き方と、`is`演算子による型絞り込み（Type Refinement）の真髄を伝授する。これが理解できれば、お前の書くコードから「実行時エラー」の二文字は消滅するはずだ。
—
1. Nullable型を「放置する」な
Hackにおいて `?T`（nullable）を扱う際、最もやってはいけないのは、`if ($val !== null)` で囲うことを繰り返す「ネスト地獄」だ。あるいは、妥協して `??`（Null Coalescing Operator）で安易にデフォルト値を詰め込むのも、型情報の損失を招く。
我々が目指すべきは、「型チェッカーに型を証明させ、強制的に安全な状態へ持ち込む」ことだ。
不採用コード（典型的なアンチパターン）
function process(string $name): void {
// 妥協したデフォルト値。本来のロジックを見失っている
$formatted = $name ?? ‘Guest’;
echo strlen($formatted);
}
これは「データがない状態」を「特定の文字列」として誤魔化している。本来、データ不在は「別の状態」として扱うべきなのだ。
—
2. `is` 演算子による「型絞り込み」の真髄
Hackの`is`演算子は、単なる型チェックではない。「型チェッカーへの強力なヒント」だ。`is`を使用することで、HHVMの型推論エンジンは、そのブロック内において変数の型を昇格（Refinement）させる。
実務で最もクリーンな設計パターンを紹介しよう。
推奨される堅牢な設計パターン
<<__EntryPoint>>
function main(): void {
$data = get_optional_data();
// ここで型を絞り込む
if ($data is string) {
// コンパイラは、ここから先が string 型であることを完全に保証する
// つまり、null の可能性はゼロだ。
handle_string($data);
} else {
// ここは必然的に null 型に絞り込まれる
handle_null();
}
}
function get_optional_data(): ?string {
// 非同期API連携などのモック
return rand(0, 1) ? “Hack” : null;
}
このコードの美しさは、`$data`の型がブロックを抜けるごとに明確に定義されている点にある。`if`ブロック内では、`string`型として型安全なメソッド呼び出しが可能だ。
—
3. パフォーマンスへの寄与：HHVMの最適化を信じろ
「型チェックを繰り返すと遅くなるのではないか？」という無意味な懸念を持つ者がいる。
断言する。HHVMのJITコンパイラは、`is`演算子による型絞り込みを非常に効率的に処理する。
むしろ、`null`かどうかわからない状態を引きずって、後続の処理で動的チェック（`is_null()` など）を何度も行う方が、CPUパイプラインを汚し、キャッシュ効率を悪化させる。型チェッカーに教え、一度のチェックで型を確定させることこそが、最も高速なコードへの近道なのだ。
—
4. 実務で「型を守り抜く」ための設計術
最後に、コンポーネント設計におけるプロフェッショナルの心得を伝授する。
1. 関数の戻り値で曖昧さを排除する:
`?T`を返す関数は、呼び出し側に「Nullチェックの責任」を押し付けている。可能であれば、空の結果を返すのではなく、`Vector`や`Map`、あるいは自作の`Result
2. `is`演算子の活用範囲を限定する:
`is`演算子をコードのあちこちに散らばらせるな。境界線（APIレスポンスのパース時や、外部入力を受け取る場所）で型を確定させ、ビジネスロジックの中核へは「必ず存在する型」として注入しろ。
3. `invariant`を使え:
型チェッカーが推論できないが、論理的に「絶対にnullではない」箇所には `invariant($var is nonnull, ‘…’);` を挿入しろ。これはデバッグ時に強力なガードレールとなり、プロダクション環境では不要な分岐を排除する。
まとめ：お前のコードに「妥協」の余地はない
Hackの型システムは、お前たちが書くコードの「品質」を物理的に強制する最強のエンジニアリング・ツールだ。
`?T` を見た瞬間、それを「危険な領域」と認識し、`is` 演算子で即座に安全な領域へと引きずり込め。このプロセスをルーチン化することで、お前のコードは堅牢さを増し、レビューを通る速度は格段に上がる。
さあ、エディタを開け。型チェッカーが「型エラーなし」と告げるその瞬間まで、妥協は許されない。それが、Hackを操る者の矜持だ。