【入門編】Hackの『Constructor Injection』と型安全な依存解決：コンテナ設計の最適解 – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

こんにちは！HHVMの深淵から、Hack言語の魅力をお伝えするチーフアーキテクトの私です。

他の言語（PHPやJavaなど）からHackの世界に飛び込んできた開発者の多くが、まずその厳格さに驚きますよね。「動的言語の柔軟性が恋しいな…」なんて思うこともあるかもしれません。しかし、安心してください。その厳格さこそが、大規模開発を破綻から守る最大の武器なのです。

今回は、Hackの厳格モード（Strict Mode）と型システムを最大限に活かし、「コンストラクタインジェクション」と「型安全な依存解決コンテナ」をどう構築するか、その極意を一緒に紐解いていきましょう。ここをクリアすれば、あなたのHackの基本はバッチリマスターできますよ！

—

1. なぜ「実行時エラー」に怯えるのか？

通常のアプリケーション開発では、オブジェクトの依存関係（どのクラスがどのクラスを必要としているか）の配線を、フレームワークのDIコンテナに「実行時」におまかせしがちです。

しかし、こんな経験はありませんか？

本番デプロイした瞬間に「Class not found」や「Argument Count Error」が起きて冷や汗をかいた
設定ファイル（YAMLやXMLなど）のタイポせいで、起動するまでバグに気づけなかった

実行時エラーは、エンジニアの睡眠時間を削る最大の敵です。
HHVMとHackの型チェッカー（hh_client）が目指すのは、「コードを書いた瞬間（ビルド時・静的解析時）に、バグの芽を完全に摘み取る世界」です。これを依存関係の解決にも持ち込んでみましょう。

—

2. Hackのコンストラクタインジェクション基本の「き」

まずは、厳格モード（`<<____EntryPoint>>` や `hh_strict`）における、最も純粋なコンストラクタインジェクションを見てみます。Hackでは、プロパティの型宣言と初期化をコンストラクタの引数で簡潔に書く「Constructor Property Promotion」が標準です。

namespace HackMaster\DependencyInjection;

interface LoggerInterface {
public function log(string $message): void;
}

class FileLogger implements LoggerInterface {
public function log(string $message): void {
echo “[LOG]: ” . $message . “\n”;
}
}

class UserService {
// コンストラクタインジェクションとプロパティ昇格の組み合わせ
public function __construct(
private LoggerInterface $logger
) {}

public function registerUser(string $name): void {
// 依存しているインターフェースのメソッドを安全に呼び出す
$this->logger->log(“User registered: ” . $name);
}
}

ここでのポイントは、`UserService` は具体的な `FileLogger` ではなく、抽象である `LoggerInterface` にしか依存していない点です。これがテスト容易性と拡張性を生む第一歩ですね。

—

3. 型安全なDIコンテナの設計：実行時ではなく「型」で縛る

では、この依存関係を組み立てる「コンテナ」をどう作るか？
よくあるマジックメソッド（`__get` など）や文字列キーを使った連想配列ベースのコンテナは、Hackの厳格な世界では悪手です。キーのタイポが型チェッカーに検知されないからです。

代わりに、「型（Type）をキーにしたコンテナ」を設計しましょう。

namespace HackMaster\DependencyInjection;

class TypeSafeContainer {
// 状態を持たせるためのシンプルなストレージ
// 実際にはクロージャやインスタンスを格納する
private array $registry = [];

// 型安全にサービスを登録する
public function set(string $id, T $service): void {
$this->registry[$id] = $service;
}

// 型安全にサービスを取り出す
public function get(string $id): T {
if (!\array_key_exists($id, $this->registry)) {
throw new \Exception(“Service not found: ” . $id);
}

$service = $this->registry[$id];
// Hackの型システムを通したアサーション、またはジェネリクスによる保証
return $service as T;
}
}

おっと、ここでHack初学者がよく陥る文法エラーについて触れておきましょう。

⚠️ 陥りがちな文法エラー：ジェネリクスとキャスト

Hack（およびPHP系言語の静的解析）において、実行時の値と静的な型の間にはギャップがあります。コンテナから取り出す際、単に `return $service;` と書くと、型チェッカーから怒られます。

// ❌ NGな例：型チェッカーが戻り値の型（T）を保証できない
public function get(string $id): T {
return $this->registry[$id]; // Error: Expected T, but got mixed!
}

【解決策】
Hackの高度な型アサーション演算子 `as` を使います。

// 〇 OKな例：実行時かつ静的解析時にも安全性を担保する
return $service as T;

Hackの `as` は単なるキャストではなく、実行時に型チェックを行いつつ、型チェッカーに対して「ここは確実にこの型だ」と教え込む強力な構文です。

—

4. コンパイル時保証へ：ファクトリパターンとの融合

さらに進んだアーキテクチャとして、コンテナ自体に依存解決のロジックを書くのではなく、「各クラスの生成手順（ファクトリ）」を静的に定義するアプローチがあります。

namespace HackMaster\DependencyInjection;

// サービスを組み立てるためのボイラープレートを排除する設計
class AppContainer {

private ?LoggerInterface $logger = null;
private ?UserService $userService = null;

// シングルトン的に依存を解決するメソッド群
public function getLogger(): LoggerInterface {
if ($this->logger === null) {
// 具象クラスのインスタンス化をここでカプセル化
$this->logger = new FileLogger();
}
return $this->logger;
}

public function getUserService(): UserService {
if ($this->userService === null) {
// 依存関係の注入が型安全に行われる
$this->userService = new UserService($this->getLogger());
}
return $this->userService;
}
}

このアプローチの何が素晴らしいか分かりますか？
もしあなたが `UserService` のコンストラクタに変更を加え、新しい引数を追加し忘れたり型を間違えたりした場合、実行するまでもなく、`hh_client` が即座に赤線を引いて教えてくれるのです。

これが、コンパイル時（静的解析時）に依存関係の整合性が保証される世界です。

—

5. まとめ：Hackの厳格さは開発者の最高の味方

今回は、コンストラクタインジェクションを軸に、Hackの厳格な型システムを活用した安全なコンテナ設計の極意をお伝えしました。

インターフェースに依存することで柔軟性を保つ
文字列キーではなく型を活用することでタイポや設定ミスを根絶する
`as` 演算子を正しく使いこなし、型チェッカーと対話する

最初は「型チェッカーが厳しすぎる！」と感じるかもしれませんが、それはHHVMという超高速なエンジン上で、あなたのコードの安全性を守るための頼もしいガードレールです。

ここをクリアしたあなたなら、どんなに大規模なHackアプリケーションでも、自信を持ってコードを書き上げることができるはずですよ。それでは、良きHackライフを！