HackのReadonlyプロパティ：可変性の呪縛を解き、静的解析の彼方へ
PHPの歴史は、ポインタの概念を隠蔽しつつも、裏では参照（Reference）とCopy-on-Write（CoW）が複雑に絡み合う迷宮であった。多くのシニアエンジニアが、意図せぬオブジェクトの状態変更によって引き起こされる不可解なバグに血を流してきたことだろう。
しかし、Hackにおける `readonly` プロパティの導入は、単なるシンタックスシュガーではない。これはHHVMのJITコンパイラがオブジェクトの不変性（Immutability）を確信できる境界線を引くための、極めて重要なメタデータである。
1. 参照の罠とメモリレイアウトの深淵
PHP（特にZend Engine）において、オブジェクトはデフォルトで「参照渡し」のような挙動を示す。 `$a = $b` と代入すれば、内部的には `zend_object` 構造体を指すハンドルがコピーされるに過ぎない。
この「緩い可変性」は、大規模システムにおいて致命的な副作用を生む。関数Aに渡したはずのデータが、関数Bで書き換えられているという事態は、デバッグの悪夢だ。
Hackの `readonly` は、この構造にコンパイル時の制約を強制する。
namespace HackArchitecture;
class Configuration {
// コンストラクタ以外での変更を静的に禁止する
public readonly int $timeout;
public readonly string $endpoint;
public function __construct(int $timeout, string $endpoint) {
$this->timeout = $timeout;
$this->endpoint = $endpoint;
}
}
このコードが型チェッカーを通過する際、HHVMは内部的に「このフィールドは一度初期化された後、二度と書き込まれない」というフラグを中間表現（IR）に焼き付ける。
2. HHVMの最適化：JITが「推論」から「確信」へ変わる瞬間
HHVMのJITエンジンは、実行時に型やプロパティの変更可能性をプロファイリングし、最適化を行う。しかし、可変なプロパティが多い場合、JITは「書き換えの可能性」を常に考慮せねばならず、レジスタへの割り当てやインライン展開にブレーキがかかる。
`readonly` を付与することで、コンパイラは以下の最適化を安全に実行できる。
- 定数折り畳みとレジスタ・キャッシュ: 該当プロパティへのアクセスは、メモリからのロードを繰り返す必要がない。一度レジスタにロードすれば、そのスコープ内では値が不変であることを保証できるため、CPUのパイプラインを止めるメモリフェンスを最小化できる。
- デッドコード除去: 不変であることが確定しているため、無意味な更新チェックコードを生成段階で削除可能。
3. なぜ「HSLへの移行」でReadonlyを必須とすべきか
PHPからHackへの移行において、最も価値があるのは「型安全」というラベルではない。「副作用の局所化」である。
既存のPHPコードからHackへ移行する際、以下のアプローチを推奨する。
1. Stateful Objectの隔離: 外部から状態を変更可能なオブジェクトを、コンストラクタで読み取り専用プロパティを持つValue Objectに変換する。
2. Collectionの固定: `vec` や `dict` のようなHSLコレクションと組み合わせる。PHPの配列と異なり、これらの型は厳格な分離が保証されている。
3. コンパイラによる強制: 移行の過程で、既存の「どこからでも書き換え可能なプロパティ」を `readonly` に書き換えてみる。型チェッカーが叫び声を上げる場所こそが、貴方のシステムの設計上の最大の脆弱性だ。
// 悪い設計：副作用が制御不能
class UserSession {
public ?User $user; // どこでも書き換え可能
}
// 良い設計：ReadonlyとOption型による厳格な状態遷移
class UserSession {
public function __construct(
public readonly User $user,
) {}
}
4. チーフアーキテクトからの忠告
`readonly` を使うことは、単にバグを防ぐことではない。それは、貴方の書くコードが「誰にも、どの瞬間にも、誤った状態に陥らされない」という宣言である。
大規模な分散システムや並行処理において、可変な共有状態は癌そのものだ。HHVMという仮想マシンは、貴方が `readonly` を付与することで初めて、メモリの整合性を極限まで最適化し、スループットを最大化する権利を得る。
型チェッカーがエラーを吐くことを恐れるな。それはシステムが「安全な方向へ強制的に修正されている」という、コンパイラからの賞賛のサインなのだから。
今すぐ、クラスのプロパティを見直せ。`public` の前に `readonly` を置く勇気こそが、PHPの混沌をHackの秩序へと昇華させる唯一の道である。