やあ。Hackの世界へようこそ。
私はHHVMの深淵で、日々コードの奔流と向き合っているアーキテクトだ。
君がいまPHPからHackへと歩みを進めようとしているなら、まず「参照渡し（Reference）」という名の、美しくも危険な罠について話さなければならない。PHPの `&$var` は強力だが、あまりに奔放すぎる。大規模なシステムでは、どこでデータが書き換わったのか追跡不能な「バグの温床」になりかねないんだ。
Hackは、その混沌に「規律」をもたらす。それが `inout` パラメータだ。今日は、このモダンで安全なデータフローの制御術をマスターしよう。
—
1. なぜPHPの `&$var` は「悪」なのか？
PHPの参照渡しは、呼び出し元から見ると非常に不透明だ。
// PHPの例
function updateData(&$data) {
$data = ‘modified’;
}
$myVar = ‘original’;
updateData($myVar); // 呼び出し元からは、渡した変数が書き換わるかどうかが一目では分からない
これの何が問題か？「関数を呼んだだけ」のつもりが、いつの間にか手元の変数が別物にすり替わっている可能性がある。コードが巨大化するほど、この「副作用」はデバッグの悪夢へと変貌する。
—
2. `inout` がもたらす「意思表示」の革命
Hackの `inout` は、「この変数は関数内で変更される可能性がある」という事実を、呼び出し元と定義側の両方に強制させる。これが型システムの美しさだ。
基本的な書き方
<<__EntryPoint>>
function main(): void {
$status = ‘active’;
// 呼び出し側でも明示的に ‘inout’ を書く必要がある
updateStatus(inout $status);
echo $status; // ‘inactive’ に変更される
}
// 定義側でもパラメータに ‘inout’ を付与
function updateStatus(inout string $val): void {
$val = ‘inactive’;
}
この構文の素晴らしい点は、「視覚的な警告」だ。`updateStatus(inout $status)` と書くことで、プログラマーは「ああ、この変数は書き換わるんだな」と瞬時に認識できる。隠れた副作用は、もう存在しない。
—
3. ここで躓くな！よくあるエラーと教訓
Hackの型チェッカーは非常に厳格だ。以下のエラーに遭遇したら、それは「おめでとう、Hackの安全圏に入った証拠」だよ。
エラー例：呼び出し忘れ
// 呼び出し元で inout を忘れると…
updateStatus($status);
// Hack Typechecker: “Parameter 1 must be passed with ‘inout'”
そう、Hackは「おっと、変更される可能性を忘れていないか？」と呼び出し元に警告を発してくれる。これが型安全の恩恵だ。
エラー例：定数やリテラルの渡し
updateStatus(inout ‘constant_string’);
// Hack Typechecker: “Expressions must be variables”
`inout` は「変数」にしか使えない。値（リテラル）を渡して書き換えることは物理的に不可能だからだ。当然の挙動だが、Hackはこれをコンパイル時に厳密に弾いてくれる。
—
4. アーキテクトからの助言：なぜこの仕様なのか
HHVMのエンジンレベルの話を少しだけしよう。PHPの参照は複雑なメモリ管理（Refcountの共有など）を伴い、最適化を困難にする。一方、Hackの `inout` は、コンパイラが「どの変数が書き換え対象か」を事前に完璧に把握できるように設計されている。
これにより、HHVMのJITコンパイラは、コードの実行速度を劇的に向上させることができるんだ。つまり、`inout` を使うことは、「コードの安全性を高めつつ、実行性能も引き出す」という一石二鳥の選択なんだよ。
—
最後に：Hackを使いこなすということ
`inout` への移行は、ただの構文の書き換えじゃない。「データの所有権と変更可能性を意識する」という、エンジニアとしての視座を一段上げるための儀式だ。
最初は少し窮屈に感じるかもしれない。だが、型チェッカーが君のコードを守ってくれる安心感を知れば、もうPHPの曖昧な参照渡しには戻れなくなるはずだ。
ここをクリアした君なら、次はHSL（Hack Standard Library）の強力なコレクション型を使いこなせるようになる。Hackの道はまだ続く。一歩ずつ、着実に深淵へ近づいていこう。
質問があればいつでも聞いてくれ。君のコードレビューを待っているよ。