Hackの型システムを掌握せよ：共変・反変が導く「型安全」の深淵
Hackのコードベースを眺めていて、`HHVM1002`（型不一致）エラーに頭を抱えたことはないか？ 「なぜこのサブタイプ関係が通らないのか」という疑問は、Hackの静的型チェッカーが単なるお飾りではなく、メモリ安全性と実行時の一貫性を保証するための厳格な門番であることの証左だ。
今日は、ジェネリクスにおける共変（Covariance）と反変（Contravariance）という、Hackの設計者が最も心を砕く概念について深掘りする。これらを理解せずして、堅牢なコンポーネント設計は不可能だ。
—
1. なぜ「代入」は失敗するのか？：型理論の境界線
ジェネリクスにおける型関係は、直感に反することがある。例えば、`Cat` が `Animal` を継承しているからといって、`Vector
もしこれが許されたらどうなるか？
Vector
Vector
animals[] = new Dog(); // Vector
実行時に `cats` の中に `Dog` が混入し、メモリレイアウトが崩壊する。Hackの型チェッカーは、この「読み書きの矛盾」をコンパイル時に完全に封殺する。
2. 賢い設計のための3つのルール
Hackにおいて、ジェネリクスの変位（Variance）を制御するには以下の指針に従え。
① 共変 (Covariance): `+T`
「読み取り専用」のコンテナやプロデューサーに使う。`Vector` や `ImmVector` のように、値を取り出すだけなら共変は安全だ。
interface Readable<+T> {
public function get(): T;
}
② 反変 (Contravariance): `-T`
「書き込み専用」のコンシューマーやコールバックに使う。メソッドの引数として型を受け取る場合、型を広げることが安全につながる。
interface Consumer<-T> {
public function consume(T $item): void;
}
③ 不変 (Invariant): `T`（デフォルト）
読み書き両方を行う場合。最も安全だが、サブタイプ関係は一切認められない。
—
3. 実践：非同期API連携で学ぶ「美しい設計」
実際のWeb開発で、複数のAPIクライアントから得たレスポンスを処理するケースを想定しよう。型安全を保ちつつ、柔軟なインターフェースを設計する例だ。
<<__ConsistentConstruct>>
abstract class APIResponse {}
class UserResponse extends APIResponse { public string $name = “Alice”; }
// データの読み取り専用インターフェース（共変）
interface IReader<+T> {
public function fetch(): T;
}
// データの書き込み専用インターフェース（反変）
interface ILogger<-T> {
public function log(T $data): void;
}
// 具体的な実装
class UserReader implements IReader
public function fetch(): UserResponse { return new UserResponse(); }
}
class BaseLogger implements ILogger
public function log(APIResponse $data): void { / ログ処理 / }
}
// クライアントコード
function process(IReader
$data = $reader->fetch();
$logger->log($data);
}
// ここで共変・反変が生きる
// IReader
// ILogger
process(new UserReader(), new BaseLogger());
なぜこの設計が優れているのか
- 疎結合: `process` 関数は具体的な型を知る必要がない。
- 拡張性: `UserResponse` が増えても `BaseLogger` はそのまま使い回せる。
- 安全性: 型チェッカーが「不適切な代入」を事前に検知するため、実行時の `instanceof` チェック地獄から解放される。
—
4. チーフアーキテクトからの助言
多くのエンジニアは「とりあえず `mixed` や `dynamic` に逃げる」という悪癖を持っているが、それは型システムの恩恵を自らドブに捨てる行為だ。
- パフォーマンス: Hackは型が確定しているほど、HHVMのJITコンパイラが最適化をかけやすい。`dynamic` が混ざると、実行時に型チェックのオーバーヘッド（Guard）が挿入され、パフォーマンスは確実に低下する。
- 保守性: `+T` や `-T` を明示的に設計に組み込むことは、「このクラスはデータを運ぶだけか？ それとも処理するだけか？」という設計意図をコードに刻み込むことと同義だ。
コードレビューをする際は、単に「動くか」ではなく「ジェネリクスが適切に定義されているか」を見よ。それが、システムを数年先まで堅牢に保つための唯一の道だ。
Hackの型システムは、あなたの敵ではない。言語の限界を突き詰めるための、最強の武器なのだ。使いこなせ。