やあ。Hackの深淵へようこそ。
HHVMのJITコンパイラが吐き出すマシンコードの熱量を感じるまで、Hackの本当の力は理解できない。今日は、そんなHackの静的型システムの中でも、特に洗練された武器である「Type Constants（型定数）」を用いた、極めて堅牢なDI（依存注入）コンテナの設計について話そう。
「具象クラスに依存しない」という言葉はよく聞くが、それを型レベルで保証できている言語は実は少ない。Hackならそれができる。君のコードを一段上のレイヤーへ引き上げる旅を始めよう。
—
なぜ「型定数」なのか？
一般的なDIコンテナは、文字列のキーでサービスを解決したり、ランタイムの型チェックに頼りがちだ。だが、Hackの`strict`モードで開発するなら、そんな「実行時エラーの爆弾」は持ち込みたくないはずだ。
Type Constantsは、インターフェース内に「このサービスが具体的にどの型を必要としているか」という情報を埋め込むことができる。これにより、コンパイル時（型チェック時）に依存関係の矛盾を完全に弾き出すことができるんだ。
—
基本構造：インターフェースによる型の契約
まずは、依存関係を定義するインターフェースを見てみよう。ここで肝となるのは、`abstract const type TService` という定義だ。
<<__ConsistentConstruct>>
interface ServiceProvider {
// このインターフェースを実装するクラスは、
// 必ず自分が提供するサービスの型を明示しなければならない
abstract const type TService;
// サービスを提供するメソッド
public function get(): this::TService;
}
この `abstract const type` が、いわば「型レベルのバインディング」だ。これがあるおかげで、継承先で具象型を固定できる。
—
具象クラスへの適用：型安全な依存解決
次に、実際にデータベース接続を管理するようなケースを想定してみよう。
// 具象サービスのインターフェース
interface Database {
public function query(string $sql): string;
}
// 具象実装
class MySQLDatabase implements Database {
public function query(string $sql): string {
return “Query executed: ” . $sql;
}
}
// プロバイダーの実装
class DatabaseProvider implements ServiceProvider {
// ここで TService を具象型として確定させる
const type TService = Database;
public function get(): this::TService {
return new MySQLDatabase();
}
}
この設計が優れている理由
1. 型推論の自動化: `get()` メソッドの戻り値は、`this::TService` として型システムに認識される。呼び出し側は、プロバイダーが何を返すかをいちいち調べる必要がない。
2. 疎結合: 利用側は `DatabaseProvider` が `MySQLDatabase` を返していることなんて知る必要はない。ただ「`Database` 型の何かが来る」ことだけを保証される。
—
現場で陥りやすい罠：ここをクリアすればマスターだ
初心者がよくつまずくポイントは、「`this::TService` をどう扱うか」だ。
1. 「型が一致しない」というエラー
最も多いのは、プロバイダー内の `const type` の指定忘れだ。Hackは非常に厳格なので、インターフェースで定義した `TService` が具象クラスで定義されていないと、型チェッカー（hh_client）が容赦なく警告を出す。
- 解決策: 常に `const type TService = …` を明示すること。型を曖昧にしてはいけない。
2. コンストラクタでの注入と混同しない
DIコンテナ自体を実装する場合、`get()` メソッドの中で `new` するのはアンチパターンになりがちだ。実際の現場では、コンテナ内部でインスタンスをキャッシュする「シングルトン管理」と組み合わせるのが定石だ。
class Container {
private dict
public function register(string $key, ServiceProvider $provider): void {
$this->providers[$key] = $provider;
}
// ここで型安全にサービスを取得する
public function resolve
return $this->providers[$key]->get();
}
}
—
最後に：型を「コードのドキュメント」にする
Hackの静的型システムを使いこなすということは、「実行時に発生しうる失敗を、すべてコンパイル時に記述する」という哲学を身につけることだ。
Type Constants を使ったDIパターンは、最初は少し冗長に見えるかもしれない。しかし、コードベースが100万行を超えたとき、君の書いたこの堅牢な型定義が、誰かのデバッグ時間を何百時間も節約することになる。
Hackの型チェッカーは、君の敵ではない。最強のペアプログラマーだ。この「型による依存の解決」をマスターして、ぜひ揺るぎないアーキテクチャを構築してほしい。
何か不明点があれば、またいつでも聞いてくれ。君のコードがHHVMの上で軽やかに、そして安全に走ることを楽しみにしているよ。