こんにちは！日々のHack言語での開発、お疲れ様です。
HHVMの爆速な実行速度と、妥協のない厳格な静的型システムの世界へようこそ。
今回は、中級者へのステップアップとして避けて通れない`require extends`と`require implements`を取り上げます。
「Trait（トレイト）を使ってコードを共通化したいけれど、特定のメソッドや親クラスの存在を前提にしたい……だけど多重継承の罠にはハマりたくない！」
そんなモヤモヤを華麗に解決し、疎結合でありながら型安全なアーキテクチャを実現する魔法のような機能です。ここをクリアすれば、あなたもHackの設計美を完全に手に入れたと言えますよ。さっそく、一緒に紐解いていきましょう！
—
1. なぜ Trait に「型制約」が必要なのか？
他のオブジェクト指向言語（PHPなど）を触ったことがある方なら、Traitは「単なるコードのコピペマシーン」として使ったことがあるかもしれません。例えば、こんなコードです。
// 良い子のPHP/Hackの一般的なTrait
trait Loggable {
public function log(string $message): void {
// あれ？ $this->name ってどこから来るの？
echo “[LOG] {$this->name}: {$message}\n”;
}
}
このコード、緩いモード（Partial Mode）なら動くかもしれませんが、Hackの厳格な静的型システム（Strict Mode）の前では、型チェッカーがこう怒り出します。
> 「おい、`$this->name` なんてプロパティはこの Trait の中には定義されていないぞ！」
そうなんです。Trait単体では、将来自分がどのクラスに組み込まれるかを知るすべがありません。そのため、存在しないプロパティやメソッドにアクセスしようとすると、型チェッカーがコンパイルエラーを吐いてしまいます。
かと言って、すべての共通処理を基底クラス（スーパークラス）に寄せると、今度は「多重継承ができない」という壁にぶつかり、クラス階層がカオスになってしまいますよね。
ここで登場するのが、`require extends` と `require implements` です！
—
2. `require extends` と `require implements` の基本
これらは、簡単に言うと「この Trait を使いたいなら、あらかじめ特定のクラスを継承しているか、インターフェースを実装していなければならない」という制約を課す仕組みです。
イメージとしては、以下のような「契約書」を交わす感覚ですね。
[Trait: ログ機能] ──(require extends)──> [BaseClass: ユーザークラス]
↑
└── これをuseする具象クラスは、必ずBaseClassを継承していなければならない！
実際の書き方を見てみましょう
まずは、コードの全体像を優しく見ていきましょう。
<
namespace HackArchitect\Demo;
// 1. 前提となるベースクラス
abstract class Entity {
abstract public string getId(): string;
}
// 2. インターフェース
interface Namable {
public function getName(): string;
}
// 3. require を使った Trait の定義
trait TimestampedLogger {
// Entity を継承しているクラスでのみこの Trait を使えるという制約
require extends Entity;
// Namable を実装しているクラスでのみ使えるという制約
require implements Namable;
public function logWithMeta(string $action): void {
// ここでは、Entity のメソッドや Namable のメソッドを安心して呼び出せる！
$id = $this->getId();
$name = $this->getName();
echo “[“.\date(‘Y-m-d H:i:s’).”] ID: {$id} ({$name}) did {$action}\n”;
}
}
すごいでしょう？この Trait の中では、まだ見ぬ具象クラスのメソッド（`getId()` や `getName()`）を、型エラーを起こすことなく堂々と呼び出すことができます。 なぜなら、型チェッカーが「この Trait を使うクラスは、必ずそれらのメソッドを持っている」と保証してくれるからです。
—
3. 具象クラス側での実装と型チェッカーの振る舞い
では、この Trait を実際に使う具象クラス側はどうなるでしょうか。
<
namespace HackArchitect\Demo;
// Entity を継承し、Namable を実装する具象クラス
class User extends Entity implements Namable {
// TimestampedLogger をミックスイン
use TimestampedLogger;
private string $id;
private string $name;
public function __construct(string $id, string $name) {
$this->id = $id;
$this->name = $name;
}
public function getId(): string {
return $this->id;
}
public function getName(): string {
return $this->name;
}
}
このコードは、型チェッカーの厳しい検査を完璧にクリアします。
もし、うっかり `User` クラスが `Entity` の継承を忘れたり、`Namable` の実装を忘れたりすると、Hackの型チェッカーは容赦なく次のようなエラーを出して教えてくれます。
> “Class User uses trait TimestampedLogger, but does not satisfy its require extends/implements constraints.”
> （UserクラスはTimestampedLoggerを使っていますが、requireの制約を満たしていません！）
未然にバグを防げるこの安心感、たまりませんよね。
—
4. 陥りやすい文法エラーと注意点
ここで、初心者の開発者がやりがちな「惜しいポイント」をいくつかクリアにしておきましょう。
罠1: `require` の記述順序
Hackの構文において、`require extends` や `require implements` は、Traitの本体（メソッドの定義など）よりも手前、つまりTraitの先頭付近に記述する必要があります。
trait BadExample {
public function foo(): void {}
// エラーになりやすい：メソッドの後に require を書くのは避けましょう
require extends BaseClass;
}
必ず、制約（契約）を先に宣言し、その後に振る舞い（メソッド）を記述する流れを守りましょう。
罠2: 多重継承の勘違い
「`require extends` があるなら、Traitから複数のクラスを多重継承できるんだ！」と勘違いしてしまいがちですが、それは違います。PHPやHackの言語仕様として、クラスの多重継承はできません。
あくまで「このTraitを使うクラスは、結果的にそのスーパータイプ階層に含まれていなければならない」という制約の強制であって、クラスのコードそのものを多重継承しているわけではない点に注意してください。
—
5. まとめ：疎結合で美しいアーキテクチャへ
今回は、Hack言語における `require extends` と `require implements` を使った、Traitの型制約について解説しました。
- Trait単体では解決できない型安全性を、制約によって担保できる
- 基底クラスやインターフェースへの依存を明示的にし、型チェッカーに守ってもらえる
- コードの再利用性を高めつつ、カオスなクラス階層を回避できる
この機能を取り入れることで、あなたの書くHackコードは、より堅牢で、他のエンジニアにとっても意図が伝わりやすい美しいものに進化します。
ここをクリアできれば、Hackの静体型システムを使いこなす中級者としての基礎はバッチリマスターできていますよ！
ぜひ、実際のプロジェクトの設計に取り入れて、その快適さを実感してみてくださいね。それではまた次回の技術でお会いしましょう！