Hackの世界へようこそ！Type Constantsで実現する「一歩先」の極上DI設計
皆さん、こんにちは！Hackの世界へようこそ。
日々の開発、楽しんでいますか？
「PHPの書きやすさは好きだけど、もっと堅牢で、バグを未然に防げるシステムを作りたい！」
そう思ってHackに挑戦し始めた方も多いのではないでしょうか。
Hackの最大の武器は、なんといっても厳格な静的型システム（Strict Mode）と、それを支える超高速な型チェッカー `hh_client`、そして実行エンジンであるHHVM（HipHop Virtual Machine）の強力なタッグです。
今回は、Hackを学び始めたあなたに、他の言語（PHPやJava、TypeScriptなど）から一歩抜け出した「Hackならではの超強力な機能」をご紹介します。それが『Type Constants（型定数）』です。
これを使うと、依存性の注入（DI: Dependency Injection）を行う際に、「具象クラスに一切依存しない、100%型安全なインターフェース」が驚くほどきれいに書けるようになります。
「ここをクリアすれば、Hackの基本はバッチリマスターできますよ」と言えるほど、Hackの設計思想が詰まった重要なテーマです。先輩エンジニアと一緒に、一歩ずつ紐解いていきましょう！
—
1. そもそも「Type Constants（型定数）」ってなに？
まずはイメージから掴んでいきましょう。
通常のクラス定数（`const`）は「値」を固定するものですよね。例えば、`const int MAX_RETRY = 3;` のような形です。
一方、HackのType Constants（型定数）は、値ではなく「型」を定数として定義するものです。
分かりやすく図解風に表現すると、次のようなイメージになります。
【一般的なインターフェース】
「このメソッド（関数）を実装してね！」という「振る舞い」の約束。
【Type Constants を使ったインターフェース】
「振る舞い」の約束に加えて、
「このクラスで扱う『主役の型（パズルのピース）』はこれだよ！」
という「型の穴あきスペース」をセットで定義しておく。
インターフェース側では「具体的な型はまだ決めていないけれど、とにかく `TData` という名前の型を扱うよ」とだけ宣言しておきます。
そして、そのインターフェースを実装する（具象クラスを作る）段階で、「今回の `TData` は `User` クラスね！」「こっちは `Product` クラスね！」と、パズルのピースをカチッとはめ込むように具体化するのです。
—
2. なぜDI（依存性の注入）で型定数が必要になるの？
「それって、ジェネリクス（Generics: `
確かにジェネリクスでも似たようなことはできます。しかし、DI（依存性の注入）のパターンにおいて、ジェネリクスを多用すると「型パラメータの引き回し地獄」に陥ることがあります。
例えば、クラスの定義が `class UserManager
ここで「Type Constants」を使うと、インターフェースの型自体はスッキリしたまま、内部に型をカプセル化（隠蔽）できます。
具象クラスに依存しないDIの理想像
1. インターフェース（約束事）：
「私はデータベースから何かを読み込むよ。読み込むものの型は `TRecord` ね」
2. DIコンテナ（部品の組み立て屋）：
「はい、ユーザー情報を読み込むクラス（`TRecord` = `User`）を注入するよ」
3. コントローラ（使う人）：
「具体的な実装クラスのことは知らないけれど、受け取ったデータが `User` 型であることは、型チェッカーが100%保証してくれているから安心して使える！」
これを、Hackではどう書くのか、実際のコードを見てみましょう！
—
3. 【実践】型定数を用いたDIのコード例
それでは、具体的なコードを書いてみましょう。
ここでは「任意のデータを保存・取得するリポジトリ（Repository）」をテーマにします。
まずは、厳格モード（`<
<
// 1. 保存するデータの「型」となるシンプルなクラスを定義します
class User {
public function __construct(
public int $id,
public string $name,
) {}
}
// 2. インターフェースの定義（ここに型定数を仕込みます！）
interface RepositoryInterface {
// 「abstract const type」を使って、具体的な型は実装クラスに委ねます。
// ただし、「as object」と書くことで、オブジェクト型しか入らないように制約（Constraint）を設けます。
abstract const type TModel as object;
// メソッドの引数や戻り値に、上で定義した「this::TModel」を使用します！
public function find(int $id): ?this::TModel;
public function save(this::TModel $model): void;
}
// 3. 具象クラス（実装）の定義
// ここで「TModel」の正体を「User」であると具体化します。
class UserRepository implements RepositoryInterface {
// パズルのピースをはめ込む！
const type TModel = User;
private dict
// 実装メソッドでは、具体的な「User」型として扱えます
public function find(int $id): ?User {
return idx($this::$storage, $id);
}
public function save(User $model): void {
$this::$storage[$model->id] = $model;
}
}
// 4. DI（依存性の注入）を利用するユースケース（コントローラなど）
class UserService {
// 特定の「UserRepository」に依存せず、「RepositoryInterface」に依存させます。
// これこそがDIの真髄です！
public function __construct(
private RepositoryInterface $repository,
) {}
public function getUserWelcomeMessage(int $userId): string {
// 戻り値の型は、静的型チェッカーによって正しく解決されます
$user = $this::$repository->find($userId);
if ($user is User) { // Hackの強力な型洗練（Type Refinement）
return “ようこそ、{$user->name}さん！”;
}
return “ユーザーが見つかりませんでした。”;
}
}
コードの意味を優しく解説
- `abstract const type TModel as object;`
ここが最大のポイントです！「このインターフェースを実装するクラスは、必ず `TModel` という型定数を定義してね。ただし、それは `object`（またはそのサブクラス）に限るよ」という強力なルールを課しています。
- `this::TModel`
「自分自身の実装クラス（`this`）で定義されている `TModel` の型」を指します。
これによって、`UserRepository` においては、`find` メソッドの戻り値が自動的に `?User` になり、`save` の引数が `User` になります。
—
4. なぜこれが凄いの？ HHVMの裏側の話
少しだけ、HHVMのアーキテクチャの裏側を覗いてみましょう。
他の言語（例えばTypeScript）では、コンパイルすると型情報はすべて消えてしまいます（型消去）。
しかし、HackとHHVMのタッグは違います。
1. 静的検証（`hh_client`）:
あなたがコードを保存した瞬間に、バックグラウンドで動いている型チェッカーが「`UserRepository` の `save` メソッドの引数はちゃんと `User` になっているか？」「`as object` の制約を満たしているか？」をミリ秒単位で超高速にチェックします。
2. HHVM（ランタイム）での最適化:
HHVMのJIT（Just-In-Time）コンパイラは、この型定数の情報をメタデータとして保持しています。実行時に無駄な型チェックのオーバーヘッドを発生させることなく、厳格に最適化された高速なマシンコードを生成するのです。
つまり、「開発時はめちゃくちゃ安全に守られ、実行時は一切の無駄なく爆速で動く」という、エンジニアにとって理想の環境が実現しています。
—
5. 初学者が陥りやすい！2つの落とし穴と解決策
素晴らしい機能ですが、最初に少しだけつまづきやすいポイントがあります。あらかじめ知っておけば、エラー画面を見ても焦る必要はありませんよ！
落とし穴①：`as` 制約（Constraint）を忘れてしまう
もし、インターフェース側で以下のように書いてしまうと…
// ✕ NGな例
interface RepositoryInterface {
abstract const type TModel; // 「as」による制約がない！
}
型チェッカーは「`TModel` には何が入るか分からない（`mixed`かもしれない）」と判断します。
その結果、使う側で「`$user->name`」のようにプロパティにアクセスしようとした際、「`mixed` 型には `name` というプロパティはありません！」というエラーになってしまいます。
- 対策: 必ず `as object` や `as MyBaseClass` のように、利用可能な最小限の型境界（制約）を設けるようにしましょう。
落とし穴②：具象クラスで `const type` の定義を忘れる
インターフェースを実装したのに、型定数の実体を定義し忘れると、型チェッカーから怒られます。
Class UserRepository does not implement all members of RepositoryInterface…
`TModel` is expected here.
- 対策: `implements` したら、メソッドの実装と同じように、必ずクラスの先頭で `const type TModel = 具象型;` を宣言する癖をつけましょう。
—
まとめ
お疲れ様でした！
今回は、Hackの強力な武器である「Type Constants（型定数）」を使った、安全で洗練されたDIの設計方法を学びました。
今回のポイントを3行でまとめます。
1. Type Constants は、インターフェースに「型のプレースホルダー」を用意する技術。
2. ジェネリクスのように型パラメータを引き回さずに、カプセル化された綺麗なDIが作れる。
3. `hh_client` と `HHVM` のおかげで、開発時の安全性と実行時の超高速性が両立する。
このパターンをマスターすれば、大規模な開発でも「どこかで型が壊れてランタイムエラーになる」という恐怖から完全に解放されます。
「ここをクリアすれば、Hackの基本はバッチリマスターできますよ！」
自信を持って、あなたのプロジェクトにも型定数を取り入れてみてくださいね。
もし分からないことがあれば、いつでも周りのドキュメントやコミュニティを頼ってください。ハッピーハッキング！