编辑“︁PHP属性重写”︁

= PHP属性重写 =

'''PHP属性重写'''（Property Overriding）是面向对象编程中继承特性的重要组成部分，允许子类重新定义从父类继承的属性。这一机制与[[方法重写]]（Method Overriding）类似，但专门针对类属性的可见性和默认值进行修改。

== 基本概念 ==

在PHP中，当子类继承父类时，子类可以声明与父类同名的属性，此时子类属性会'''覆盖'''（override）父类属性的值或可见性。属性重写需遵循以下规则：
* 子类属性的可见性不能比父类更严格（例如父类属性为<code>protected</code>时，子类不能改为<code>private</code>）。
* 静态属性（static）和非静态属性（non-static）不能互相覆盖。

=== 语法示例 ===
<syntaxhighlight lang="php">
class ParentClass {
    public $property = "父类属性值";
    protected $hiddenProperty = "受保护的属性";
}

class ChildClass extends ParentClass {
    public $property = "子类重写后的值"; // 合法重写
    private $hiddenProperty = "尝试改为private"; // 错误！可见性不能更严格
}
</syntaxhighlight>

== 深度解析 ==

=== 可见性规则 ===
PHP对属性重写的可见性限制可通过下表说明：

{| class="wikitable"
|+ 属性重写可见性规则
! 父类属性可见性 !! 子类允许的可见性
|-
| <code>public</code> || <code>public</code>
|-
| <code>protected</code> || <code>protected</code> 或 <code>public</code>
|-
| <code>private</code> || 不允许重写（因为不可继承）
|}

=== 静态属性重写 ===
静态属性的重写需保持<code>static</code>声明一致：
<syntaxhighlight lang="php">
class StaticParent {
    public static $count = 0;
}

class StaticChild extends StaticParent {
    public static $count = 100; // 合法重写
}
</syntaxhighlight>

== 实际案例 ==

=== 场景：配置继承 ===
考虑一个CMS系统中的配置基类与主题子类：
<syntaxhighlight lang="php">
class BaseConfig {
    public $themeColor = "#FFFFFF";
    protected $maxUploadSize = "2MB";
}

class DarkThemeConfig extends BaseConfig {
    public $themeColor = "#121212"; // 重写默认白色
    public $maxUploadSize = "5MB";  // 改为public并修改值
}

$config = new DarkThemeConfig();
echo $config->themeColor; // 输出 "#121212"
</syntaxhighlight>

=== 输出结果分析 ===
通过<mermaid>
classDiagram
    class BaseConfig {
        +themeColor = "#FFFFFF"
        #maxUploadSize = "2MB"
    }
    class DarkThemeConfig {
        +themeColor = "#121212"
        +maxUploadSize = "5MB"
    }
    BaseConfig <|-- DarkThemeConfig
</mermaid>

== 高级话题 ==

=== 动态属性访问 ===
使用<code>__get()</code>和<code>__set()</code>魔术方法时，属性重写行为会发生变化：
<syntaxhighlight lang="php">
class DynamicParent {
    private $data = [];
    
    public function __set($name, $value) {
        $this->data[$name] = $value;
    }
}

class DynamicChild extends DynamicParent {
    public $data = []; // 不会影响父类的__set操作
}
</syntaxhighlight>

=== 类型声明影响 ===
PHP 7.4+的类型属性会影响重写行为：
<syntaxhighlight lang="php">
class TypedParent {
    public int $value = 0;
}

class TypedChild extends TypedParent {
    public ?int $value = null; // 合法：子类类型更宽松
    // public string $value = ""; // 错误！类型不兼容
}
</syntaxhighlight>

== 常见问题 ==

'''Q：属性重写与方法重写有何不同？'''<br/>
A：主要区别在于：
* 方法重写可以改变参数列表（通过[[协变与逆变]]），属性重写只能修改值和可见性
* 方法有<code>final</code>修饰符限制，属性没有

'''Q：为什么private属性不能重写？'''<br/>
A：因为private成员对子类不可见，实际是子类声明了'''全新属性'''，可通过以下代码验证：
<syntaxhighlight lang="php">
class PrivateTest {
    private $test = "parent";
    public function show() { echo $this->test; }
}

class Child extends PrivateTest {
    private $test = "child";
}

$obj = new Child();
$obj->show(); // 输出 "parent" 而非 "child"
</syntaxhighlight>

== 最佳实践 ==
* 优先使用方法而非属性重写来实现多态
* 使用<code>protected</code>而非<code>private</code>以便未来扩展
* 在PHP 7.4+中始终添加类型声明
* 考虑使用设计模式（如[[策略模式]]）替代大规模属性重写

== 数学表示 ==
属性重写的可见性关系可用偏序关系表示：
<math>
\text{visibility}_{\text{child}} \leq \text{visibility}_{\text{parent}}
</math>
其中顺序为：<math>\text{private} < \text{protected} < \text{public}</math>

[[Category:编程语言]]
[[Category:PHP]]
[[Category:PHP继承与多态]]