面向对象编程

是什么，为什么存在

面向对象编程（object-oriented programming，OOP）用类描述一类值允许保存的状态和执行的操作。对象是类在运行时的实例；同一个类可以创建多个对象，每个对象都有自己的 对象标识（object identity） 。类不是业务实体的机械复刻，而是一种为代码划定职责、状态所有权和调用边界的工具。

OOP 解决的核心问题不是减少字符，而是让有效状态和允许的变化集中在一处。 封装（encapsulation） 把内部表示藏在公开 API 后面，调用方只表达意图，不直接拼装对象内部。这样，余额不能凭空变成负数、订单不能跳过必要状态，相关规则也不必散落在每个调用点。

你会在服务、领域模型、框架控制器、数据库实体和值对象中遇到 PHP 类。对象尤其适合有明确生命周期、多个相关操作或可替换协作者的概念。若数据只是短暂传递且没有行为，带清楚键结构的数组也可能更直接，不必把每组字段都包装成类。

类可以实现接口、继承一个父类，并使用 trait。接口声明调用方可依赖的能力，继承表达可替换的类型关系，trait 复用实现片段。三者目的不同；本主题聚焦类、接口和继承，横向复用与引擎钩子分别由 php/traits 和 php/magic-methods 展开。

工作原理

class 声明定义属性和方法。属性保存对象状态，实例方法通过 $this 访问当前对象；调用方使用 -> 访问实例成员，使用 :: 访问类常量和静态成员。属性与方法的 public、protected、private 可见性决定哪些作用域能够访问它们。

public 是对调用方的长期承诺，适合稳定操作。private 把表示与辅助步骤留在声明类内部，子类也不能直接访问；protected 同时向所有子类开放，因此会扩大继承契约。默认选择最窄可见性，再因为真实调用需要而放宽，通常比先公开再收回兼容性更好。

带类型属性在第一次赋值前处于未初始化状态，而不是自动得到 null。读取未初始化属性会抛出 Error；需要 null 时必须把类型写成可空，并显式初始化。构造器应在对象交给调用方前完成所有必需赋值，并建立 类不变量（class invariant） 。

构造器参数前带可见性时，PHP 会使用 构造器属性提升（constructor property promotion） 同时声明并初始化属性。提升减少重复语法，但不会替代校验；构造器体仍应拒绝非法组合。readonly 属性限制属性重新赋值，却不会递归冻结属性指向的对象。

接口只规定公开契约，不保存普通实例状态。类可以实现多个接口，但每个方法签名都必须与接口兼容。接收接口类型而不是具体实现，使调用方能替换策略、传入测试替身，并把对象创建留在程序的组合边界。

PHP 类只能直接继承一个父类。子类继承可访问成员，可以覆盖允许覆盖的方法，并通过 parent:: 调用父类实现。运行时通过父类型调用方法，却执行实际子类的覆盖实现，这就是 子类型多态（subtype polymorphism） 。

继承只有在子类能在父类契约允许的每个位置正确工作时才成立。若只是想复用一段实现，持有协作者的 组合（composition） 通常更清楚。组合让依赖成为构造器参数，也能避免子类依赖父类的受保护内部状态。

下面的关系图展示了依赖方向。Checkout 只认识 ShippingPolicy；启动代码决定注入固定运费还是满额免运费策略。

对象变量保存能定位对象的标识。把一个对象变量赋给另一个变量不会复制对象，两个变量仍访问同一个实例；这与使用 & 创建变量引用不是一回事。clone 才创建新对象标识，而且默认只浅复制属性。

示例

下面四个示例从一个守住自身状态的类开始，再加入可替换策略、受控继承和对象身份。所有输出都由本地 PHP 8.3.33 CLI 实际执行对应文件得到。

在构造器建立有效状态

CartLine 不暴露可写属性。构造器和 add() 是数量进入对象的两个入口，因此校验集中在这两处。

提升参数会成为私有属性，但调用方不需要知道内部字段怎样保存。只要所有公开操作都维护正数价格和数量，不变量在每次可观察状态中都成立。若货币需要小数或币种，应建立专门的金额类型，而不是悄悄改用二进制浮点数。

通过接口替换策略

结账对象依赖一个很窄的运费接口。两个策略拥有不同状态和算法，Checkout 无需用类型判断选择分支。

<?php
declare(strict_types=1);

interface ShippingPolicy
{
    public function fee(int $subtotalCents): int;
}
final class FlatRate implements ShippingPolicy
{
    public function __construct(private int $feeCents) {}

    public function fee(int $subtotalCents): int
    {
        return $this->feeCents;
    }
}
final class FreeOverThreshold implements ShippingPolicy
{
    public function __construct(
        private int $thresholdCents,
        private int $feeCents,
    ) {}

    public function fee(int $subtotalCents): int
    {
        return $subtotalCents >= $this->thresholdCents ? 0 : $this->feeCents;
    }
}
final class Checkout
{
    public function __construct(private ShippingPolicy $shipping) {}

    public function total(int $subtotalCents): int
    {
        return $subtotalCents + $this->shipping->fee($subtotalCents);
    }
}

echo 'standard=', (new Checkout(new FlatRate(600)))->total(5000), "\n";
echo 'campaign=', (new Checkout(new FreeOverThreshold(5000, 600)))->total(5000), "\n";

standard=5600
campaign=5000

构造器注入让依赖在对象创建时就完整可见。测试可以传入实现同一接口的确定性策略，生产启动代码则选择真实策略。接口并不自动保证金额为正，领域约束仍要由接收输入的边界验证。

用抽象类固定流程

抽象类适合共享状态和固定算法骨架。这里 deliver() 是不可覆盖的公开流程，子类只提供格式化步骤，因此父类契约不会被子类跳过。

<?php
declare(strict_types=1);

abstract class Message
{
    public function __construct(protected string $recipient) {}

    final public function deliver(): string
    {
        return 'send ' . $this->format();
    }

    abstract protected function format(): string;
}

final class EmailMessage extends Message
{
    protected function format(): string
    {
        return "email to {$this->recipient}";
    }
}

final class SmsMessage extends Message
{
    protected function format(): string
    {
        return "sms to {$this->recipient}";
    }
}

function preview(Message $message): void
{
    echo $message->deliver(), "\n";
}

preview(new EmailMessage('[email protected]'));
preview(new SmsMessage('+33123456789'));

send email to [email protected]
send sms to +33123456789

preview() 只依赖父类型，却得到实际子类的行为。这个设计要求每个子类都能接受 Message 承诺的使用方式；如果某个渠道需要完全不同的生命周期或错误政策，一个共同接口配合组合可能比共享父类更合适。

区分赋值与克隆

对象赋值复制的是访问同一对象的标识。克隆得到新标识；本例只含整数属性，所以默认浅复制已经足够。

<?php
declare(strict_types=1);

final class CreditBalance
{
    public function __construct(private int $cents) {}

    public function deposit(int $cents): void
    {
        if ($cents <= 0) {
            throw new InvalidArgumentException('Deposit must be positive');
        }
        $this->cents += $cents;
    }

    public function amount(): int
    {
        return $this->cents;
    }
}

$account = new CreditBalance(1000);
$alias = $account;
$alias->deposit(250);
$copy = clone $account;
$copy->deposit(100);

echo 'same-instance=', $alias === $account ? 'yes' : 'no', "\n";
echo 'original=', $account->amount(), "\n";
echo 'clone=', $copy->amount(), "\n";

same-instance=yes
original=1250
clone=1350

$alias 上的修改能从 $account 观察到，因为两者定位同一实例。$copy 起初取得相同整数状态，之后独立变化。若属性包含其他对象，默认克隆仍会共享那些嵌套实例；需要怎样复制取决于所有权契约，而不是一律递归克隆。

陷阱

**修复方法：**在构造器接收必需状态，用私有属性和验证过的方法处理变化。可选状态也要显式设定默认值；不要把未初始化当作 null。

**修复方法：**子类需要父类初始化时显式调用 parent::__construct()，并在测试中立即执行依赖父类状态的公开操作。若每个子类都必须记住复杂初始化协议，考虑用 final 构造流程、工厂或组合重新划分职责。

**修复方法：**先写调用方真正需要的接口，再判断实现之间是否存在稳定的「是一种」关系。只有复用需求时，把行为放进协作者并通过构造器组合。

**修复方法：**把只读看作赋值限制，不是深度不可变承诺。需要不可变对象图时，让嵌套类型也不提供修改操作，并避免泄漏可变内部对象。

**修复方法：**根据领域语义明确选择。实体通常按稳定标识比较，值对象应提供能说明含义的相等方法；只在确实需要同一实例时使用 ===。

延伸阅读

• PHP 手册：类与对象基础
• PHP 手册：可见性
• PHP 手册：构造器与析构器
• PHP 手册：对象接口
• PHP 手册：对象继承
• PHP 手册：对象与引用