PHPの範囲演算子の再実装

SitePoint素晴らしい記事の推奨事項：PHPレンジオペレーターの実装の改善

この記事は、著者の承認とともにSitePointで再現されています。次のコンテンツはThomas Puntによって作成され、PHPレンジオペレーターの改善された実装方法を紹介します。 PHPの内部に興味があり、お気に入りのプログラミング言語に機能を追加する場合は、学ぶのに良い時期です！

この記事は、読者がソースコードからPHPを構築できると想定しています。そうでない場合は、まずPHP内部メカニズムの本の「Building PHP」の章を読んでください。

---

前の記事（ヒント：読んでいることを確認してください）では、PHPに範囲オペレーターを実装する方法を示しました。ただし、初期の実装がめったに最適ではないため、この記事は以前の実装を改善する方法を探ることを目的としています。

この記事を校正してくれたNikita Popovに再び感謝します！

キーポイント

• Thomas Puntは、PHPの範囲演算子を再インプレクトし、Zend Virtual Machineから計算ロジックを移動し、一定の表現のコンテキストで範囲演算子を使用できるようにします。
• この再実装は、コンパイル時間（リテラルオペランドの場合）または実行時（動的オペランドの場合）で計算できます。これにより、Opcacheユーザーに少しの利益がもたらされるだけでなく、一定の表現機能をレンジオペレーターで使用できます。
• 再実装プロセスには、レクサー、パーサー、コンピレーション段階、Zend仮想マシンの更新が含まれます。語彙アナライザーの実装は同じままですが、パーサーの実装は前の部分と同じです。コンパイルフェーズでは、Zend/zend_compile.cファイルを更新する必要はありません。これは、バイナリ操作を処理するために必要なロジックが既に含まれているためです。 Zend Virtual Machineは、実行時にZend_Range OpCodeの実行を処理するために更新されました。
このシリーズの第3部では、PUNTはこのオペレーターを過負荷する方法を説明することにより、この実装を構築する予定です。これにより、オブジェクトをオペランドとして使用し、文字列に適切なサポートを追加できます。
以前の実装の欠点

最初の実装により、Zend_Rangeオペコードの実行時に純粋に実行時に計算を強制するZend Virtual Machineに範囲演算子のすべてのロジックが配置されます。これは、文字通りのオペランドの場合、計算をコンパイルするために転送できないことを意味するだけでなく、一部の関数が単に機能しないことも意味します。

この実装では、Zend仮想マシンから範囲演算子ロジックを移動して、コンパイル時間（リテラルオペランド用）またはランタイム（動的オペランド用）で計算を実行できるようにします。これは、Opcacheユーザーに少しの利益をもたらすだけでなく、さらに重要なことに、範囲演算子で一定の発現機能を使用できるようにすることです。

例：

それでは、それ以上のADOなしで、範囲演算子を再実装しましょう。

// 作为常量定义
const AN_ARRAY = 1 |> 100;

// 作为初始属性定义
class A
{
    private $a = 1 |> 2;
}

// 作为可选参数的默认值：
function a($a = 1 |> 2)
{
    //
}

字句分析剤を更新

語彙アナライザーの実装はまったく変更されていません。トークンはZend/zend_language_scanner.l（約1200行）に最初に登録されています：

// 作为常量定义
const AN_ARRAY = 1 |> 100;

// 作为初始属性定义
class A
{
    private $a = 1 |> 2;
}

// 作为可选参数的默认值：
function a($a = 1 |> 2)
{
    //
}

ログイン後にコピー

トークン剤拡張機能は、ext/トークナイザーディレクトリを入力し、tokenizer_data_gen.shファイルを実行することにより、再生成する必要があります。

Parserを更新

パーサーの実装は以前と同じです。繰り返しますが、次の行の最後にT_RANGEトークンを追加することにより、オペレーターの優先度と結合を宣言します。

<st_in_scripting>"|>" {
</st_in_scripting>    RETURN_TOKEN(T_RANGE);
}

その後、expr_without_variableの生産ルールを再度更新しますが、今回はセマンティックアクション（ブレース内のコード）がわずかに異なります。次のコードで更新します（T_SPACESHIPルール、約930行の下に置いてください）：

%token T_RANGE           "|> (T_RANGE)"

ログイン後にコピー