皆さん、こんにちは。HHVMの深淵を覗き込み、Hackの静的型システムと共に生きてきたアーキテクトです。
大規模なコードベースを抱える現場で「Strict Modeへの完全移行」というミッションを課せられた時、多くのエンジニアが絶望の淵に立たされます。しかし、Hackには「Partial Mode（部分モード）」という強力な盾があることを忘れてはいけません。
今回は、Hackの型安全性を段階的に高めるための「負債管理の極意」について、深い部分まで噛み砕いてお話ししましょう。
—
1. Hackの「モード」とは何か？：型チェックの守護範囲
Hackのコードには、ファイル先頭の`
大規模開発では、全てのファイルを一瞬でStrictに書き換えることは不可能です。そこで登場するのが、「PartialからStrictへ」というグラデーションを用いた移行戦略です。
—
2. 混在環境における「型安全性の境界線」
Partial ModeのファイルからStrict Modeの関数を呼び出すとき、HHVMの型チェッカー（`hh_client`）は厳格にチェックを行います。しかし、その逆（StrictからPartialへの呼び出し）には注意が必要です。
陥りやすい罠：`dynamic` の伝染
Partial Modeの関数は、多くの場合 `mixed` 型を返します。これをStrict Modeで受け取ると、型チェッカーは「それが本当に安全か？」を疑い、警告を発します。
// Partial Mode (old.hh)
function get_user_data(): mixed {
return [‘id’ => 123]; // 何が返ってくるか型チェッカーは保証できない
}
// Strict Mode (new.hh)
<<__Strict>>
function process(): void {
// ここで警告！ mixed型から直接配列のインデックスにはアクセスできません
$data = get_user_data();
echo $data[‘id’];
}
解決策： 境界線で「型を強制的に主張する」こと。`type assertion`（キャスト）ではなく、「型リファインメント（Type Refinement）」を活用しましょう。
—
3. 段階的移行の技術的負債管理：3つの鉄則
移行を成功させるための、現場の「地図」を授けます。
① 「境界線」を明確にする（アダプターパターンの活用）
Partialなコードを直接叩くのではなく、必ずStrictな「ラッパー関数」を挟んでください。
// ラッパーによる安全策
function get_user_id_safe(): int {
$raw = get_user_data();
// ここで型を確定させる（Refinement）
if ($raw is darray
return (int)$raw[‘id’];
}
return 0;
}
② `hh_client` のエラー抑制を「一時的な借金」と捉える
`hh.config` や `.hhconfig` でエラーを無視することも可能ですが、これは「高金利の借金」と同じです。「エラーを消す」のではなく「型を定義する」ことに全力を注いでください。 警告が出ている箇所は「まだ型定義が足りない箇所」という、最も分かりやすい負債の通知表です。
③ 既存のテストコードを「型安全性の砦」にする
型定義を厳格化すると、今まで動いていたコードでテストが落ちることがあります。それは「バグを隠し持っていた」証拠です。型チェッカーが怒る場所は、実は最もバグが潜みやすい場所。そこを直すことは、コードの寿命を延ばす作業なのです。
—
4. 初学者がつまずく「Nullability」の壁
Strict Modeで最も多いエラーは `?T`（nullable）の扱いです。
// 悪い例：nullの可能性があるのにそのまま使う
function get_name(?string $name): string {
return $name; // 警告：?string は string に代入できません
}
// 良い例：必ずNullチェック（Refinement）を通す
function get_name(?string $name): string {
if ($name is null) {
return ‘Guest’;
}
return $name; // ここでは $name は string であることが確定している
}
Hackの型チェッカーは、`if ($var is null)` を通過した後のブロックでは、自動的に変数の型を絞り込んでくれます。これが「Flow-sensitive typing」です。これさえ意識すれば、コードは驚くほど堅牢になります。
—
最後に：型は「制約」ではなく「設計図」
型チェッカーと戦う必要はありません。彼らはあなたのコードの「品質」を守るために、24時間監視している優秀なパートナーです。
Strict Modeへの移行は、最初は面倒に感じるかもしれません。しかし、一度その厳格な環境に慣れてしまえば、`null` ポインター例外や予期せぬ型エラーに悩まされる時間は劇的に減ります。
「今日のStrict化は、明日の自分への最高のプレゼント」。
この精神で、少しずつ、確実にコードを「Strict」という名の芸術作品へと磨き上げてください。ここをクリアすれば、あなたはもうHackを掌握したと言っても過言ではありません。
また次回の講義でお会いしましょう。質問があれば、いつでもコードベースの奥深くで待っていますよ。