みなさん、こんにちは！ Hack言語の世界へようこそ。
大規模なWebアプリケーションを開発していると、クラスの「継承（Inheritance）」を使う機会がよくありますよね。親クラスの機能を子クラスで拡張したり、メソッドを書き換えたり（オーバーライド）する挙動は、オブジェクト指向プログラミングの醍醐味です。
しかし、同時に「継承階層が深くなるにつれて、予期せぬメソッドのバグが増える」という悩みに直面したことはありませんか？
- 親クラスのメソッド名をうっかりタイポして、オーバーライドできていなかった……
- 親クラスに新しいメソッドを追加したら、たまたま子クラスにあった既存メソッドと名前が衝突して動かなくなった……
他言語の動的型付けで発生しがちなこれらの事故を、Hackでは型チェッカー（hh_client）がコンパイル前（コードを書いている瞬間）に100%防いでくれます。その強力な武器となるのが、今回解説する `<<__Override>>` 属性 です。
一見シンプルですが、この裏にはHHVM（HipHop Virtual Machine）の美しいアーキテクチャと思想が詰まっています。ここをクリアすれば、Hackのオブジェクト指向と型システムの基本はバッチリマスターできますよ！
—
1. なぜオーバーライドの「事故」が起きるのか？
まずは、`<<__Override>>` がない世界（例えば従来のPHPや一般的な動的型付け言語）でどのようなトラブルが起きるのか、頭の中でイメージしてみましょう。
トラップ①：タイポによる「静かな失敗」
親クラスの `render()` メソッドを上書きしようとして、子クラスで `rendrr()` と打ち間違えてしまったとします。型チェッカーのない言語ではエラーにならず、「単に新しいメソッドが追加された」とみなされます。実行すると親クラスの `render()` が呼ばれ続け、バグの原因調査に何時間も奪われることになります。
トラップ②：意図しない意図せぬオーバーライド（シャドウイング）
継承階層が深い巨大なコードベースで、誰かが親クラスに `cleanup()` というメソッドを追加したとします。しかし、あなたが作った子クラスには、偶然にも全く別の目的で `cleanup()` というメソッドが既に存在していました。
結果として、親クラスの処理を意図せず上書きしてしまい、システム全体が壊れるという恐怖の事態が発生します。
Hack言語は、この2つのトラップを「言葉の約束」ではなく「型チェッカーのルール」として強制的に解決します。
—
2. 解決策：`` 属性という絶対契約
Hackでは、親クラスのメソッドをオーバーライドするとき、必ずメソッドの直前に `<<__Override>>` 属性を記述しなければならない というルールがあります。
ルールは非常にシンプルで、型チェッカーは以下の2点を厳格にチェックします。
1. `<<__Override>>` が付いている場合：
「親クラス（またはインターフェース）に同名のメソッドが存在しなければエラー」
2. 親クラスのメソッドと同名のメソッドを定義した場合：
「`<<__Override>>` が付いていなければエラー」
双方向からチェックが行われるため、タイポも、意図しないオーバーライドも、100%未然に防ぐことができるのです。
—
3. 実践コードで学ぶ `` の正しい使い方
それでは、実際のHackコードを見ていきましょう！
Hackの厳格モード（Strict Mode）を前提とした、実用的な通知システム（Notification）の例です。
〇 正しいコード例
まずは、正しく機能するコードです。
namespace MyApp\Services;
// 親クラス：通知の基本機能を定義
abstract class BaseNotification {
protected string $recipient;
public function __construct(string $recipient) {
$this->recipient = $recipient;
}
// 親クラスの基本送信メソッド
public function send(): void {
// 基本的なログ出力処理など
echo “Sending notification to: {$this->recipient}\n”;
}
}
// 子クラス：メール通知
final class EmailNotification extends BaseNotification {
private string $subject;
public function __construct(string $recipient, string $subject) {
parent::__construct($recipient);
$this->subject = $subject;
}
// 親クラスの send() を正しくオーバーライド！
<<__Override>>
public function send(): void {
parent::send(); // 必要に応じて親の処理も呼び出す
echo “Sending Email with subject: {$this->subject}\n”;
}
}
このコードでは、`EmailNotification` クラスの `send()` メソッドに `<<__Override>>` が付いています。親クラスに `send()` が存在するため、型チェッカー（`hh_client`）は「完璧です！」とパスを出してくれます。
—
4. 型チェッカー（hh_client）が事故を検知する瞬間
ここからがHackの真骨頂です。わざと失敗パターンを作って、型チェッカーがどのように開発者を守ってくれるかを見てみましょう。
❌ パターンA：タイポをしてしまった場合
final class EmailNotification extends BaseNotification {
// タイポ！ semd() というメソッドは親クラスに存在しない
<<__Override>>
public function semd(): void {
echo “Sending email…\n”;
}
}
【型チェッカー（hh_client）の検出結果】
ERROR: File “EmailNotification.hack”, line 15, characters 19-22:
Method semd is marked with <<__Override>>, but no parent class has a method named semd
> 先輩エンジニアの解説：
> 「`<<__Override>>` マークが付いているのに、親クラスに `semd` なんてメソッドはありませんよ！」と型チェッカーが教えてくれました。これでタイポによるバグは実行前に完全消滅します！
—
❌ パターンB：`` を付け忘れた場合
final class EmailNotification extends BaseNotification {
// 親の send() を上書きしているのに <<__Override>> を忘れいている
public function send(): void {
echo “Sending email…\n”;
}
}
【型チェッカー（hh_client）の検出結果】
ERROR: File “EmailNotification.hack”, line 15, characters 19-22:
This member overrides a member but does not have the <<__Override>> attribute
> 先輩エンジニアの解説：
> 「親クラスに既に `send` がありますよ！オーバーライドしたいなら明示的に `<<__Override>>` を付けてください。もし知らずに名前が被っただけなら、メソッド名を変えてくださいね」と警告してくれています。意図しないオーバーライド事故が防げましたね。
—
5. コアの裏側：HHVMと型チェッカーの超高速連携
ここで少しだけ、HHVMのアーキテクチャの裏側に触れておきましょう。
なぜHackはここまで厳密にオーバーライドを管理するのでしょうか？
それは、「安全性の向上」だけでなく「HHVMの実行パフォーマンス（JITコンパイル）」に極めて優位だからです。
[開発者がコード記述]
│
▼
[型チェッカー (hh_server)] ─── 静的解析でクラス継承ツリーの完全な「地図」を作成
│ (`<<__Override>>` 整合性をチェック)
▼
[HHVM JIT Compiler] ────── メソッドの呼出先（vtable）を事前最適化し、高速実行！
一般的な動的言語では、実行時に「このオブジェクトの親クラスを辿って、どのメソッドを呼ぶべきか？」を動的に探すコスト（ルックアップ）が発生することがあります。
しかしHackでは、開発者がコードを書いている最中に `hh_server` というバックグラウンドプロセスがクラスの継承ツリー（AST：抽象構文木）を解析し、オーバーライド関係を完璧に把握します。
そのため、HHVMのJITコンパイラは「どのメソッドがどこでオーバーライドされているか」を完全に確信した状態で機械語へ変換でき、無駄のない超高速な実行が可能になるのです。型システムの厳格さが、そのままシステムの圧倒的パフォーマンスに直結しているのがHackの美しさですね！
—
6. まとめ：安全な継承のためのチェックリスト
最後に、今回のポイントを整理しておきましょう！
1. 親クラスのメソッドを書き換えるときは、必ず `<<__Override>>` を添える
2. タイポがあれば型チェッカーがコンパイル前に教えてくれる
3. 付け忘れがあっても型チェッカーが優しく指摘してくれる
最初は「属性を書くのが少し手間かな？」と感じるかもしれませんが、大規模なリファクタリング（親クラスのメソッド名を一括変更するなど）を行う際、この `<<__Override>>` 属性がどれほど強固な命綱になるかを実感できるはずです。
ここをマスターすれば、Hack言語のクラス継承における安全性はバッチリです！
自信を持って、次のステップ（ジェネリクスやインターフェースの活用など）へ進んでいきましょう。応援しています！