Strict Modeへの不条理な回廊：Partial混在環境における型安全性の要塞構築
HHVMのコアを統括するアーキテクトとして、我々は常に一つの命題に向き合ってきた。それは「動的言語の柔軟性を捨てず、C++やRustに匹敵する静的保証をいかに極限のオーバーヘッドゼロで実現するか」である。
Hack言語における `hh_client` 型チェッカーとHHVMランタイムの結合は、単なるシンタックスシュガーの範疇を超えている。だが、数百万行規模のレガシーコードベースを抱える組織において、突如としてすべてのファイルを `Partial Mode (`において、いかにして型安全性の防壁を維持し、技術的負債を段階的かつ数学的に清算していくか。その極限の知見をコードとランタイムの挙動の双方から解き明かす。
—
1. Partial Modeという「時限爆弾」：型チェッカーの盲点
まず、コンパイラの内部挙動を理解しなければならない。Partial Mode (` $id, ‘name’ => ‘Legacy User’};
}
function process_payload($data) {
// $data は mixed。HHVMのJITはこの時点で特異な最適化（プロファイル駆動型最適化）を強いられる。
return $data[‘name’];
}
このコードが Strict Mode のファイルから呼び出された瞬間、型安全性のチェインは音を立てて崩壊する。Strict Modeでは、`mixed` 型の変数に対して配列アクセスのキーが文字列であることの保証や、キーの存在テレポート（狭窄化）が厳しく制限される。しかし、境界線（Boundary）を跨ぐ際、HHVMのランタイムは型安全性をどこまで担保できているのか？
答えは残酷だ。境界を跨ぐ値の多くは、コンパイル時ではなく実行時（Runtime）のポインタ安全性に依存する。 Partialな関数が返した `mixed` がStrict側へ流れ込む時、HHVMは裏で暗黙的な型アサーションやボックス化のコストを支払い続けているのだ。
—
2. 境界防衛線（Boundary Defense）の設計パターン
混在環境における最大の敵は、型推論の「穴」を通じた `mixed` の伝播である。これを阻止するためには、PartialからStrictへ流入するすべてのデータを監視する「型アサーション・ゲートウェイ」を構築する必要がある。
以下は、信頼できないPartialの世界からデータを安全に収容するための、シニアエンジニア必携のパターンだ。
/
final class LegacyDataBoundary {
/
- 不確実なmixedデータを厳格な形状（Shape）へと強制的に変換・検証する。
- ランタイムのオーバーヘッドを最小限に抑えつつ、型チェッカーを完全に沈黙させる手法。
/
public static function enforceUserShape(mixed $raw_data): shape(‘id’ => int, ‘name’ => string) {
// HHVMの内部ビルトインを活用した高速な型ナローイング
if (!is_dict($raw_data)) {
throw new \InvalidArgumentException(“Boundary violation: Expected dict, got ” . \gettype($raw_data));
}
// 厳密なキー存在確認とプリミティブキャスト
// ここで型を確定させることで、以後の処理はStrictの恩恵を100%受ける。
$id = $raw_data[‘id’] ?? 0;
$name = $raw_data[‘name’] ?? ‘Anonymous’;
if (!\is_int($id) || !\is_string($name)) {
throw new \InvalidArgumentException(“Boundary violation: Shape mismatch.”);
}
return shape(‘id’ => $id, ‘name’ => $name);
}
}
なぜこの実装が必要なのか？
HHVMのJITコンパイラ（Region JIT）は、型が確定している領域（Strict Mode内）において、不必要なボックス化（Box）を排除し、ネイティブなレジスタ割り当てやアンボックス化されたプリミティブ演算を行う。
しかし、境界で `mixed` や不確定なオブジェクトを受け取り続けると、JITはガード命令（Type Guard）の生成を余儀なくされ、CPUパイプラインのストールを引き起こす。上記の `enforceUserShape` のような境界防衛は、型安全性だけでなく、マシンの実行効率（CPUキャッシュヒット率）の観点からも極めて合理的なのだ。
—
3. 段階的移行のロードマップ：技術的負債の数値化と統制
大規模コードベースをStrict化する際、やみくもに `ステップ1: `.hhconfig` による段階的制約の有効化
まず、リポジトリルートの `.hhconfig` をハックし、型チェッカーの牙を徐々に研ぎ澄ます。
; .hhconfig の極限設定例
auto_namespace_map = {“”: “\\”}
; 未定義の型や曖昧なアノテーションに対する警告を厳格化
enable_experimental_features = []
; 段階的移行において、特定のディレクトリのみstrictを強制するような運用は避け、
; グローバルに「unsafeな機能」の排除を進める。
disallow_execution_operator = true
halt_at_service_level = true
ステップ2: トラサビリティの確保と「負債の隔離」
Partial Modeのファイルを完全にゼロにすることは、ビジネスのスピード上、一時的に不可能な場合がある。その場合、以下の命名規則とアノテーション戦略を用いて「安全な汚染領域」を隔離する。
1. レガシーアダプター層の分離: `Legacy/` ディレクトリ配下のみ ``HH\FIXME` と `HH\IGNORE` の政治的統制:
これらは麻薬である。安易な使用を防ぐために、CI/CDパイプラインにおいてこれらのコメントの差分増加を機械的にブロックする。
legacyCall($order_id);
// 正しいアプローチ：アダプター経由で型安全性を担保
$result = \Architecture\Security\LegacyDataBoundary::enforceUserShape(
\Legacy\LegacyClient::fetch($order_id)
);
// 以降の処理は完全に安全
$this.executeBusinessLogic($result[‘id’]);
}
private function executeBusinessLogic(int $id): void {
// 亜空間から切り離された純粋なHackの世界
}
}
—
4. チーフアーキテクトからの提言：型安全性は「信仰」ではなく「コスト対効果のエンジニアリング」である
Strict Modeへの移行は、コードの美しさを競う宗教戦争ではない。それは、「人間が脳内で保持すべき認知負荷の総量を、コンパイラとランタイムに肩代わりさせるためのシステム投資」である。
Partial ModeとStrict Modeの混在環境において最も重要なのは、境界線（Boundary）の警察官たることだ。どこで型が曖昧になり、どこでそれが確定するのか。そのデータフローのライフサイクルを完全に掌握した者だけが、巨大なHackコードベースの支配権を握ることができる。
妥協のない型定義と、HHVMの特性を極限まで引き出すコード設計。それこそが、我々が到達すべきエンジニアリングの極北である。