やあ。Hack言語という、ある種「狂気的」なまでに実用性と厳格さを追求した世界へようこそ。
今日は、HHVMの心臓部であるJIT（Just-In-Time）コンパイラが、なぜあなたの書くコードを「高速なマシン語」へと昇華させることができるのか、その秘密のひとつである`readonly`プロパティについて語ろうと思う。
多くの開発者は「`readonly`は値を書き換えさせないためのガード」程度に思っているかもしれない。だが、これは単なる制約ではない。JITコンパイラに対する「最適化の許可証」なんだ。
—
1. なぜ「不変性」がJITを喜ばせるのか？
まず、JITの視点になって考えてみてほしい。君が`$object->value`という値にアクセスする際、JITは裏でこんな疑念を抱いている。
「この値は、次に参照するまでの間に、別のスレッドや別のメソッドによって書き換えられていないか？」
この疑念を晴らすために、JITは「メモリバリア（Memory Barrier）」という重い命令を差し込む必要がある。これはCPUに対して「メモリのキャッシュを一度クリアして、最新の値を読み直せ」と命じる、非常にコストのかかる作業だ。
しかし、君がそのプロパティに`readonly`と明記した瞬間、JITはこう確信する。
「ああ、こいつは一生変わらないのか。なら、一度読んだ値をレジスタにキャッシュし続けても安全だな」
この瞬間、余計なメモリバリアは消え去り、CPUは爆速で演算を開始する。これが、不変性が実行速度に寄与する物理的な理由だ。
—
2. `readonly`の基本：書き方とルール
まずは基本の構文を見てみよう。
<<__ConsistentConstruct>>
class UserProfile {
// readonlyプロパティの宣言
public readonly string $username;
public function __construct(string $username) {
// readonlyはコンストラクタ内でしか初期化できない
$this->username = $username;
}
}
$user = new UserProfile(“HackMaster”);
// $user->username = “NewName”; // ← ここでHackの型チェッカーが激怒する。コンパイルすら通らない。
注意すべき「よくある罠」
初心者が陥りやすいのが、「オブジェクトそのものは`readonly`ではない」という点だ。
class Container {
public readonly MutableVector
}
$c = new Container(vec[1, 2, 3]);
// $c->data = vec[4]; // これはエラー（readonlyなので）
$c->data[] = 4; // これは成功してしまう！
`readonly`は「プロパティ自体が別の参照先を向くこと」を禁じるが、「参照先の中身（ミュータブルなコレクションなど）」まで凍結するわけではない。HHVMの最適化を最大限活かすなら、`readonly`と`ImmVector`のような不変コレクションを組み合わせるのが、真のHack流だ。
—
3. なぜHHVMはこれほどまでに速いのか？（アーキテクチャの視点）
HHVMのJITは、実行中にプロファイル情報を収集する。`readonly`が指定されていると、JITは生成する機械語の中に「このメモリ領域は定数として扱って良い」というフラグを埋め込むことができる。
もし`readonly`がなければ、JITは「万が一書き換えられたらどうしよう？」という保険のために、常にメモリから値をロードし直すコードを生成しなければならない。
イメージ図：
- 通常のプロパティ:
`[メモリロード] -> [値の確認] -> [計算] -> [メモリロード] -> [値の確認] -> [計算]`
- readonlyプロパティ:
`[メモリロード] -> [レジスタに固定] -> [計算] -> [計算] -> [計算]`
この「レジスタへの固定」こそが、大規模なアプリケーションにおいて、ミリ秒単位の差を秒単位の性能差へと変えるんだ。
—
4. 先輩からのアドバイス：守備範囲を狭めよ
Hackの型システムは、君が「これは変わらない」と宣言すればするほど、より強力に君の背中を押してくれる。
1. デフォルトで`readonly`を検討する: クラス設計時、まずはすべて`readonly`にして、「本当に書き換える必要がある箇所だけ外す」というアプローチをとってみてほしい。
2. 型チェッカーを友にする: `readonly`の違反は実行時エラーではなく、コンパイル時エラーだ。これは「本番環境でクラッシュしない」ことを意味する。最強の防具だと思えばいい。
—
まとめ
`readonly`を使うことは、単にコードをきれいに保つためではない。それは、HHVMという巨大なエンジンに対して、「ここは安全だ、全速力で走っていいぞ」と指示を出すことなんだ。
型システムとJITの連携を理解し始めると、Hackはただの言語から、君の意図を完璧にマシン語へ翻訳する「相棒」へと変わる。ここをクリアした君なら、もうHackの深淵に触れる準備はできているよ。
次は、`readonly`をコレクションとどう組み合わせ、型推論をどこまで極限まで追い込めるか……その話はまた別の機会にしよう。ハッピー・ハッキング！