4种写法替代PHP Traits：TypeScript的取舍逻辑

PHP开发者打开TypeScript代码库，输入trait，红线报错。这个关键词不存在，也永远不会存在。但TypeScript给了四种替代方案，每种都能在调用点看到明确的取舍。

一个PHP trait的典型场景

Post和Comment都需要时间戳功能：touch()更新状态，age()计算存在时长。PHP用trait解决——编译时复制代码，不破坏单继承。

「The trait is copied in at compile time and the class behaves as if you had written the methods directly.」这是PHP trait的核心契约，也是迁移到TypeScript时必须翻译的本质。

TypeScript的设计方向完全不同。它不提供trait关键字，而是给出四种惯用写法，覆盖几乎相同的使用场景。

方案一：混入（Mixin）——最接近trait的形态

函数接收基类，返回带额外方法的子类。类型系统保留交集，调用点同时看到基类和混入的能力。

代码结构清晰：HasTimestamps函数接收Constructor类型参数，内部class extends Base，添加private字段createdAt/updatedAt，实现touch()和age()方法。Post类通过extends HasTimestamps(PostBase)获得全部能力。

编译器能正确推断p.touch()和p.age()的类型。这是四种方案中语义最接近PHP trait的——运行时仍然是原型链继承，但写法上实现了代码复用。

代价也明显：调用点看到HasTimestamps(PostBase)这层包装，继承链变深，调试时堆栈多一层。PHP开发者需要适应这种"函数式继承"的视角转换。

方案二：接口+实现分离——显式契约

如果多个类需要相同行为，但实现细节允许差异，TypeScript惯用interface定义契约，由每个类自行实现。

这种写法放弃了代码复用，换取的是编译期强制检查。每个实现类必须显式声明implements Timestamps，方法签名不匹配立即报错。

适合场景：行为语义一致，但实现因类而异。比如不同存储介质的touch()操作，数据库模型和文件系统模型的具体逻辑完全不同。

方案三：组合优于继承——委托模式

类包含一个Timestamps实例，通过转发方法暴露能力。这是Go语言推崇的路线，TypeScript同样适用。

结构变化：Post类有title字段和timestamps属性，touch()和age()方法内部调用this.timestamps对应方法。状态存储在组合对象中，而非类自身。

优势是调用点完全清晰——Post的实例有哪些方法，看类定义一目了然。没有隐藏的继承链，没有混入带来的类型黑箱。

代价是样板代码增加。每个转发方法都要手写，或者借助装饰器/代理减少重复。PHP开发者常在此处犹豫： trait的编译时复制是零成本抽象，组合模式有运行时开销和代码冗余。

方案四：高阶函数——行为即数据

把touch和age实现为独立函数，类通过bind或箭头函数关联。这是JavaScript生态的函数式遗产。

写法彻底不同：没有类方法，只有纯函数操作对象状态。TimestampsBehavior接收对象字面量，返回带方法的新对象。

适合场景：行为需要动态组合，或同一实例在不同时刻需要不同能力。React的Hooks思维与此同源——函数闭包替代对象状态。

类型推导更复杂。需要精确标注this上下文，或改用显式参数传递对象。对习惯OOP的PHP开发者，这是思维跨度最大的方案。

四种方案的决策规则

选择依据不是"哪个更像PHP trait"，而是调用点想看到什么。

需要基类能力+混入能力同时可见，选Mixin。需要强制契约检查，选Interface+Implementation。需要状态隔离和清晰结构，选Composition。需要动态行为组合，选Higher-Order Function。

TypeScript的设计哲学在此体现：不隐藏取舍。PHP trait的编译时复制是隐形魔法，开发者看不到代价。TypeScript的四种写法把代价摊在调用点，迫使你为每个场景做显式选择。

这是语言演进的分野。PHP从实用主义出发，给开发者最省力的工具。TypeScript从可维护性出发，要求代码的意图和成本对阅读者透明。

迁移代码库时，常见错误是强行用Mixin复刻所有PHP trait。实际上，一个大型项目中四种方案往往并存——领域模型用Composition保证边界清晰，工具类用Mixin快速叠加能力，跨平台抽象用Interface定义契约，数据转换管道用高阶函数组合行为。

最终判断标准：六个月后回看这段代码，能否在调用点三秒内理解数据流向和状态归属。TypeScript的四种写法，本质是四种不同的"可读性契约"。