Hackの神髄に触れる：`where`句で解き放つ「ジェネリクス境界」の真実
こんにちは。Hack言語の深淵へようこそ。
多くの開発者がHackを「PHPの型付きバージョン」だと思って使い始めますが、実はその本質は全く異なります。HHVMという強靭なエンジン上で動作するHackの静的型システムは、極めて厳格かつ強力です。
今回は、Hackの中級者から上級者へステップアップするための最大の関門、「ジェネリクスの境界制約（`where`句）」について徹底的に掘り下げていきます。「単なる型指定」を超えて、型システムにあなたの意図を完璧に理解させるための設計術を身につけましょう。
—
1. なぜ「境界制約」が必要なのか？
ジェネリクスは便利ですが、制約なしでは「何でも入れられる箱」になってしまいます。例えば、数値計算をする関数を作るとき、`T`が文字列だったらエラーになりますよね。
そこで使うのが「境界制約」です。通常は `
そこで登場するのが `where` 句です。
—
2. where句の基本：型に「条件」を課す
`where` 句は、型パラメータに対して「この型は、これとこれを満たしていなければならない」という追加の契約を結ぶためのものです。
まずは、もっともシンプルな例から見ていきましょう。
<<__EntryPoint>>
function main(): void {
// 整数を処理する例
echo process_data(10); // 10
}
/
- TはNum型（intやfloat）であり、かつ
- そのTが特定の条件を満たす必要がある場合にwhereが輝きます。
/
function process_data
where T as num // Tは数値である必要がある
{
return $value 1;
}
「なんだ、`
—
3. 実践：複数のインターフェース制約を構築する
現場では、「Aというインターフェースを実装し、かつBというインターフェースも実装しているクラス」だけを受け取りたい場面が多々あります。
interface Readable {
public function read(): string;
}
interface Writable {
public function write(string $data): void;
}
/
- ここがポイント！
- TはReadableであり、かつWritableでもある必要がある
/
function sync_storage
where T as Readable, T as Writable
{
$data = $obj->read();
$obj->write($data . “_processed”);
}
このように `where` を使うと、型チェッカーに対して「この型は、このメソッド群を必ず持っているはずだ」と保証させることができます。これにより、実行時の `Method not found` エラーをコンパイル時に完全に排除できるのです。
—
4. 陥りやすい罠と解決策
Hackの型チェッカーは非常に賢いですが、その分、少しの記述ミスで開発者を混乱させます。
罠：循環参照と不可能な制約
以下のようなコードは、型チェッカーが推論に失敗する典型例です。
// 悪い例：自己参照的な制約は解決不能になることが多い
function fail
解決策：インターフェースの分離
制約が複雑になりすぎたら、無理に `where` で繋げず、新しいインターフェースを作成してください。
// 複雑な制約は新しいインターフェースでまとめるのがHack流
interface ReadWritable extends Readable, Writable {}
function sync_storage
// これならコードもすっきりしますね
}
—
5. まとめ：型システムを味方につける
`where` 句を使いこなせるようになると、あなたのコードは「壊れない強固な構造」へと進化します。
- ジェネリクスは「柔軟性」、境界制約は「安全性」: この両輪が噛み合ったとき、Hackは最強の武器になります。
- どこでも使うのではなく、境界線で使う: 公開APIやコアロジックの境界で `where` を使い、内部はシンプルに保つのがプロの設計です。
ここをクリアできれば、あなたはもうHackの初学者ではありません。HHVMの静的型システムが、あなたのコードを背後から力強く支えてくれる感覚が掴めるはずです。
次回の記事では、このジェネリクスをさらに一歩進めた「高階型（Higher-Kinded Types）」の入り口についてお話ししましょう。それでは、良いHackライフを！