It was noted in another question that wrapping the result of a PHP function call in parentheses can somehow convert the result into a fully-fledged expression, such that the following works:
<?php
error_reporting(E_ALL | E_STRICT);
function get_array() {
return Array();
}
function foo() {
// return reset(get_array());
// ^ error: "Only variables should be passed by reference"
return reset((get_array()));
// ^ OK
}
foo();
?>
I'm trying to find anything in the documentation to explicitly and unambiguously explain what is happening here. Unlike in C++, I don't know enough about the PHP grammar and its treatment of statements/expressions to derive it myself.
Is there anything hidden in the documentation regarding this behaviour? If not, can somebody else explain it without resorting to supposition?
Update
I first found this EBNF purporting to represent the PHP grammar, and tried to decode my scripts myself, but eventually gave up.
Then, using phc to generate a .dot file of the two foo() variants, I produced the following images:
[root@lolphin:~] $ yum install phc graphviz
[root@lolphin:~] $ phc --dump-ast-dot test1.php > test1.dot
[root@lolphin:~] $ dot -Tpng test1.dot > test1.png
[root@lolphin:~] $ phc --dump-ast-dot test2.php > test2.dot
[root@lolphin:~] $ dot -Tpng test2.dot > test2.png
Notice how they are identical. >.<
This behavior could be classified as bug, so you should definitely not rely on it.
The (simplified) conditions for the message not to be thrown on a function call are as follows (see the definition of the opcode ZEND_SEND_VAR_NO_REF):
- the argument is not a function call (or if it is, it returns by reference), and
- the argument is either a reference or it has reference count 1 (if it has reference count 1, it's turned into a reference).
Let's analyse these in more detail.
First point is verified (not a function call)
By using the parentheses, you're marking the argument not be detected as a function call anymore.
When parsing a non empty function argument list there are three possibilities for PHP:
- An
expr_without_variable - A
variable - A
&followed by avariable(for the deprecated call-time pass by reference)
When writing just get_array() PHP sees this as a variable.
(get_array()) on the other hand does not qualify as a variable. It is an expr_without_variable.
This ultimately affects the way the code compiles too, namely the extended value of the opcode SEND_VAR_NO_REF will no longer include the flag ZEND_ARG_SEND_FUNCTION, which is the way the function call is detected in the opcode implementation.
Second point is verified (the reference count is 1)
At several points, the Zend Engine allows non-references with reference count 1 where references are expected. These details should not be exposed to the user, but unfortunately they are here.
In your example you're returning an arrray that's not referenced from anywhere else. If it were, you would still get the message, i.e., this second point would not be verified.
So the following very similar example does not work:
<?php
$a = array();
function get_array() {
return $GLOBALS['a'];
}
return reset((get_array()));

