PHPエラーサプレッサー(@)により参照によるパラメータの受け渡しが失敗するバグの解析

PHPエラーサプレッサー(@)により参照によるパラメータの受け渡しが失敗するバグの解析_PHPチュートリアル

WBOY

リリース： 2016-07-21 15:30:36

オリジナル

1145 人が閲覧しました

以下の例を見てください:

コードをコピーしますコードは次のとおりです:

 
$array = array(1,2,3); 
function add (&$arr) { 
$arr[] = 4; 
add(@$array); 
/**
この時点では、$array は変更されておらず、出力: 
Array 
( 
[0] => 1 
[1] => 2 
[2] => 3 
) 
*/ 
print_r($array); **
エラー抑制なしの場合、出力は通常です: 
Array 
( 
[0] => 1 
[1] => 2 
[2] => 3 
[3] => 4 
) 
 */ 
?> 

 


私はこれまでこの問題に遭遇したことがなかったので、すぐに答えがあるかどうかを確認するためにまず関連情報を探しました。そして、誰かが PHP に同様のバグを報告していることを発見しました: http://bugs. /bug.php?id=47623ですが、PHP公式はまだ解決しておらず、返答もありません

エラー抑制の原理については以前記事（エラー抑制と埋め込みHTMLのPHP原理を深く理解する）で紹介しましたが、原則としてエラー抑制はerror_reportingのレベルを変更するだけです。 . コンテキスト間の関数呼び出しメカニズムには影響しないのは当然です。これはフィールドテストを通じてのみ実行できます。
gdb 追跡後、エラー移植演算子を使用した後、関数呼び出し前のパラメーターのオペコードが異なることが判明しました:

コードをコピーします

コードは次のとおりです:

//エラーサプレッサーの場合は使用されていませんOPCODE = SEND_REF //エラー抑制シンボルを使用した後

OPCODE = SEND_VAR_NO_RE

 
問題は最初に特定されましたが、この違いの理由は何ですか? 

OPCODE が異なるため、それは次のとおりです。このレベルを考えると、問題は簡単に特定できます

PHP の構文解析段階では、"@" + expr の形式のエントリが expr_without_variable に変換されることがわかります。この種のノードの意味は、変数の値、つまりリテラル値が存在しないことです。リテラル値は (変数ではないため) 参照によって渡すことができないことは誰もが知っているため、この違いは次のとおりです。

具体的なプロセスは次のとおりです:
1. 構文解析段階:

コードをコピーします:

expr_without_variable: //... は省略されています| { zend_do_begin_silence(&$1 TSRMLS_CC); } expr { zend_do_end_silence(&$1 TSRMLS_CC); } //ここで ZEND_SEND_VAL 分岐が実行されます

non_empty_function_call_parameter_list:

expr_without_variable { ....} //これ支店は間違って取得しました
| variable {.... } //通常の状況です

これは、コンパイル中に異なる OPCODE が生成され、これが問題の発生につながります 
 最後に、その理由を説明しました。興味があれば、私の英語レベルをチェックしてみてください。最後に、この興味深い質問は cici netize によって提供されました。

http://www.bkjia.com/PHPjc/323224.html

www.bkjia.com
本当

http://www.bkjia.com/PHPjc/323224.html