Hackを「言語」から「強力な武器」へ：Attributeを用いた静的解析の拡張術
こんにちは。Hackの深淵へようこそ。
日々HHVMのソースコードと向き合っていると、Hackという言語がいかに「妥協のない設計」の上に成り立っているかを痛感します。
多くの開発者がHackを「PHPの型付き版」と誤解していますが、それは氷山の一角に過ぎません。Hackの真髄は、「型チェッカーが、コンパイル（HHVMのバイトコード生成）の前に、コードの意図をどこまで深く理解できるか」にあります。
今回は、Hackの強力な武器である「Attribute（属性）」を使い、プロジェクト固有の規約を型チェッカーに直接「理解」させる方法を伝授します。
—
1. なぜ「規約」を「型チェッカー」に委ねるのか
チーム開発では、「このメソッドには必ずキャッシュ戦略を付与すること」「特定のDBテーブルにアクセスする際は、必ずロギングを挟むこと」といった規約が生まれます。
しかし、人間がレビューするだけでは漏れが生じますよね。そこでAttributeの出番です。Attributeは単なるメタデータではありません。Hackの静的解析フェーズで「これは許されるコードか？」を判定するための、型チェッカーへの指令書なのです。
—
2. カスタムAttributeの定義と適用
まずは、シンプルな例から見ていきましょう。「このメソッドは外部APIを叩くので、タイムアウト設定が必須である」というルールを強制したいとします。
ステップ1：Attributeを定義する
namespace App\Attributes;
// 任意のメソッドやクラスに付与できる属性を定義します
<<__Attribute(__TargetMethod)>>
final class RequiresTimeout extends \HH\Attribute {
public function __construct(
public int $seconds,
) {}
}
ステップ2：コードに付与する
use App\Attributes\RequiresTimeout;
class ApiClient {
// 規約として、この属性を付けることを強制したい
<
public function fetchUser(int $id): string {
return “User data”;
}
}
ここまでは「ただのメタデータ」です。次は、これを型チェッカーにどう強制させるか、核心に触れます。
—
3. 型チェッカーを拡張する：カスタムルール
Hackには標準で強力なルールがありますが、プロジェクト固有の論理はHHVMの静的解析プラグインとして記述します。
（※注：高度な現場では `hh_client` の拡張や、解析フェーズでの `AST`（抽象構文木）を直接操作するカスタムリンターを作成します）
なぜこれが強力なのか？
型チェッカーがコードを走査する際、以下のようなロジックを注入できるからです。
1. 走査: ファイル内の全メソッドをスキャンする。
2. 検知: `RequiresTimeout` 属性が付与されているかチェックする。
3. バリデーション: もし付与されていなければ、「このメソッドには `RequiresTimeout` が必要です」という型エラーを発生させる。
これにより、コンパイルを通すこと＝「チームのコーディング規約を完全に守っていること」と同義になります。
—
4. 初学者が陥りやすい「文法エラー」の罠
Attributeを使い始めると、必ずと言っていいほど以下のエラーに遭遇します。これらは「型チェッカーがあなたの意図をどう解釈したか」の証拠です。
- `__Attribute` のターゲットミス:
- クラスにしか付けられない属性をメソッドに付けようとしていませんか？ `__TargetMethod` や `__TargetClass` を正しく指定しないと、型チェッカーは容赦なく警告します。
- コンストラクタの引数が定数ではない:
- Attributeの引数はコンパイル時に確定している必要があります。変数や動的な計算結果は渡せません。「なぜ動的な値を渡せないんだ！」と悩むかもしれませんが、これは「静的解析の安全性を担保するため」のトレードオフです。
—
5. まとめ：Hackの重みを知る
今回紹介したAttributeによる静的解析の拡張は、大規模開発における「人為的ミスの自動排除」において最強の手段です。
- Attributeは「命令」である: 単なるメモではなく、コンパイラへの制約。
- 型チェッカーは「相棒」である: 規約を型チェッカーに教え込めば、レビューの負荷は激減します。
「ここをクリアすれば、Hackの基本はバッチリマスター」と言いたいところですが、これはまだ入り口です。Hackを使いこなすということは、「実行時に発生するエラーを、いかにしてコンパイル時に排除するか」という、究極のパズルを楽しめるようになることでもあります。
さあ、あなたのコードに魂（制約）を吹き込みましょう。何か不明点があれば、いつでも聞いてください。我々Hackエンジニアにとって、型定義は言語との対話そのものなのですから。