文字列は「バイトの羅列」という幻想を捨てよ：HHVMとHSLが強制するメモリ安全性の真髄
Hack言語において、PHPのレガシーな文字列操作関数を使い続けることは、ただの「保守的な選択」ではない。それは、HHVMの最適化パスに対する背信行為であり、メモリ安全性に対する無知の露呈に等しい。
我々がHSL（Hack Standard Library）を設計した際、最大の目的は「予測可能性（Predictability）」の強制だった。PHPの `substr()` や `strlen()` が抱える、暗黙のエンコーディング依存や境界チェックの曖昧さは、高負荷なランタイムにおいて深刻な脆弱性の温床となる。
本稿では、なぜHSLの `Str` モジュールが単なるラッパーではないのか、その深層を解き明かす。
—
1. PHP関数の「暗黙の罠」とランタイムの不整合
PHPの標準関数は、歴史的経緯から「文字列を何と見なすか」というコンテキストがグローバル設定（`mbstring.func_overload` 等）に依存する。これは、大規模なコードベースにおいて、「ある場所ではマルチバイトとして扱われ、別の場所ではバイト列として扱われる」という悪夢のような不整合を生む。
HHVMのJITコンパイラにとって、型やエンコーディングが実行時に揺らぐ関数は、インライン展開を妨げる強力な障壁となる。
- PHP: `strlen($s)` は、ランタイムのロケール設定によって挙動が変わり得る。これは、JITが生成するマシンコードに分岐（ガード）を強要し、パイプラインの効率を低下させる。
- HSL (`Str\length`): 明示的にUTF-8を前提とし、コードポイントを計算する。これは、型の安全性を静的に保証するだけでなく、HHVMが生成する中間表現（IR）において、よりアグレッシブな最適化を可能にする。
2. メモリレイアウトと「マルチバイトの境界」
Hackの `Str` モジュールを扱う際、シニアエンジニアが理解しておくべきは、「文字列のインデックスは、メモリ上の物理アドレスと一致しない」という事実である。
use namespace HH\Lib\Str;
// 危険なPHP流のイテレーションを排除せよ
function process_string(string $input): void {
// Str\slice は内部的にUTF-8のシーケンスを走査する
// HHVMのメモリ管理下にある文字列は、不変(Immutable)であるため、
// 部分文字列の生成は、メモリコピーを最小限に抑えるポインタ演算に最適化される
$chunk = Str\slice($input, 0, 5);
}
HSLのメソッドがPHP関数より高速である理由は、内部的に「境界チェックの統合」を行っているからだ。PHPの関数は呼び出しのたびに引数の検証とエンコーディングのチェックを行うが、HSLは型チェッカーが静的に正当性を検証するため、ランタイムは余計な防御的コードをスキップできる。
3. なぜ `Str\split` はメモリリークを防ぐのか
PHPの `explode` は、空文字に対する挙動や、境界条件でのメモリ確保が直感的ではない。一方、HSLの `Str\split` は、結果として返される `vec
低レイヤからの視点：アロケーションの最適化
HHVMのGC（ガベージコレクタ）にとって、短い文字列の断片が大量に生成されるのは最悪のケースである。
1. PHP流: 多くの関数が一時的なメモリ領域を動的に確保し、後でGCが回収する。
2. HSL流: 型システムによって文字列の生存期間とサイズが推論される場合、HHVMは可能な限りスタック上での割り当てや、既存の文字列バッファに対する「ビュー（参照）」の利用を試みる。
4. セキュリティ：バイナリセーフの強制
セキュリティ研究者として断言するが、エンコーディングの混在はクロスサイトスクリプティング（XSS）の隠れ蓑だ。マルチバイト文字列の途中を無理やり切り出すことで、無効なバイトシーケンスを作り出し、ブラウザのパーサーを混乱させる攻撃手法は今なお現役である。
HSLの `Str` モジュールは、「不正なUTF-8シーケンスを許容しない」という制約を、型レベルで持ち込むことが可能だ。
- 推奨プラクティス:
`Str\replace`, `Str\contains` 等は、常にUTF-8として健全な文字列を期待する。もし入力が信頼できない外部ソースであるならば、`Str\is_utf8` を使い、HSLのメソッドに渡す前に明示的な検証を行うこと。これは単なるバリデーションではなく、システムの堅牢性を定義する境界線（Boundary）である。
—
結論：コードは「型」に語らせろ
PHPの関数を使い続けることは、VMの最適化能力を自ら縛り付けていることに他ならない。HSLへの移行は、単なるAPIの置き換えではない。それは、あなたのコードをHHVMという最適化エンジンの「最適化パス」に乗せるための、唯一の正解である。
もしあなたが大規模なシステムのパフォーマンスを追求するならば、文字列操作一つをとっても、それがどの程度のメモリを確保し、どの程度のCPUサイクルを消費するかを想像せよ。
型チェッカーの警告は、単なるノイズではない。それは、VMがあなたに語りかけている「より良い、より速い、より安全な実行方法」へのヒントなのだ。
さあ、レガシーな `substr` を消去し、HSLの厳格な世界へ戻ってこい。そこには、真に最適化されたコードの静寂が待っている。