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

[问题]

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

class Foo {
    public $path = array(
        realpath(".")
    );
}

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

$path = array(
    realpath(".")
);

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

[答案]

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

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

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

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

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 中缺少的功能，可能是由于其复杂性和感知的低优先级。