こんにちは。Hackの深淵へようこそ。
HHVMのJITコンパイルの熱量と、型チェッカー（HackC/HHCC）がコードを解析する際の静寂を感じる日々を送っている皆さんに、今日は少しだけ「設計の美学」について話をしようと思います。
Hackの真骨頂は、単なる型付けではありません。「実行時の動的な振る舞いを、コンパイル時にどれだけ静的に封じ込めるか」という点にあります。今日はその中でも、DI（依存性の注入）を型安全の極致へと引き上げる『Type Constants（型定数）』を用いた設計パターンを紐解いていきましょう。
—
1. なぜ「型定数」が必要なのか？
一般的なインターフェース設計では、メソッドの引数や戻り値に具体的な型を直接指定しますよね。しかし、それだとDIコンテナやファクトリを組む際に、「どの実装がどの型を扱うのか」を外部から静的に追跡するのが難しくなります。
「具象クラスに依存せず、型情報そのものをインターフェースの一部にする」。
これがHackのType Constantsが提供する魔法です。
概念図：型定数による型情報のカプセル化
[ インターフェース ]
|– type TResult; <-- 型情報の「穴」を用意する
|-- public function execute(): this::TResult;
[ 具象クラス ]
|-- type TResult = int; <-- 具体的な型を注入する
|-- public function execute(): int { return 42; }
このように、型を「値」ではなく「定義」としてインターフェースに持たせることで、コンパイラは「このクラスが何を返すか」を厳密に把握できるようになります。
---
2. 実践：型安全なDIコンテナの設計
では、実際にコードを見てみましょう。あるタスクを実行し、その結果を返すインターフェースを例にします。
namespace App;
interface ITask {
// ここがポイント！抽象的な型定数を定義する
abstract const type TResult;
public function run(): this::TResult;
}
// 具体的な実装クラス
class StringTask implements ITask {
// 型定数に具体的な型を代入（束縛）する
const type TResult = string;
public function run(): string {
return “Hackの型システムは最強です”;
}
}
class IntTask implements ITask {
const type TResult = int;
public function run(): int {
return 1024;
}
}
このコードの何が凄いのか？
もし `StringTask` の `run()` メソッドの戻り値を `int` に書き換えたらどうなるでしょうか？
Hackの型チェッカーは瞬時に「`this::TResult` が `string` と宣言されているのに、戻り値が `int` と不整合である」と警告を出します。実行時エラーになる前に、開発者のIDE上でエラーが光る。これが厳格な静的型付けの恩恵です。
—
3. 陥りやすい「落とし穴」と対策
初心者がよくやってしまうミスをいくつか紹介します。ここをクリアすれば、もう中級者の入り口です。
ミス1：`this::TResult` の指定忘れ
インターフェースの戻り値型に `mixed` や `dynamic` を使ってしまうケースです。これでは型定数の意味がありません。必ず `this::TResult` と記述し、「インターフェースが持つ型定数に依存する」という契約を交わしてください。
ミス2：具象クラスでの型定数宣言漏れ
`const type TResult = …` を書き忘れると、Hackは「抽象メソッドが実装されていない」と判断します。型定数もクラスメンバーの一種であり、インターフェースの契約の一部であることを忘れないでください。
ミス3：DIコンテナでの型解決の複雑化
DIコンテナでインスタンスを取り出す際、`ITask` として受け取ってしまうと `TResult` の型情報が失われます。
解決策: 可能な限りジェネリクスを併用してください。
// ジェネリクスを使ったDIの口
function executeTask
return $task->run();
}
—
4. チーフアーキテクトからのアドバイス
Hackにおける型定数は、単なる便利な機能ではありません。「コードに書かれた型定義が、実行時のデータ構造と1対1で対応する」ことを保証するための強力な武器です。
特に大規模なシステムでは、誰がどのインターフェースを実装したかを追いかけるのは困難です。しかし、型定数を使って設計しておけば、コンパイラが「このクラスは `int` を返すはずだ」という約束を強制的に守らせてくれます。
「ここをクリアすれば、Hackの基本はバッチリマスターできますよ」
最初は複雑に感じるかもしれません。しかし、この抽象化を一度使いこなせれば、あなたが書くコードの堅牢性は劇的に向上します。型チェッカーの厳しい指摘を「邪魔なもの」ではなく「信頼できる相棒」として捉えられるようになった時、あなたは真のHackエンジニアへの階段を登っているはずです。
さあ、次はどんな複雑なインターフェースを、この美しい型システムで飼い慣らしてみますか？