php - PHP (5.3) 的特殊行为、静态继承和引用

Question

我正在用 PHP 5.3 编写一个库，其中大部分是一个具有多个静态属性的类，这些属性由子类扩展以允许子类的零配置。

无论如何，这里有一个示例来说明我发现的特殊性:

<?php

class A {
    protected static $a;
    public static function out() { var_dump(static::$a); }
    public static function setup($v) { static::$a =& $v; }
}
class B extends A {}
class C extends A {}

A::setup('A');
A::out(); // 'A'
B::out(); // null
C::out(); // null

B::setup('B');
A::out(); // 'A'
B::out(); // 'B'
C::out(); // null

C::setup('C');
A::out(); // 'A'
B::out(); // 'B'
C::out(); // 'C'

?>

现在，就我而言，这几乎是静态继承所需要的行为，但是，将 static::$a =& $v; 更改为 static::$ a = $v; (无引用)你得到了我预期的行为，即:

'A'
'A'
'A'

'B'
'B'
'B'

'C'
'C'
'C'

谁能解释一下这是为什么？我无法理解引用如何以任何方式影响静态继承:/

更新:

基于 Artefacto's answer ，在基类(在本例中为 A)中具有以下方法，并在类声明产生上面标记为“期望”的行为后调用它，而无需在 setter 中通过引用分配，同时在使用 self 时保留结果: : 正如上面的“预期”行为。

/*...*/
public static function break_static_references() {
    $self = new ReflectionClass(get_called_class());
    foreach($self->getStaticProperties() as $var => $val)
        static::$$var =& $val;
}
/*...*/
A::break_static_references();
B::break_static_references();
C::break_static_references();
/*...*/

Answer 1

TL;DR 版本

静态属性 $a 在每个类中都是不同的符号，但在 $a = 1; 中，它实际上是同一个变量。 $b = &$a;、$a 和 $b 是相同的变量(即，它们在相同的引用集上)。当进行简单赋值时($b = $v;)，两个符号的值都会改变；当通过引用进行赋值时 ($b = &$v;)，只有 $b 会受到影响。

原版

首先，让我们了解静态属性是如何“继承”的。 zend_do_inheritance 迭代调用 inherit_static_prop 的父类(super class)静态属性:

zend_hash_apply_with_arguments(&parent_ce->default_static_members TSRMLS_CC,
    (apply_func_args_t)inherit_static_prop, 1, &ce->default_static_members);

其中的定义是:

static int inherit_static_prop(zval **p TSRMLS_DC, int num_args,
    va_list args, const zend_hash_key *key)
{
    HashTable *target = va_arg(args, HashTable*);

    if (!zend_hash_quick_exists(target, key->arKey, key->nKeyLength, key->h)) {
        SEPARATE_ZVAL_TO_MAKE_IS_REF(p);
        if (zend_hash_quick_add(target, key->arKey, key->nKeyLength, key->h, p,
                sizeof(zval*), NULL) == SUCCESS) {
            Z_ADDREF_PP(p);
        }
    }
    return ZEND_HASH_APPLY_KEEP;
}

让我们翻译一下。 PHP 使用写时复制，这意味着如果值具有相同的内容，它将尝试共享值的相同实际内存表示 (zval)。 inherit_static_prop 为每个父类(super class)静态属性调用，以便可以将其复制到子类。 inherit_static_prop 的实现确保子类的静态属性将是 PHP 引用，无论父类的 zval 是否共享(特别是，如果父类(super class)有引用，子类将共享zval，如果不存在，zval 将被复制，新的 zval 将被引用；第二种情况我们在这里并不真正感兴趣。

所以基本上，当 A、B 和 C 形成时，$a 将是每个类的不同符号(即，每个类都有其属性哈希表，每个哈希表都有其属性$a 自己的条目)，但底层 zval 将是相同的并且它将是一个引用。

你有这样的东西:

A::$a -> zval_1 (ref, reference count 3);
B::$a -> zval_1 (ref, reference count 3);
C::$a -> zval_1 (ref, reference count 3);

因此，当你做一个正常的作业时

static::$a = $v;

因为所有三个变量共享相同的 zval 及其引用，所以所有三个变量都将采用值 $v。如果你这样做，结果会是一样的:

$a = 1;
$b = &$a;
$a = 2; //both $a and $b are now 1

另一方面，当你这样做的时候

static::$a =& $v;

您将打破引用集。假设您在 A 类中进行。您现在拥有:

//reference count is 2 and ref flag is set, but as soon as
//$v goes out of scope, reference count will be 1 and
//the reference flag will be cleared
A::$a -> zval_2 (ref, reference count 2);

B::$a -> zval_1 (ref, reference count 2);
C::$a -> zval_1 (ref, reference count 2);

类似的是

$a = 1;
$b = &$a;
$v = 3;
$b = &$v; //$a is 1, $b is 3

解决方法

正如 Gordon 现已删除的答案中的特色，三个类的属性之间的引用集也可以通过在每个类中重新声明属性来打破:

class B extends A { protected static $a; }
class C extends A { protected static $a; }

这是因为如果属性被重新声明，它不会从父类(super class)复制到子类(参见条件 if (!zend_hash_quick_exists(target, key->arKey, key->nKeyLength, key->h) ) 在 inherit_static_prop 中。