【入門編】【中級者向け】Hackにおける不変性（Immutability）の強制：readonlyプロパティと不変コレクションの活用 – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

Hackの「守り」を極める：readonlyと不変コレクションでバグを根絶する設計術

皆さん、こんにちは。HHVMの深淵を覗き込み、Hackの静的型システムの美しさに魅了されたエンジニアの皆さん、ようこそ。

Hackを使っている最大のメリットは何だと思いますか？それは、「実行時に発生しうる『想定外』を、ビルド時に型チェッカーが全て叩き潰してくれる」という圧倒的な安心感です。

今日は、その安心感をさらに一段階上のレベルへ引き上げる「不変性（Immutability）」の極意を伝授します。副作用を制御できないコードは、いずれ巨大な技術的負債となります。readonlyプロパティと不変コレクションを使いこなし、堅牢なアーキテクチャを構築しましょう。

—

1. なぜ「不変性」が重要なのか？

プログラミングにおいて、バグの温床となるのは常に「予期せぬ状態の変化」です。ある関数に渡したはずのオブジェクトが、いつの間にか別の場所で書き換えられていた……そんな経験はありませんか？

Hackの`strict`モードにおいて、データを「不変」にすることは、「この値は一生変わらない」という契約をコンパイラと結ぶことを意味します。これによって、コードの推論が劇的に楽になり、並行処理や複雑なロジックでもバグが入り込む余地がなくなるのです。

—

2. readonlyプロパティ：データの「封印」

Hackにおいて、プロパティを「一度決めたら二度と変えない」と宣言するのが `readonly` 修飾子です。

<<__ConsistentConstruct>>
class UserProfile {
// コンストラクタで初期化されたら、二度と代入できない「封印」
public readonly string $username;
public readonly int $userId;

public function __construct(string $username, int $userId) {
$this->username = $username;
$this->userId = $userId;
}
}

$user = new UserProfile(“Alice”, 1);
// $user->username = “Bob”; // ここでHack型チェッカーがエラーを吐き出します！

陥りやすい罠：なぜエラーになるのか？

初心者がよくやる間違いは、メソッド内で値を更新しようとすることです。
`readonly`が付与されたプロパティは、「コンストラクタ以外での代入」を型チェッカーが物理的に禁止します。これは単なる規約ではなく、HHVMのメモリ管理レイヤーで「このアドレスは読み取り専用である」とマークされるような厳格さを持っています。もし書き換えたい場合は、新しいインスタンスを生成する「コピー」の考え方を持つ必要があります。

—

3. 不変コレクション：安全なデータ構造の管理

配列やマップを扱う際、つい `vec` や `dict` を使っていませんか？これらは可変（Mutable）です。安全性を追求するなら、不変コレクション（Immuntable Collections）である `immvec` や `immdict` を使いましょう。

use namespace HH\Lib\Vec;

function processData(immvec $items): void {
// $itemsの内容は決して変更できない。
// 追加したい場合は、新しい不変コレクションを生成する
$newItems = Vec\concat($items, vec[4, 5]);

// $items自体はそのまま。副作用ゼロ！
}

不変コレクションの最大の利点は、「参照の共有」が安全であることです。複数の関数で同じデータを使い回しても、誰かが中身を破壊する心配がありません。これは、マルチスレッドや非同期処理において、メモリ競合を理論上ゼロにするための強力な武器になります。

—

4. 実践的な設計パターン：コピーオンライト

「不変だと更新が面倒じゃない？」と感じたあなた、鋭いですね。その時は「コピーを返すメソッド」を実装するパターンが定石です。

class Config {
public function __construct(public readonly int $timeout) {}

// 更新したいときは、新しいインスタンスを生成して返す
public function withTimeout(int $newTimeout): this {
return new self($newTimeout);
}
}

この手法を使えば、状態を破壊することなく、安全に新しい状態を作り出せます。Reactなどのフロントエンドフレームワークで主流の、関数型プログラミング的なアプローチです。

—

まとめ：ここをクリアすれば、あなたはもうHackマスターです

今回紹介した技術の本質は以下の3点に集約されます。

1. `readonly`でデータのライフサイクルを封印する：意図しない代入を型チェッカーに検知させる。
2. 不変コレクションで副作用を遮断する：データの破壊を防ぎ、予測可能なコードを書く。
3. 状態変更には「新しいインスタンスを生成する」手法を使う：不変性を保ったまま状態を更新する。

最初は「面倒だな」と感じるかもしれません。しかし、大規模なアプリケーションになればなるほど、この「不変性」という規律が、深夜のデバッグ作業を救う最強の盾になります。

Hackは、あなたの書きたいコードを制限するための言語ではありません。あなたのコードが「最高品質」であることを保証するための相棒なのです。

さあ、自信を持って型チェッカーと対話してください。あなたのコードは、もっと強くなれるはずです。応援していますよ！