PHPパラメータ受け渡し原理の詳細な分析

正常に動作するコード

init_executor 関数内に次の 2 行が見つかりました。

zend_ptr_stack_init の実装は非常に簡単です。 + gt; max = PTR_STACK_BLOCK_SIZE; // スタック サイズは 64 に初期化されます stack->top = 0; // 現在の要素数は 0 です}

NULL がスタックにプッシュされた後、argument_stack 全体の実際のメモリ配分は次のようになります。 print_r(123);}foo("hello world");

Copy コード

コードをコピーします

2 DO_FCALL 1 OP1[ IS_CONST (459027) 'print_r' ] 5 3 > RETURN OP1[ IS_CONST (0) ) null ]

最初の命令は RECV で、文字通りスタック内のパラメータを取得するために使用されます。実はSEND_VALとRECVはなんとなく対応している気がします。 SEND_VAL は各関数呼び出しの前に、RECV が関数内で実行されます。完全に対応しているとは言えませんが、実はRECV命令は必ずしも必要ではありません。 RECV は、ユーザー定義関数が呼び出された場合にのみ生成されます。私たちが作成する拡張関数と PHP に付属する組み込み関数には RECV がありません。

各 SEND_VAL と RECV は 1 つのパラメーターのみを処理できることに注意してください。つまり、パラメータの受け渡し処理で複数のパラメータがある場合、複数の SEND_VAL と複数の RECV が生成されます。これは非常に興味深いトピックにつながります。パラメーターの受け渡しとパラメーターの取得の順序は何ですか?

答えは、SEND_VAL がスタック上のパラメータを左から右にプッシュするのに対し、RECV はパラメータを左から右に取得するということです。

zend_assign_to_variable_reference と zend_receive は「パラメータの取得」を完了します。 「パラメータを取得する」ということは、実際には何をするのかを理解するのが簡単ではありません。

最終的には、「パラメーターの取得」は、現在の関数の実行中にこのパラメーターを「シンボル テーブル」に追加することです。これは、具体的には EG (current_execute_data)->symbol_table に対応します。この例では、RECV が完了した後、関数本体のsymbol_table にシンボル 'str' があり、その値は "hello world" です。

しかし、RECV はパラメーターを読み取るだけで、スタック上でポップ操作を実行しないため、argument_stack はまったく変更されていません。

argument_stack をクリーンアップ foo 内の print_r も関数呼び出しであるため、スタック プッシュ --> スタック クリア操作も発生します。したがって、print_r が実行される前の argument_stack は次のようになります。

print_r が実行された後、argument_stack は foo が RECV を終了したばかりの状態に戻ります。

print_r を呼び出す具体的なプロセスは、この記事の焦点では​​ありません。私たちが関心があるのは、PHP が foo を呼び出した後に argument_stack をどのようにクリーンアップするかということです。

上記の do_fcall コード スニペットからわかるように、クリーニング作業は zend_ptr_stack_clear_multiple によって完了します。

この記事の例では、foo が呼び出された後、「hello world」の zval ステータスが保存されます。