やあ。Hackの深淵へようこそ。私はHHVMの心臓部を長年見つめてきたアーキテクトだ。
PHPからHackへの移行を考えている君たちが直面する最大の壁、それは「PHP的な『継承』という名のスパゲッティ」をどう解きほぐすかだ。PHPでは何でも継承で解決しようとするが、Hackの静的型システムの前では、その設計はすぐに「型エラーの迷宮」となる。
今日は、インターフェースとトレイトを武器に、堅牢で疎結合なHackコードを設計する極意を伝授しよう。ここをクリアすれば、君のコードは実行時エラーから解放され、型チェッカーが守護神となってくれるはずだ。
—
1. なぜPHPの「継承」はHackで牙を剥くのか
PHPの継承は、しばしば「is-a（～である）」の関係を無視して、単なる「コードの再利用」のために使われる。これが悲劇の始まりだ。
- 脆弱な基底クラス: 基底クラスを一行変えただけで、意図しない子クラスまで壊れる。
- 多重継承の不在: PHPは多重継承を許さないため、無理やり巨大な継承ツリーを作り上げる。
Hackでは、「インターフェースで契約を交わし、トレイトで機能を実装する」という原則を徹底する。これが脱・継承地獄の第一歩だ。
—
2. 「契約」としてのインターフェース：何を約束するか
インターフェースは、「何ができるか」を宣言するものだ。これには実装を持たせてはいけない。
namespace App;
// 「通知を送れる」という能力の定義
interface Notifier {
public function send(string $message): Awaitable
}
// 具体的な実装を気にせず、この型を要求するだけでいい
class NotificationService {
public function __construct(private Notifier $notifier) {}
public async function notifyUser(string $msg): Awaitable
await $this->notifier->send($msg);
}
}
ここが重要: `NotificationService`は、具体的なクラスを知らない。ただ「`Notifier`という契約を守る何か」が来ることだけを知っている。これが疎結合の正体だ。
—
3. 「機能の注入」としてのトレイト：どう振る舞うか
トレイトは「コードの再利用」に使われるが、乱用は厳禁だ。トレイトには「状態（プロパティ）」を持たせず、特定のメソッドを注入するための「魔法のスパイス」として扱うのがHack流だ。
trait LoggerTrait {
// requires で使用可能なクラスを制約する
// これにより、トレイトが特定の環境でしか動かないことを保証する
require extends BaseService;
protected function log(string $msg): void {
// ログ出力処理
\error_log(“[LOG]: ” . $msg);
}
}
class UserProcessor extends BaseService {
use LoggerTrait; // 機能を注入
public function process(): void {
$this->log(“処理開始”);
}
}
Hackの知見: `require extends`や`require implements`を使うことで、トレイトが「どのクラスの、どの文脈で使われるべきか」を型システムで縛ることができる。これこそが、PHPにはないHackの厳格さだ。
—
4. 陥りやすい罠：静的型システムの「厳しい忠告」
Hackの型チェッカー（HHVM Typechecker）は、君がPHPでやってきた「なんとなく動く」を許さない。
- 罠1: トレイト内での未定義プロパティ使用
- エラー: 「プロパティが存在しません」。
- 解決策: トレイトに`require extends`で親クラスを明示するか、インターフェースでプロパティのゲッターを強制せよ。
- 罠2: インターフェースのメソッド実装漏れ
- エラー: 「クラスはインターフェースを完全に実装していません」。
- 解決策: これは君の設計ミスではなく、型チェッカーが「君のコードが壊れる未来」を予言して止めてくれているのだ。感謝しよう。
—
まとめ：Hackを掌握するということ
PHPから移行する際、最初は「面倒だ」と感じるかもしれない。しかし、型チェックが通ったコードは、実行時に壊れない。
1. インターフェースで「役割」を定義し、型ヒントを汚さない。
2. トレイトは`require`を使って、適用範囲を厳格に制限する。
3. 継承は「意味のある階層」のみに使い、コード共有には使わない。
継承地獄という名の迷宮から抜け出し、Hackの静的型システムという「強固な地図」を手に入れよう。君が書くコードは、もっとエレガントになれるはずだ。
何か詰まったら、いつでも聞いてくれ。HHVMのアーキテクチャの奥底から、君のコードが輝くための助言をしよう。ハッピー・ハッキング！