您好, 欢迎来到 !    登录 | 注册 | | 设为首页 | 收藏本站

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

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

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

尽管我对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();

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

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

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的情况下这样做不是一站式解决方案,而语言设计人员似乎已经决定,此时不值得这样做。

php 2022/1/1 18:16:30 有447人围观

撰写回答


你尚未登录,登录后可以

和开发者交流问题的细节

关注并接收问题和回答的更新提醒

参与内容的编辑和改进,让解决方法与时俱进

请先登录

推荐问题


联系我
置顶