PHPの亡霊を葬れ：HSL `HH\Lib\Regex` で実現する型安全な正規表現の極意
諸君、コードレビューで未だに `preg_match` を見かけて頭を抱えてはいないか？
PHPの `preg_match` は、現代の堅牢なシステム開発における「負債の温床」だ。戻り値は `int` でありながら、エラー時には `false` を返し、マッチ結果は参照渡しで受け取るという、C言語時代の遺物のようなインターフェース。これをそのままHackで使い続けるのは、型システムという最強の武器を自ら捨てるに等しい。
今日は、HSL（Hack Standard Library）の `Regex` モジュールを使い、コンパイル時にバグを撲滅する「型安全な正規表現設計」の極意を伝授する。
—
1. なぜ `preg_match` は「悪」なのか
まず、PHPのレガシーな実装を見てみよう。
// PHPの悪しき慣習
$matches = [];
$result = preg_match(‘/(\d+)/’, $input, $matches);
if ($result === false) {
// 構文エラーやバックトラック制限の考慮が漏れがち
} elseif ($result === 1) {
// $matches[1] は存在するのか？型は何か？
}
このコードの何が危険か？
1. 戻り値の曖昧さ: `0` (非マッチ) と `false` (失敗) を厳密に区別し忘れると、予期せぬ挙動を招く。
2. 副作用への依存: 参照渡しされた `$matches` がどう変異するかは、ランタイムまでブラックボックスだ。
3. 型の欠如: `mixed[]` で返ってくる結果をキャストなしで扱うのは、型チェックを無効化する行為に他ならない。
—
2. HSL `Regex` が提供する「確実性」
HSLの `HH\Lib\Regex` は、これらすべてを「代数的データ型」的なアプローチで解決する。失敗は例外ではなく、明示的な結果として扱うのがHackの流儀だ。
現場で即戦力となる実装パターン
以下は、安全に名前を抽出するプロダクションコードの例だ。
use namespace HH\Lib\Regex;
final class UserParser {
/
- 堅牢な抽出ロジック。
- 非マッチ時はnullを返し、異常時には明確な例外を許容する。
/
public function extractId(string $input): ?string {
// Regex\first_match は、マッチすれば Match オブジェクトを、
// マッチしなければ null を返す。これだけで分岐がクリアになる。
$match = Regex\first_match($input, re”/(?P
if ($match === null) {
return null;
}
// Matchオブジェクトから名前付きキャプチャに安全にアクセス
// get() は string を返すことが保証されている
return $match->get(‘id’);
}
}
ここがアーキテクトの視点:
`re”…”` というHack独自の正規表現リテラルを使っていることに注目してほしい。これはHHVMのレキサーレベルで構文解析されるため、正規表現の構文エラーをコンパイル時に検出できる。実行時に `preg_match` がエラーを吐くまで気づかない、という悲劇はもう起こらない。
—
3. パフォーマンスとHHVMの最適化
「HSLを使うとオーバーヘッドがあるのでは？」という懸念を持つ者は、HHVMのJITコンパイラを過小評価している。
- 内部実装: HSLの `Regex` は、内部的には効率的なPCRE2のバインディングを呼び出している。PHPの関数コールよりも、型システムによるオーバーヘッドの排除（Type Specialization）が効き、実行効率はネイティブに近い。
- バックトラック制御: 複雑なパターンを扱う際、`preg_match` は無限ループやリソース枯渇を招きやすいが、HSLでは明確な戻り値の型により、エラーハンドリングを強制できるため、システム全体の耐障害性が向上する。
—
4. プロフェッショナルへの提言：設計のルール
実務でこのモジュールを使う際は、以下の指針を徹底せよ。
1. `re”…”` リテラルを強制せよ: 文字列で正規表現を渡すな。定数化できないパターンは設計を見直すべきだ。
2. `match` 式と組み合わせる: マッチ結果のハンドリングには、必ず `match` 式を使用せよ。
// 悪くない、だがこう書くべきだ
$result = Regex\first_match($input, re”/pattern/”);
$id = match($result) {
null => throw new InvalidArgumentException(“Pattern mismatch”),
default => $result->get(‘id’),
};
これにより、コードのパスが網羅的であることが保証され、将来的に正規表現のパターンを変更した際も、型チェッカーがすべてのハンドリング箇所を洗い出してくれる。
—
結び：型は「守り」ではなく「攻め」だ
PHPコードからHackへ移行するということは、単に構文を変えることではない。「ランタイムで起きるはずのバグを、開発者の脳内で完結させること」だ。
`preg_match` の不確実性に甘んじるエンジニアは、いつまで経っても「動くか分からないコード」のデバッグに追われることになる。HSLの `Regex` を採用し、型システムをあなたの最強の守護神に据えよ。
それが、世界最高峰のHHVM環境で開発を行う我々の矜持だ。さあ、今すぐ `preg_match` を消し去るリファクタリングを始めろ。