継承の死と代数的データ型の復権：Hack `__Sealed` がもたらす静的安全性の極致
PHPのレガシーコードベースを覗くと、決まって目にする光景がある。無秩序に拡張されたクラス階層と、それを捌くために散りばめられた `instanceof` の汚染。あるいは、`default` ケースで握りつぶされる致命的な型エラーだ。
我々はHHVMを設計する際、PHPの動的で寛容な性質を、いかにして「コンパイラが保証する厳格な型安全」へと昇華させるかに心血を注いできた。その一つの回答が `__Sealed` 属性による継承のホワイトリスト化だ。
今回は、この機能を単なる「設計パターン」としてではなく、HHVMの型チェッカーとランタイムがどのように解釈し、メモリレイアウトと実行効率、そして開発者の認知負荷を最適化しているのかを深掘りする。
—
1. 継承は「破壊」である：PHP的設計への訣別
PHPにおいて、`class A {}` は誰からも継承される権利を持つ。これはランタイムにとってはメモリ上の単なる動的ディスパッチテーブルの構築に過ぎないが、システム全体の堅牢性という観点では「爆弾」だ。
Hackの `__Sealed` は、継承ツリーを閉じることで、コンパイラに対して「これ以上の拡張は存在しない」という強い証明を与える。
namespace App;
// __Sealedにより、このインターフェースを実装できるのは指定されたクラスのみとなる
<<__Sealed(Success::class, Failure::class)>>
interface Result<+T> {
public function isSuccess(): bool;
}
final class Success
public function __construct(public T $value) {}
public function isSuccess(): bool => true;
}
final class Failure implements Result
public function isSuccess(): bool => false;
}
この設計により、HHVMの型チェッカー（Hack Compiler）は、このインターフェースを扱うあらゆる箇所で「網羅性」を断定できる。
—
2. 網羅性チェックの魔力：`match` との共鳴
`__Sealed` の真価は、`match` 式と組み合わせた時に発揮される。コンパイラは、定義されたすべてのサブクラスが網羅されているかをバイナリ生成前に検証する。
function handleResult
// ここで一つでもケースを忘れると、Hackの型チェッカーは慈悲なくエラーを吐く
return match ($result) {
is Success<_> => “Value: ” . (string)$result->value,
is Failure => “Error occurred”,
};
}
これがなぜ重要か？ それは、「実行時の予期せぬブランチ」をコンパイルタイムで根絶できるからだ。ランタイムにおける `default` ケースの隠蔽は、多くの場合、将来のバグへの伏線となる。型チェッカーが網羅性を強制することで、開発者は「システムが想定しうる状態」の境界線を常に意識せざるを得ない。
—
3. HHVMアーキテクチャから見た最適化の旨味
なぜ `final` クラスと `__Sealed` インターフェースが重要なのか。それは単なる言語仕様の制約ではない。HHVMのJITコンパイラへの強力なヒントとなるからだ。
vtableのインライン展開
継承が閉じられている（`final` である）ことが確約されると、HHVMのJITエンジンは、メソッド呼び出しのディスパッチを `vtable` 参照なしの直接コール、あるいはインライン展開へと最適化できる可能性が劇的に高まる。
型推論の収束
`__Sealed` を用いると、型推論エンジンは Union Type をより厳密に解釈できる。`Result
—
4. セキュリティ研究者が注目すべき「状態の完全性」
セキュリティの観点から言えば、これは「不正な状態の排除」に他ならない。
多くの脆弱性は、継承ツリーの意図しない拡張による「型の混乱（Type Confusion）」や、本来想定されていないサブクラスがメソッドをオーバーライドすることによる「セマンティクスの破壊」に起因する。
`__Sealed` は、インターフェースの実装者を制限することで、「信頼境界線」をクラス階層のレベルで定義する。ライブラリ開発者にとって、APIの利用者に勝手な実装を許さないことは、自身のコードの安全性を守るための最も強力な防壁となる。
—
最後に：コードは「書く」のではなく「証明する」もの
Hackを使いこなすということは、PHPの「動的に動く」という甘い誘惑を断ち切り、数学的な厳密さをコードに持ち込むということだ。
`__Sealed` と `final` を用いて継承ツリーを制御することは、決して自由を奪うことではない。むしろ、「プログラムが何を表現しているのか」という定義を、人間とコンパイラの間で完全に共有するプロセスだ。
リファクタリングを恐れるな。あなたの書いたそのクラス階層が、コンパイラによって「完全なもの」として証明されたとき、そこには驚くほど静かで、堅牢なシステムが立ち上がるはずだ。
Hackの深淵へ、ようこそ。