【テクニカル・上級編】Hackの『Contravariance（反変）』と『Covariance（共変）』：ジェネリクスにおける継承のルール – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル

ここで多くのエンジニアが躓くのは、「読み取り専用（Producer）」と「書き込み専用（Consumer）」の役割を混同するからだ。

共変（Covariance）：``

「出力」のみを行う型は、サブタイプ関係を保持できる。

interface Producer<+T> {
public function produce(): T;
}

`Producer` は `Producer` として扱える。なぜか？ `Animal` を期待する場所に `Dog` を返却しても、受け取り側は `Animal` として安全に扱えるからだ。これはメモリレイアウト上のポインタの適合性が保証されるため、HHVMはこれを最適化し、直接的なキャストを許容する。

反変（Contravariance）：``

「入力」のみを行う型は、サブタイプ関係が逆転する。

interface Consumer<-T> {
public function consume(T $item): void;
}

`Consumer` は `Consumer` として扱える。なぜなら、`Dog` しか受け付けない場所に `Animal` を投げ込もうとするのは危険だが、`Animal` を受け取れる機械は、当然ながら `Dog` も確実に処理できるからだ。

—

2. 不変（Invariance）の防壁：メモリ破壊を防ぐ極限のルール

Hackにおいて、明示的に変位を指定しない場合、ジェネリクスは `Invariant`（不変）となる。これは最も安全だが、最も制約が強い。

class Box {
private T $item;
public function __construct(T $item) { $this->item = $item; }
public function get(): T { return $this->item; }
public function set(T $item): void { $this->item = $item; }
}

この `Box` に `<<__Covariant>>` を付与しようとすると、コンパイラはエラーを吐く。なぜか？
もし `Box` を `Box` に代入できれば、その後に `set(new Cat())` を呼ぶことが可能になり、メモリ上の `Box` の領域に `Cat` が混入する。これは型安全性の崩壊であり、ランタイムのセグメンテーションフォールトを招く最悪のシナリオだ。

—

3. HHVMアーキテクチャから見る「型推論」の代償

HHVMの型チェッカーは、`Hack Strict Mode` において、以下のルールを厳格に適用する。

1. 共変位置（Covariant Position）: 関数の戻り値、イミュータブルなプロパティ。
2. 反変位置（Contravariant Position）: 関数の引数。

君がもし複雑なジェネリクス階層を設計する際、`T` を引数と戻り値の両方で使っているなら、それは不変でなければならない。もしパフォーマンスを追求し、型キャストを多用してこの制約を回避しようとすれば、HHVMのJIT最適化パスが効かなくなり、`Type-Checking Barrier` がランタイムに挿入され、実行速度は数倍から数十倍劣化する。

実践的なアーキテクチャ例

以下は、`Collection` インターフェースを定義する際の、最も効率的かつ安全な設計パターンだ。

// 読み込み専用のインターフェースは共変にして、柔軟性を最大化する
interface ReadableCollection<+T> {
public function get(int $index): T;
}

// 書き込み専用のインターフェースは反変にして、汎用性を最大化する
interface WritableCollection<-T> {
public function add(T $item): void;
}

// 具象クラスは両方を実装するが、ジェネリクスには変位を付けない（不変）
class MyCollection implements ReadableCollection, WritableCollection {
private vec $items = vec[];
public function get(int $index): T { return $this->items[$index]; }
public function add(T $item): void { $this->items[] = $item; }
}

—

結論：型を「支配」するということ

Hackの型システムは、単なるコードの補助ツールではない。それはメモリ配置をコンパイラに宣言する契約（Contract）である。

• `+T`（共変）は「私はこれ以上変化しないデータを提供する」という約束。
• `-T`（反変）は「私はどんなデータも受け入れて処理できる」という約束。

この約束を深く理解し、適材適所で変位を使い分けること。それが、HHVMという超高性能ランタイムのポテンシャルを100%引き出し、かつ堅牢なシステムを構築するための唯一の道だ。

型を怖がる必要はない。型を支配せよ。それが伝説的なエンジニアへの第一歩だ。