こんにちは！Hack言語の世界へようこそ。世界最高峰のHHVMとHackの内部構造を知り尽くした私が、今日も熱い知見をお届けしますね。
今回は、他の言語（PHPやJavaなど）からHackに入ってきた開発者が「おっ、これぞHackの真骨頂だ！」と膝を打つ高度なトピック、「Type Constants（型定数）を用いたインターフェース設計と、具象クラスに依存しない型安全なDI（依存性注入）」について徹底解説します。
「インターフェースの中に型を持たせる？」と聞くと難しく感じるかもしれませんが、ここをクリアすれば、あなたの書くコードの安全性と美しさは一気に次のステージへ引き上げられますよ。さあ、一緒に本質を紐解いていきましょう！
—
1. なぜ「型定数（Type Constants）」が必要なのか？
大規模なアプリケーションを設計していると、次のようなジレンマにぶつかったことはありませんか？
> 「データプロバイダのインターフェースを作ったけれど、取得するデータの型が具象クラスごとに違う。でも、使う側（クライアント）のコードは特定の具象クラスに依存させたくない……！」
通常のジェネリクス（Generics）や、単なる `mixed` や抽象メソッドを使っても解決できますが、ジェネリクスがクラス定義全体に伝播してコードが複雑化したり、`mixed` で型安全性を捨てざるを得なくなったりしますよね。
ここで登場するのが、Hackの厳格な静的型システム（Strict Mode）の強力な武器である Type Constants です。インターフェースの中に「このクラスが扱う型はこれだ」というラベル（型定数）を埋め込むことで、インターフェースと具象クラスの契約を型レベルで完全に同期させることができます。
ざっくりイメージ図
[ Client (利用側) ]
│
▼ 依存するのは抽象のみ
[ DataSourceInterface ] ──(持っている)──> [ abstract const T as Model ]
▲
│ 実装 (implements)
┌─────┴─────┐
│ │
[UserRepo] [ProductRepo]
(T = User) (T = Product)
クライアントは `DataSourceInterface` だけを見ていればよく、中でどんなモデルが扱われているかは、型定数 `T` が自動的に担保してくれます。HHVMの型チェッカー（hh_client）がコンパイル時にこれらを厳密に検証するため、実行時エラーの心配はゼロになりますよ。
—
2. 実装コードで学ぶ：型安全なDIの構築
それでは、実際のHackコード（Strict Mode）でこのパターンを見ていきましょう。開発現場でそのまま脳内トレースできるように、丁寧なコメントをつけています。
<
namespace HackExpert\DI;
/
- 1. データモデルのベースとなるインターフェース
/
interface ModelInterface {
public function getId(): int;
}
/
- 2. 具象モデル：ユーザー
<<__ConsistentConstruct>>
/
class User implements ModelInterface {
public function __construct(protected int $id, protected string $name) {}
public function getId(): int { return $this->id; }
public function getName(): string { return $this->name; }
}
/
- 3. 具象モデル：プロダクト
/
class Product implements ModelInterface {
public function __construct(protected int $id, protected string $title) {}
public function getId(): int { return $this->id; }
public function getName(): string { return $this->title; }
}
/
- 4. 【核心】Type Constantsを持つリポジトリ・インターフェース
/
interface RepositoryInterface {
// ここが型定数！ このリポジトリが扱うモデルの型を定義する
// 「as ModelInterface」と制約（Constraint）をかけることで、安全性を担保
abstract const type T as ModelInterface;
public function findById(int $id): ?this::T;
public function save(this::T $model): void;
}
/
- 5. ユーザーリポジトリ（具体的な実装）
/
class UserRepository implements RepositoryInterface {
// 型定数 T に具体的なクラスをバインドする
const type T = User;
public function findById(int $id): ?User {
// 実際はDBアクセス等が入る（ここではダミー）
return new User($id, “Alice”);
}
public function save(User $model): void {
// 保存処理
}
}
/
- 6. クライアントコード：具象クラスを知らずに型安全に動作する
/
class UserManager {
// コンストラクタインジェクション：依存するのはあくまでインターフェース
public function __construct(private RepositoryInterface $userRepo) {}
public function processUser(int $id): void {
// ここで返ってくる値の型は、UserRepositoryの `const type T = User` を通して
// HHVMの型チェッカーが完璧に「?User」であると静的解決している！
$user = $this->userRepo.findById($id);
if ($user !== null) {
// IDEの補完もバッチリ効き、getName() が安全に呼び出せる
\echo “Processing user: ” . $user->getName() . “\n”;
}
}
}
このコードの何が凄いのか？
`RepositoryInterface` は、自分が扱う具体的なデータ型（`User` なのか `Product` なのか）を直接知りません。知っているのは「何らかの `ModelInterface` を実装した型（`T`）を扱う」ということだけです。
しかし、`UserRepository` が `const type T = User;` と宣言した瞬間、HHVMの型チェッカーは `findById` の戻り値や `save` の引数の型を自動的に `User` に置き換えて検証します。これにより、「インターフェースの抽象度を保ったまま、具象クラス固有の厳格な型安全性を維持する」という、極めて高度なDIが成立するのです。
—
3. 陥りやすい文法エラーと罠
Hackの厳格な静立体は非常にスマートですが、初学者がハマりがちなポイントがいくつかあります。ここで先回りしてクリアしておきましょう。
罠1: 型定数の制約（Constraint）を忘れる
型定数を定義する際、`abstract const type T;` のように制約を付け忘れると、どんな型でも許容されてしまい、ポリモーフィズムの恩恵が薄れます。必ず `as ModelInterface` のように上位の型制約を明示しましょう。
罠2: クライアント側で具象メソッドを直接叩こうとする
// ❌ NGな例
public function doSomething(RepositoryInterface $repo): void {
// $repoはインターフェースなので、UserRepository特有のメソッド（例えばgetSpamScore()など）は直接呼べない
// 型チェッカーに「そんなメソッド知らん」と怒られます。
}
解決策: インターフェースの契約（Contract）の範囲内で設計するか、必要であれば別の型定数やメソッドをインターフェース側に追加します。具象に頼らないのがDIの鉄則です。
—
まとめ
今回は、Type Constantsを用いたインターフェース設計と型安全なDIについて解説しました。
- Type Constants（型定数）を使うことで、インターフェース内に柔軟な型定義を埋め込める。
- 具象クラス側で具体的な型をバインドすることで、インターフェースの抽象性を保ったまま完全な静的型安全性を実現できる。
- HHVMの型チェッカーがコンパイル時にすべてを検証するため、実行時バグを劇的に減らせる。
ここをマスターすれば、あなたのHackコードは単なる「PHPの親戚」ではなく、大規模システムを堅牢に支える真のエンジニアリング成果物へと昇華されます。
難しいと感じた部分は何度でもコードを読み返し、ご自身の開発環境で動かしてみてくださいね。ここをクリアすれば、Hackの基本はバッチリマスターできますよ！それでは、次の極限の知見でお会いしましょう。