【入門編】Type AssertionsとHH\invariant：PHPの防御的if文チェックをスマートな型絞り込みへ昇華させる – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

やあ、Hackの世界へようこそ。HHVMの深淵からやってきた君たちに、今日は「PHP的な泥臭いチェック」を「Hack的なエレガントな型推論」へと昇華させるための、極めて重要な作法を伝授しよう。

PHPで開発しているとき、こんなコードを一度は書いたことがあるはずだ。

// PHPの典型的な「防御的プログラミング」
function processUser(?array $user): void {
if (!isset($user[‘id’]) || !is_int($user[‘id’])) {
throw new Exception(“Invalid user data”);
}
// ここでやっと $user[‘id’] が安全だと確信できる
echo “Processing user: ” . $user[‘id’];
}

このコード、何が問題か分かるかい？静的解析器から見れば、`if` 文を抜けた後も「`$user[‘id’]` はまだ `mixed` かもしれない」という不安が消えないんだ。Hackの型チェッカー（hh_client）は、君の「確信」をコードの構造として理解したがっている。

今日紹介するのは、この「不安」を「確信」へと変える魔法、`HH\invariant` だ。

—

1. `HH\invariant`：型チェッカーへの「誓約書」

`HH\invariant` は、ただのエラーハンドリングじゃない。「ここから先は、この条件が絶対に真である」という型チェッカーへの強力なヒントなんだ。

use namespace HH;

function processUser(?dict $user): void {
// invariant(条件式, エラーメッセージ)
// 条件が偽なら例外を投げ、真なら「それ以降」の型を絞り込む
invariant($user is dict<_, _>, “User must be a dict”);
invariant(idx($user, ‘id’) is int, “User ID must be an int”);

// ここでは、$user[‘id’] は確実に int 型として認識される
echo “Processing user: ” . $user[‘id’];
}

なぜこれが「スマート」なのか？

1. 型絞り込み（Type Refinement）: `invariant` を通過した瞬間、コンパイラはその変数の型をより具体的に再定義する。
2. 可読性の向上: 冗長な `if` 文のネストが消え、コードが「ビジネスロジック」と「前提条件」に綺麗に分離される。
3. ランタイムと静的解析の統合: 実行時に失敗すれば即座に落ちる（フェイルファスト）ため、不正な状態がシステム内に浸透するのを防ぐ。

—

2. 「`is` 演算子」という武器

Hackには、型を判定する `is` 演算子がある。これは単なる `instanceof` の強化版だと思えばいい。

初学者が陥りやすい罠:
初心者はよく `is_array` や `is_string` を使いがちだけど、Hackでは可能な限り `is` 演算子を使ってくれ。なぜなら、`is` 演算子は型チェッカーの「型絞り込みエンジン」を直接駆動するからだ。

—

3. 具体的なリファクタリングの極意

例えば、外部APIから受け取った怪しいデータを受け取る場合を考えよう。

【ビフォー：PHP的なチェック】

function handleData(mixed $data): void {
if (is_array($data) && isset($data[‘status’])) {
// ここでもまだ $data[‘status’] は mixed
echo (string)$data[‘status’];
}
}

【アフター：Hack的な確信】

function handleData(mixed $data): void {
// データ構造を定義して絞り込む
invariant($data is shape(‘status’ => string), “Invalid data format”);

// ここから先、$data[‘status’] は確実に string 型！
echo $data[‘status’];
}

この「Shape（シェイプ）」による絞り込みは強力だ。データ構造をまるで静的言語の構造体のように扱えるようになる。これができれば、君のコードは一気に堅牢になる。

—

読者諸君へのアドバイス

「型チェックが厳しすぎる」と感じるかもしれない。だが、それは君のコードが、まだ「型チェッカーを納得させるだけの情報」を提示できていないだけなんだ。

`HH\invariant` を使うことは、「自分自身とコードへの誓い」を書くことだ。
「このコードの実行時、ここには必ずこの型が来る。もし来なければ、即座に停止して異常を知らせよ」

この姿勢こそが、大規模なHHVM環境で何万ものリクエストを捌くエンジニアたちの共通言語だよ。

ここをクリアすれば、君はもうHackの初心者じゃない。型システムの恩恵を最大限に引き出す準備ができたはずだ。さあ、IDEを開いて、コードから `if` 文の嵐を追い出そうじゃないか。

何か詰まったら、いつでも聞いてくれ。アーキテクチャの核心から解説してあげるよ。