为什么 PHP 中的函数调用不能使用属性默认值？

无法在 PHP 属性默认值中调用函数

[问题]

尽管有编程经验，但新手PHP 中的属性默认错误令我困惑。代码：

<code class="php">class Foo {
    public $path = array(
        realpath(".")
    );
}</code>

产生语法错误。但是，以下内容可以无缝运行：

<code class="php">$path = array(
    realpath(".")
);</code>

问题出现了：为什么不能在属性默认值中调用函数？这是故意的还是实现中的缺陷？

[答案]

PHP 编译器代码表明此限制是故意的，尽管没有官方的理由。可靠地实现此功能会带来一定的挑战，PHP 当前实现的限制就证明了这一点。

编译器的语法将类变量声明定义为：

class_variable_declaration:
      //...
      | T_VARIABLE '=' static_scalar //...
;

因此，要分配像 $ 这样的变量值路径，预期值必须与静态标量对齐。这包括其值也是静态标量的数组：

static_scalar: /* compile-time evaluated scalars */
      //...
      | T_ARRAY '(' static_array_pair_list ')' // ...
      //...
;

如果语法允许使用以下与代码示例一致的语法，则脚本将遇到“无效的绑定类型”错误：

class_variable_declaration:
      //...
      | T_VARIABLE '=' T_ARRAY '(' array_pair_list ')' // ...
;

解析给定的代码示例显示以下步骤：

zend_do_begin_class_declaration() // Adds an opcode
array_init(), zend_do_add_static_array_element() // Do not create new opcodes, add array to class properties
zend_do_declare_property() // Declares the property
zend_do_early_binding() // Consumes the last opcode and evaluates it

如果操作码不是预期的（例如，与函数或方法相关），则会引发错误。

允许非静态数组生成 INIT_ARRAY 操作码，这会破坏 zend_do_early_binding():

DECLARE_CLASS   'Foo'
SEND_VAL        '.'
DO_FCALL        'realpath'
INIT_ARRAY

为了容纳属性默认值中的函数调用，需要一个作用域为类变量声明的新操作码数组，类似到方法定义。然而，确定此类评估的时间安排会带来额外的挑战。

其他动态语言已设法解决此问题，但 PHP 中仍然缺乏此功能，可能是由于其复杂性和感知的低优先级。

以上是为什么 PHP 中的函数调用不能使用属性默认值？的详细内容。更多信息请关注PHP中文网其他相关文章！