やあ、Hackの世界へようこそ。私はHHVMの深淵を覗き込み、型システムと格闘し続けてきたアーキテクトだ。
君が今抱えている「PHPのマジックメソッドをどうHackへ持ち込むか」という悩み、実によくわかる。だが、最初にはっきり言っておこう。Hackにおいて、`__get` や `__set` は「型安全という名の城壁」に空いた致命的な風穴だ。
これらを使い続けることは、将来のバグを現在に前借りしているに等しい。今日は、このレガシーな魔術を捨て、Hackの厳格かつ美しい型システムへと昇華させるための極意を伝授しよう。
—
1. なぜ「マジック」はHackで禁忌なのか？
PHPの `__get` や `__set` は、型チェッカーの目を盗む魔法だ。
プロパティが存在するかどうかも、型が正しいかも、実行するまで誰にもわからない。HHVMが最適化をかけようとしても、動的なプロパティ操作のせいで「推論の糸」が途切れてしまう。
Hackの哲学は「実行前にすべてを証明する」ことだ。 予測可能なコードこそが、HHVMのJITコンパイラを最大限に唸らせ、爆速のパフォーマンスを引き出すのだよ。
—
2. マジックメソッドからの脱却：3つのステップ
レガシーなコードをHackの作法に書き換える手順を教えよう。
ステップ1：厳格なプロパティ定義へ
まず、隠蔽された動的プロパティを「明示的なメンバー変数」として宣言する。
Before (PHP):
class User {
private $data = [];
public function __set($name, $value) { $this->data[$name] = $value; }
public function __get($name) { return $this->data[$name]; }
}
After (Hack):
class User {
// 型を明示する。これが「型安全の基盤」だ。
public function __construct(
private string $name,
private int $age,
) {}
// ゲッターは適切に型を返す。
public function getName(): string { return $this->name; }
}
ステップ2：ビルダーパターンによる構築
「可変なオブジェクト」を大量に作るのではなく、ビルダークラスを使って構築する。これにより、未初期化状態（null地獄）を回避できる。
final class UserBuilder {
private ?string $name = null;
private ?int $age = null;
public function setName(string $name): this {
$this->name = $name;
return $this;
}
public function build(): User {
// コンストラクタで最終チェックを行う
return new User(
$this->name ?? throw new Exception(“Name is required”),
$this->age ?? 0,
);
}
}
—
3. 初学者が陥りやすい「文法エラー」の罠
移行中に多くの人がここで躓く。心に留めておいてくれ。
- 「nullable」の扱い:
`?string` と書けば、それは「文字列か、nullか」という型だ。安易に `?` をつけるのではなく、可能な限りデフォルト値を設定して `string` で完結させるのがHack流の美学だ。
- プロパティの初期化忘れ:
Hackのクラスプロパティは、コンストラクタで初期化されるか、あるいは `?` でnullableにしない限り、型チェッカーが容赦なくエラーを吐く。これは「バグを未然に防ぐための警告」だ。ありがたく受け取ろう。
—
4. 移行ロードマップ：明日からできること
いきなり全てを書き換える必要はない。以下の順序で進めるのが最も安全だ。
1. Strictモードの導入: まずは `<
2. DTO (Data Transfer Object) の分離: マジックメソッドを使っているクラスを、まず「ただのデータを入れるだけのクラス（DTO）」に分解する。
3. HSL (Hack Standard Library) の活用: 文字列操作や配列操作を、自前の関数からHSLの `Vec` や `Dict` に置き換える。これで型安全なコレクションが手に入る。
—
最後に：君へのエール
マジックメソッドを捨てることは、一見すると「不自由」になるように感じるかもしれない。だが、それは違う。
「コードが自分の意図通りに動くことを、コンパイラが保証してくれる」 という自由を手に入れるんだ。
HHVMのアーキテクチャは、君が型を厳格に書けば書くほど、その裏で最適化の魔法をかけてくれる。君が型チェッカーと向き合う時間は、そのままユーザーが体験するパフォーマンスの向上に直結するんだ。
ここをクリアすれば、君はもう「PHPを書いていた人」ではなく、「堅牢なシステムを設計するHackエンジニア」だ。
また分からないことがあればいつでも聞きに来てくれ。君のコードが、型で埋め尽くされる美しい日を楽しみにしているよ。