为什么 PHP 的空合并运算符 (??) 不能处理具有不同可见性的类常量？

考虑下面的例子。 A类有private const SOMETHING，但是 b 类有protected const SOMETHING.

class a {
    private const SOMETHING = 'This is a!';

    public static function outputSomething() {
        return static::SOMETHING ?? self::SOMETHING;
    }
}

class b extends a {
    protected const SOMETHING = 'This is b!';
}

echo (new b())::outputSomething();

Output:

This is b!

但现在如果我注释掉定义SOMETHING在b类中，抛出错误：

class a {
    private const SOMETHING = 'This is a!';

    public static function outputSomething() {
        return static::SOMETHING ?? self::SOMETHING;
    }
}

class b extends a {
    //protected const SOMETHING = 'This is b!';
}

echo (new b())::outputSomething();

Output:

Fatal error: Uncaught Error: Cannot access private const b::SOMETHING in {file}.php:7

但是，改变可见性private const SOMETHING to protected const SOMETHING在a类中修复了这个问题。

class a {
    protected const SOMETHING = 'This is a!';

    public static function outputSomething() {
        return static::SOMETHING ?? self::SOMETHING;
    }
}

class b extends a {
    //protected const SOMETHING = 'This is b!';
}

echo (new b())::outputSomething();

现在输出符合预期：

This is a!

我不明白为什么 php 在应用空合并运算符之前评估 b::SOMETHING ，根据文档 http://php.net/manual/en/migration70.new-features.php:

添加了空合并运算符 (??) 作为语法糖 对于需要结合使用三元的常见情况 伊塞特（）。如果第一个操作数存在且不为 NULL，则返回； 否则返回第二个操作数。

由于未设置 b::SOMETHING，为什么第一个示例不起作用并且基类中的常量需要一致的可见性？

感谢@Devon 和@Dormilich 的回复。

TL;DR：您不能使用空合并运算符（??）与常数。你必须使用defined()反而。

根据空合并运算符 (??) 的文档 http://php.net/manual/en/migration70.new-features.php:

添加了空合并运算符 (??) 作为语法糖 对于需要结合使用三元的常见情况 伊塞特（）。如果第一个操作数存在且不为 NULL，则返回； 否则返回第二个操作数。

意思是$x ?? $y是简写isset($x) ? $x : $y。而这就是问题所在，因为isset 的文档 http://php.net/manual/en/function.isset.php明确指出：

警告：isset() 只适用于传递其他任何内容的变量 将导致解析错误。要检查常量是否已设置，请使用 定义的()函数。

这就是引发我在问题中描述的致命 php 错误的原因。相反，解决方案是取消空合并运算符并将其替换为defined():

class a {
    private const SOMETHING = 'This is a!';

    public static function outputSomething() {
        return defined('static::SOMETHING') ? static::SOMETHING : self::SOMETHING;
    }
}

class b extends a {
    //protected const SOMETHING = 'This is b!';
}

echo (new b())::outputSomething();

第二个解决方案是首先改变代码的工作方式。正如@Devon 正确指出的那样，private的可见性a::SOMETHING防止 b 类看到它，所以b::SOMETHING没有定义。然而，当可见度a::SOMETHING更改为protected，b类可以看到它并且b::SOMETHING引用它。此代码根本不需要空合并运算符，只需使用static::SOMETHING没有任何条件：

class a {
    protected const SOMETHING = 'This is a!';

    public static function outputSomething() {
        return static::SOMETHING;
    }
}

class b extends a {
    //protected const SOMETHING = 'This is b!';
}

echo (new b())::outputSomething();