为什么PHP属性不允许使用函数？

Question

我刚接触PHP，但是多年来我一直在使用类似的语言进行编程。我被以下内容弄糊涂了：

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

它产生了语法错误：Parse error: syntax error, unexpected '(', expecting ')' in test.php on line 5这就是realpath调用。

但这很好用：

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

碰了一会儿之后，我被告知您不能在默认属性中调用函数。你必须在做__construct。我的问题是：为什么？这是“功能”还是草率的实现？有什么根据？

Answer 1

编译器代码建议这是设计使然，尽管我不知道其背后的官方原因是什么。我也不确定要可靠地实现此功能需要花费多少精力，但是目前完成工作的方式肯定存在一些限制。

尽管我对PHP编译器的了解并不广泛，但我将尝试说明我认为的情况，以便您可以发现问题所在。您的代码示例非常适合此过程，因此我们将使用它：

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

如您所知，这会导致语法错误。这是PHP语法的结果，该语法进行了以下相关定义：

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

因此，在定义变量值（例如）时$path，期望值必须与静态标量的定义匹配。毫不奇怪，考虑到静态标量的定义还包括其值也是静态标量的数组类型，这有点用词不当：

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

让我们先假设语法是不同的，并且类变量delcaration规则中的注释行看起来更像以下内容，它将与您的代码示例相匹配（尽管会破坏有效的赋值）：

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

重新编译PHP之后，示例脚本将不再因该语法错误而失败。相反，它将因编译时错误 “ Invalid binding type”
而失败。由于代码现在基于语法是有效的，因此这表明实际上在编译器设计中存在某些特定问题，这些问题会引起麻烦。为了弄清楚是什么，让我们暂时恢复原始语法，并假设代码示例的有效分配为$path = array( 2 );。

使用语法作为指导，可以在解析此代码示例时逐步浏览编译器代码中调用的操作。我省略了一些不太重要的部分，但是过程看起来像这样：

// ...
// Begins the class declaration
zend_do_begin_class_declaration(znode, "Foo", znode);
    // Set some modifiers on the current znode...
    // ...
    // Create the array
    array_init(znode);
    // Add the value we specified
    zend_do_add_static_array_element(znode, NULL, 2);
    // Declare the property as a member of the class
    zend_do_declare_property('$path', znode);
// End the class declaration
zend_do_end_class_declaration(znode, "Foo");
// ...
zend_do_early_binding();
// ...
zend_do_end_compilation();

尽管编译器在这些各种方法中做了很多事情，但重要的是要注意一些事情。

1. 呼叫会zend_do_begin_class_declaration()导致呼叫get_next_op()。这意味着它将向当前操作码数组添加新的操作码。
2. array_init()并且zend_do_add_static_array_element()不生成新的操作码。而是立即创建该数组并将其添加到当前类的属性表中。方法声明通过中的特殊情况以类似的方式工作zend_do_begin_function_declaration()。
3. zend_do_early_binding() 消耗 电流操作码阵列上的最后一个操作码，检查其设置为NOP之前，以下类型之一：
   • ZEND_DECLARE_FUNCTION
   • ZEND_DECLARE_CLASS
   • ZEND_DECLARE_INHERITED_CLASS
   • ZEND_VERIFY_ABSTRACT_CLASS
   • ZEND_ADD_INTERFACE

请注意，在最后一种情况下，如果操作码类型不是预期的类型之一，则会引发错误- “无效的绑定类型”
错误。由此可见，允许以某种方式分配非静态值会导致最后一个操作码不是预期的。那么，当我们将非静态数组与经过修改的语法一起使用时，会发生什么呢？

array_init()编译器不调用而是准备参数和调用zend_do_init_array()。依次调用get_next_op()并添加一个新的INIT_ARRAY操作码，产生如下所示的内容：

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

这就是问题的根源。通过添加这些操作码，zend_do_early_binding()将获得意外的输入并引发异常。由于早期绑定类和函数定义的过程似乎是PHP编译过程不可或缺的一部分，因此不能仅仅忽略它（尽管DECLARE_CLASS的生产/消耗有些混乱）。同样，尝试内联评估这些其他操作码也是不切实际的（您无法确定给定的函数或类是否已解决），因此无法避免生成操作码。

潜在的解决方案是建立一个新的操作码数组，该数组的作用域为类变量声明，类似于处理方法定义的方式。这样做的问题是决定何时评估这样的一次运行序列。当包含该类的文件被加载，第一次访问该属性或构造该类型的对象时，会完成该操作吗？

正如您所指出的那样，其他动态语言也找到了一种处理这种情况的方法，因此做出决定并使之生效并非并非不可能。据我所知，在PHP的情况下这样做不是一站式解决方案，而语言设计人员似乎已经决定，此时不值得这样做。