Hackの型システムを掌握せよ：Type Narrowing（型絞り込み）が魔法のように思える理由
こんにちは。Hackのコア開発の世界へようこそ。
Hackという言語は、単なる「PHPの型付き版」ではありません。HHVMという強固なエンジン上で、静的解析器（Typechecker）がコードの論理構造を数学的に証明していく、非常に厳格で美しい言語です。
今日は、その中でも特に「なぜHackは、if文を通るだけで変数の型を理解できるのか？」という、Type Narrowing（型絞り込み）の深層に切り込みます。これを知れば、あなたはもう「型エラーと戦う」のではなく「型チェッカーと対話する」段階へ進めますよ。
—
1. Type Narrowingとは何か？：動的な曖昧さを静的に解決する術
Hackにおいて、変数の型が確定していない状態（`mixed` や `?T` など）は、いわば「霧の中」にいるようなものです。そのままメソッドを呼ぼうとすれば、当然型チェッカーは「そのメソッドがあるか保証できない」と怒りますよね。
Type Narrowingは、コードのパスを辿ることで、その霧を晴らしていくプロセスです。
function process(mixed $input): void {
// ここでの $input は mixed なので何もできない
if ($input is string) {
// このブロック内では、$input は string と確定する
echo strlen($input);
}
}
この `is` 演算子を通った瞬間、型チェッカーの内部状態が更新されます。では、この裏側で何が起きているのでしょうか？
—
2. 内部メカニズム：型チェッカーの「論理推論エンジン」
Hackの型チェッカー（`hh_client` が動かしているやつですね）は、コードを単なる文字列としてではなく、制御フローグラフ（CFG）として読み解いています。
絞り込みの条件：それは「事実の蓄積」
型チェッカーはコードを上から下へ流しながら、各分岐点において「この変数が取り得る型の集合」を絞り込んでいきます。
- Positive Branch（ifの中）: 条件式が真となるために必要な型だけを残す。
- Negative Branch（elseの中）: 条件式が偽となるために排除される型を引く。
例えば `if ($x is int)` なら、Positive側では `$x` の型集合から `int` 以外を除去します。これ、実はただの集合演算なんです。
なぜ「特定の条件」で絞り込まれないのか？
「ここまでは合っているはずなのに、なぜ型が確定しないんだ？」と悩んだことはありませんか？ それは、型チェッカーが「副作用」を警戒しているからです。
もし `if` の中で変数の値が書き換わる可能性がある場合（例えば、プロパティの参照や、外部から変更可能な参照渡しなど）、型チェッカーは「安全側に倒す」ため、絞り込みをあえて解除します。
—
3. 実践：現場でよくある「型が絞り込めない」罠
初学者が一番ハマりやすいのが、「ローカル変数ではないもの」の絞り込みです。
class Container {
public ?string $data = null;
}
function demo(Container $c): void {
if ($c->data is string) {
// ここでアクセスしても、型チェッカーはエラーを出す可能性がある！
// echo $c->data; // Error!
}
}
なぜこれがダメなのか？
型チェッカーは「別のスレッドや別のメソッドが、この瞬間に `$c->data` を `null` に書き換えるかもしれない」という可能性を排除できません。これを「エイリアシングによる副作用」と呼びます。
解決策：
一度ローカル変数にコピーしてください。
function fixed(Container $c): void {
$data = $c->data; // ローカル変数へ退避
if ($data is string) {
// $data は不変なので、安心して string として扱える
echo $data;
}
}
これだけで、型チェッカーは「このスコープ内ではこいつは絶対に変わらない」と判断し、型を確定させてくれます。これが「型チェッカーと対話する」ということです。
—
4. 最後に：型チェッカーを「味方」にするマインドセット
Hackの型システムは、あなたを縛るための檻ではなく、バグという名の猛獣からあなたを守るための防壁です。
- `is` 演算子で絞り込む。
- 複雑な式はローカル変数に分解する。
- それでもダメなら、`invariant()` や `TypeAssert` を使って、実行時の型を明示的に強制する。
これらを意識するだけで、あなたの書くコードの安全性と信頼性は劇的に向上します。最初は少し窮屈に感じるかもしれませんが、大規模開発においてこれほど心強い相棒はいませんよ。
ここをマスターすれば、Hackの基本はもうバッチリです。次は、`Shape` や `Tuple` を使った、より柔軟で厳密なデータモデリングの世界へ足を踏み入れてみましょう！
何か具体的なコードで詰まっていることがあれば、いつでも聞いてくださいね。一緒に最高品質のコードを書き上げましょう！