Trait

是什么，为什么存在

Trait 是 PHP 的横向代码复用机制。一个类只能继承一个父类，却可以 use 多个 Trait；Trait 因而能把同一组成员放进彼此无关的类，而不必制造一个不自然的公共父类。

Trait 看起来像类，也能声明具体方法、抽象方法、属性、静态成员和常量，但它没有独立实例。PHP 在定义使用方的类时组合这些成员；对象仍然是使用方类的实例，方法调用中的 $this 也指向该对象。

这解决的是实现复用，不是类型契约。调用方不能仅凭某个类使用了 Trait，就通过 Trait 名称稳定地要求一种能力。需要可替换实现时，应让类实现接口；Trait 可以为多个实现类提供接口方法的共同实现。

Trait 适合细粒度、内聚而且在多个类中确实相同的行为，例如统一格式化标识或记录领域事件。若行为需要可替换的服务、独立生命周期或大量配置，构造器注入的 对象组合（composition） 通常更清楚，也更容易单独测试。

「横向组合」和对象组合不是同一件事。Trait 把成员纳入使用方类；对象组合则让一个对象持有协作者，并通过明确引用转发工作。前者复用实现，后者保留运行时边界。

工作原理

解析类声明时，PHP 会处理其中的 use。可以把结果理解为 Trait 成员成为使用方类的成员，但这不是简单的文本粘贴：语言仍会执行方法优先级、签名兼容性、属性兼容性和可见性检查。

普通方法的优先级固定为「当前类、Trait、父类」。因此，Trait 方法会覆盖继承来的同名方法，而当前类自己声明的同名方法又会覆盖 Trait 方法。这个顺序不需要 insteadof。

两个被使用的 Trait 若提供同名方法，PHP 不会猜测意图。类必须在 use 适配块中用 TraitA::method insteadof TraitB 选出一个实现，否则类声明产生致命错误。

as 创建另一个入口，也可以调整该入口的可见性；它不会把原方法删除或改名。通常先用 insteadof 选出默认实现，再为被排除的实现建立别名，才能同时保留两个版本。

Trait 可以用抽象方法列出具体方法所依赖的宿主操作。使用方类或它的父类必须提供兼容实现；这样，隐藏的 $this->property 假设就能变成编译器可检查的方法需求。

接口与 Trait 经常配合，但职责不同。下面的对比以 PHP 8.3 为准；该版本的接口方法没有方法体，接口属性则是 PHP 8.4 才加入的能力。

Trait 属性会成为每个对象的属性，静态属性则属于最终形成的类级存储。这里最容易出错的是把「复用一份声明」误解成「所有对象或所有类共享同一份状态」；实例、类和继承层次必须分别判断。

示例

下面四个示例依次展示基本复用、同名方法适配、成员优先级和 PHP 8.3 的静态属性规则。每个文件都使用本地 PHP 8.3.33 实际执行，输出来自对应命令。

用抽象方法声明宿主需求

FormatsReference 只实现格式化算法，把前缀与数字来源留给使用方。接口则让调用方能够依赖 reference()，不必知道类使用了哪个 Trait。

两个类复用同一个具体方法，却各自提供 Trait 要求的受保护操作。示例没有验证 ID，因为 Trait 不知道领域是否允许零或负数；该不变量应由各使用方在构造边界明确决定。

如果只写 Trait 而不写 Referenceable，实现仍能工作，但调用方只能依赖具体类或另建约定。接口与 Trait 同时出现不是重复：一个描述外部可见能力，另一个消除实现重复。

解决两个 Trait 的方法冲突

两个格式化 Trait 都声明 format()。适配块选择 JSON 作为默认格式，同时为文本版本保留 formatText() 入口。

<?php
declare(strict_types=1);

trait TextFormatter
{
    public function format(array $record): string
    {
        return sprintf('%s#%d', $record['event'], $record['id']);
    }
}

trait JsonFormatter
{
    public function format(array $record): string
    {
        return json_encode($record, JSON_THROW_ON_ERROR);
    }
}

final class AuditFormatter
{
    use TextFormatter, JsonFormatter {
        JsonFormatter::format insteadof TextFormatter;
        TextFormatter::format as formatText;
    }
}

$formatter = new AuditFormatter();
$record = ['event' => 'paid', 'id' => 17];

echo $formatter->format($record), "\n";
echo $formatter->formatText($record), "\n";

{"event":"paid","id":17}
paid#17

insteadof 只决定两个 Trait 之间哪个实现占用原方法名。as formatText 没有修改 TextFormatter::format() 的实现，只是在最终类上为它增加了另一个名称。

若别名只供类内部使用，可以写成 TextFormatter::format as private formatText。这只会让新入口变成 private；原入口的可见性不会随之改变。

观察类、Trait 与父类的优先级

CsvImport 没有自己声明 source()，所以 Trait 覆盖父类实现。NamedImport 在类体中声明同名方法，因此类自己的实现获胜。

<?php
declare(strict_types=1);

trait DescribesSource
{
    public function source(): string
    {
        return 'trait';
    }
}

class BaseImport
{
    public function source(): string
    {
        return 'parent';
    }
}

class CsvImport extends BaseImport
{
    use DescribesSource;
}

final class NamedImport extends BaseImport
{
    use DescribesSource;

    public function source(): string
    {
        return 'class';
    }
}

echo (new BaseImport())->source(), "\n";
echo (new CsvImport())->source(), "\n";
echo (new NamedImport())->source(), "\n";

parent
trait
class

这项优先级在重构时很重要。给类增加一个同名方法可能悄悄替换原先的 Trait 行为；删除类方法则可能让调用落到 Trait，而不是落回父类。

若类需要扩展 Trait 实现，应先用 as 保存别名，再从类方法调用该别名。直接在覆盖方法中调用 $this->source() 只会再次进入当前方法并导致递归。

区分继承与再次使用 Trait

PHP 8.3 中，子类仅继承父类的 Trait 静态属性时，两者看到同一份类级存储；子类再次 use 该 Trait 后会得到独立静态属性。下面三次记录因此形成 2、2、1。

<?php
declare(strict_types=1);

trait CountsRuns
{
    public static int $runs = 0;

    public static function record(): void
    {
        static::$runs++;
    }
}

class BaseWorker
{
    use CountsRuns;
}

class InheritedWorker extends BaseWorker {}

class ReusingWorker extends BaseWorker
{
    use CountsRuns;
}

BaseWorker::record();
InheritedWorker::record();
ReusingWorker::record();

echo BaseWorker::$runs, "\n";
echo InheritedWorker::$runs, "\n";
echo ReusingWorker::$runs, "\n";

2
2
1

这不是每对象计数器。静态属性会跨该类的实例持续存在，在长生命周期工作进程和测试进程中也不会自动按请求清零。

PHP 8.3 改变的是子类再次使用同一 Trait 时的继承层次行为。维护需要兼容旧版本的库时，应把这个版本边界写进测试，不要靠「每个类各有一份」这样的简化口号。

陷阱

把 Trait 当作能力类型

修复方法： 为调用方真正需要的方法定义小接口，让使用方类实现该接口。Trait 可以提供接口方法的默认实现，但业务代码应依赖接口或具体领域类型。

隐藏对宿主类的假设

修复方法： 用抽象方法声明必要操作，让类自己的构造器建立不变量。Trait 确实需要私有内部状态时，使用足够具体的名称，并测试它与每个使用方的属性和生命周期是否兼容。

把 as 当成重命名

修复方法： 有冲突时先用 insteadof 选出原名称对应的实现，再按需要建立别名。分别检查原方法名与别名的最终可见性。

声明不兼容的同名属性或常量

修复方法： 避免让通用 Trait 拥有容易冲突的公共状态。必须保存内部状态时，统一由 Trait 声明并通过方法访问；升级 Trait 前，在所有使用方上执行加载与测试。

误判静态状态的所有者

修复方法： 通过使用方类访问静态成员，并针对父类、仅继承的子类和再次使用 Trait 的子类分别测试。请求级或租户级状态不要放在无边界的静态属性中。

用 Trait 隐藏服务依赖

修复方法： 把有生命周期的服务作为接口协作者注入类。Trait 保留纯粹、细粒度的算法，或者只调用由抽象方法明确声明的宿主操作。

延伸阅读

• PHP 手册：Trait
• PHP 手册：可见性
• PHP 手册：对象接口
• PHP 手册：ReflectionClass::getTraits()
• PHP 手册：ReflectionClass::getTraitAliases()