Right now, various statement types don't allow function calls, even in places where it is feasible for the language to support, or may be useful to do so. Instead, the values are limited to constant expressions (this poll defines “constant expressions” as the allowed types of expressions (constants, certain operators, literals, etc., in the current php implementation).
This poll was created to gather opinions on which of the above statement types would be desirable to change, and in which ways, to shape subsequent RFCs. It seems desirable to change some of these expression types (e.g. parameter defaults, static properties) in different ways from others.
The RFC https://wiki.php.net/rfc/calls_in_constant_expressions proposed to allow function calls in all of the above expression types, as long as that function returned a constant. It was later changed to support only a whitelist of function calls.
Because of the following list of reasons, that RFC is being put on hold to gather feedback before rewriting it.
For parameter defaults, the proposed behavior would be that default expressions containing calls would get evaluated every time the parameter default was used. Opcache would be free to optimize deterministic functions known to have no side effects at compile time (e.g. $x = strlen(self::NAME) could become a constant, but the value of $x = generate_unique_id() would change.).
Functions would behave as if they were evaluated in a closure with an empty parameter list variable scope. Using variables or known functions accessing the variable scope (func_get_args(), get_defined_variables(), extract(), etc.) would cause a parse/compile error.
array_map('self::my_method', ARGS) to work as expected in the PHP engine, due to the way the php engine resolves self and strict_types of the callee. If it turns out to be unnecessary, it won't be used.
The planned strict_types behavior is to use the strict_types setting of the file containing the constant expression.
The evaluation order and error handling would be as described in https://wiki.php.net/rfc/calls_in_constant_expressions , except where noted otherwise.
Future RFCs will only enforce that the final result is allowed as a constant for class/global constants.
(e.g. const X = [“constant value”, any_function_call()][0] will not throw an error about being an invalid constant even if any_function_call() contains objects or references, because the final result is the string “constant value”)
Voting ends March 4th, 2020.
.
“As many expressions as feasible” includes expressions that provably don't reference the outer variable scope, such as
new X()(new X())->propNamefunction($x) { return $x*$x; }.
.
Changing the behavior of instance properties was rejected. If functions were only invoked once, then private $x = generate_unique_id() would be unintuitive. If it was invoked for every created object, the implementation would require changes to internals that I'm probably unable to implement (these changes would affect unserialization, ways when object creation can throw, the behavior of internal functions that create and return objects, opcache, etc.)