为什么 php 允许在子类中更改 const？

Question

我不明白为什么下面的代码有效。 STEALTH 不是在子类中重新定义...尽管它在父类中声明为 const 吗？仅供参考，我的印象是const 阻止了变量被重新定义！

  class Person {
    const STEALTH = "MINIMUM";
  }

  class Ninja extends Person {          
    const STEALTH = "MAXIMUM";
  }

  echo Ninja::STEALTH; // prints out 'MAXIMUM'

请注意，我不是在询问范围解析运算符。我想我理解打印出Ninja::STEALTH 和Person::STEALTH 之间的区别。我很惊讶 ninja 能够继承一个 const 变量，但又能够重新定义它！

Answer 1

const 仅表示该值不能在运行时更改。它不限制类独立定义同名常量；唯一的问题是继承规则将定义父值何时以及如何被子值遮蔽。

Answer 2

我的印象是 const 会阻止重新定义变量！

const 阻止修改值。

无法使用define() 定义具有相同名称的两个不同对象。也不可能使用const 定义具有相同名称的两个不同对象。 const 类成员始终使用其全名（类名 + :: + 常量名）访问。

Person 类定义的STEALTH 常量的名称是Person::STEALTH。 Ninja 类声明了常量Ninja::STEALTH。

它们是不同的对象。

const（和static）类属性的继承方式与实例属性不同。如果基类定义的const属性未被子类定义的另一个同名对象屏蔽，则基类const属性被复制到子类中，可以使用子类名访问。

例如：

class Person {
    const STEALTH = "MINIMUM";
}

class Citizen extends Person {

}

class Ninja extends Person {          
    const STEALTH = "MAXIMUM";
}

echo Person::STEALTH;    // prints out 'MINIMUM'
echo Citizen::STEALTH;   // prints out 'MINIMUM'; same as Person::STEALTH 
echo Ninja::STEALTH;     // prints out 'MAXIMUM'

因为Citizen 类扩展了Person 类并且它没有定义自己的STEALTH 常量，所以Citizen::STEALTH 是Person::STEALTH 的副本¹。

类常量是具有花哨名称的全局对象（以及自 PHP 7.0 起的类可见性修饰符）。