Haxeを掌握する極限の知見：Abstract型によるPHPの数値型オーバーロードシミュレーション
開発プロジェクトのテクニカルリードである私たちが、PHPという言語のダイナミック・タイピングと「表現力の欠如」に頭を抱える場面は数知れない。特に、金額や高精度な座標、あるいはドメイン固有の数値演算を扱う際、PHPには演算子オーバーロードが存在しないという致命的な足枷がある。`$a + $b` はただのプリミティブな加算であり、そこにビジネスロジックやドメインの制約（マイナス値の禁止や単位の整合性など）を強制することはできない。オブジェクト指向的にメソッドチェーン（`$a->add($b)`）で書くことも可能だが、コードの可読性は著しく低下し、数学的な表現力は失われる。
だが、我々には Haxe がある。
Haxeのマクロと静的型システム、そしてその中でも最も洗練された機能の一つである `@:forward` 付き Abstract型 を使えば、実行時コストを完全にゼロ（Zero-cost abstraction）に抑えたまま、PHPターゲット上で完璧な演算子オーバーロードと厳格な型安全性をシミュレートできる。
本稿では、PHPターゲットの限界をHaxeのAbstract型で超越するための、プロダクション品質の設計パターンを解説する。
—
なぜ継承やインターフェースではダメなのか？
PHP上で安全な数値クラスを作ろうとすると、通常は以下のようなクラス設計に行き着く。
// 愚直なPHPクラスによる実装（非推奨）
class Money {
private int $amount;
public function __construct(int $amount) { $this->amount = $amount; }
public function add(Money $other): Money {
return new Money($this->amount + $other->amount);
}
}
// 使う側： $total = $price1->add($price2);
このアプローチには2つの致命的な問題がある。
1. 演算子が使えない: 直感的な `+` や `-` が使えず、コードがボイラープレートにまみれる。
2. パフォーマンスの劣化: オブジェクトのインスタンス化が頻発し、PHPのガベージコレクタ（GC）に過大な負荷をかける。
Haxeの Abstract型は、コンパイル時にプリミティブな値（PHPの `int` や `float`）にインライン展開される。つまり、実行時にはオブジェクトのオーバーヘッドが一切存在しない。
—
実装：完全型安全な `DecimalMoney` Abstract
実務の現場で即座に応用できる、金額を安全に扱うためのプロダクションコードを示す。負の値をコンパイル時（および実行時）に排除し、加算・減算・乗算の演算子を完全にオーバーロードしたAbstractだ。
package domain.finance;
import haxe.ds.Option;
/
- PHPのプリミティブな数値（Int）をラップし、
- ドメイン固有の制約と演算子オーバーロードを提供するZero-cost Abstract型。
/
abstract DecimalMoney(Int) {
// コンストラクタをインライン化し、実行時オーバーヘッドを消去する
public inline function new(value:Int) {
if (value < 0) {
throw new haxe.Exception("Money amount cannot be negative: " + value);
}
this = value;
}
// プリミティブなIntから暗黙の型変換を許可（安全性と利便性のトレードオフを制御）
@:to
public inline function toInt():Int {
return this;
}
@:from
public static inline function fromInt(value:Int):DecimalMoney {
return new DecimalMoney(value);
}
// ==========================================
// 演算子オーバーロードの定義
// ==========================================
@:op(A + B)
public inline function add(other:DecimalMoney):DecimalMoney {
// 内部のInt同士の加算になり、PHP上では単なる $a + $b にコンパイルされる
return new DecimalMoney(this + (other : Int));
}
@:op(A - B)
public inline function sub(other:DecimalMoney):DecimalMoney {
var result = this - (other : Int);
return new DecimalMoney(result); // 負数チェックはコンストラクタで保証される
}
@:op(A B)
public inline function multiply(factor:Int):DecimalMoney {
return new DecimalMoney(this factor);
}
// 比較演算子のオーバーロード
@:op(A > B)
public inline function greaterThan(other:DecimalMoney):Bool {
return this > (other : Int);
}
@:op(A < B) public inline function lessThan(other:DecimalMoney):Bool { return this < (other : Int); } @:op(A == B) public inline function equals(other:DecimalMoney):Bool { return this == (other : Int); } // ユーティリティメソッド public inline function format():String { return '¥' + this; } } ---
コードレビュー：なぜこの設計が優れているのか？
1. ゼロアロケーション（Zero Allocation）の維持
Haxeのコンパイラは、この `DecimalMoney` を可能な限り生の `int` として扱おうとする。PHPにトランスパイルされたコードを見れば一目瞭然だが、余計なクラスのインスタンス生成やメソッド呼び出しのオーバーヘッドが削ぎ落とされている。
2. 静的型チェックによるバグの根絶
例えば、通常のコードであれば `price + 100` と書いたときに、それが「金額」なのか「商品の数量」なのかをコンパイラは区別しない。しかし、Abstract型を使えば、`DecimalMoney + Int` はコンパイルエラーにできる（意図的に許可した乗算以外）。これにより、ドメインモデルの整合性がコードレベルで強制される。
3. PHPターゲットにおけるシームレスな統合
PHPへ出力されたコードは以下のようになる（概念的なイメージ）。
// Haxeが生成するPHPコードのイメージ
// 余計なラッパークラスがインライン化され、極めて高速に動作する
$price1 = 1000;
$price2 = 500;
$total = $price1 + $price2; // 演算子がそのままPHPのネイティブ演算子に落とし込まれる
—
実務における応用：リポジトリ層とAPI連携での注意点
この強力なAbstract型を実務（特にWebアプリケーションのAPI層やDBフェッチ層）で使う際には、以下の設計指針を遵守してほしい。
- 境界（Boundary）でのプリミティブ変換
PDOなどを通じてデータベースから取得した生データや、外部JSON APIから受け取った値は、必ずドメイン層に入る境界（ControllersやRepositories）で `DecimalMoney.fromInt()` を通すこと。アプリケーションの内側（ビジネスロジック）では一切のプリミティブな数値の直接演算を禁止する。
- JSONシリアライゼーションの考慮
Haxeの `haxe.Json` やPHP標準の `json_encode` を使う際、Abstract型はその基底型（今回の場合は `Int`）としてシリアライズされる。そのため、APIのレスポンスとしてクライアントに返す際に特別なボイラープレートを書く必要がなく、そのまま数値としてJSONに乗る。この「開発時は厳格な型、実行時は軽量なプリミティブ」という二面性こそがHaxeの真骨頂である。
—
総括
PHPという言語仕様の制約に甘んじる必要はない。HaxeのAbstract型を使いこなせば、PHPの上であってもモダンで堅牢、かつ圧倒的にセキュアなドメインモデルを構築できる。
コードレビューで「なぜここで生の値を使っているのか？」と問えるエンジニアであれ。型は飾りではなく、バグを生まないための最強の防壁なのだから。