自 PHP 5.4.0 起，PHP 實現了代碼復用的一個方法，稱為 traits。

Traits 是一種為類似 PHP 的單繼承語言而準備的代碼復用機制。Trait 為了減少單繼承語言的限制，使開發人員能夠自由地在不同層次結構內獨立的類中復用方法集。Traits 和類組合的語義是定義了一種方式來減少復雜性，避免傳統多繼承和混入類（Mixin）相關的典型問題。

Traits 和一個類相似，但僅僅旨在用細粒度和一致的方式來組合功能。Trait 不能通過它自身來實例化。它為傳統繼承增加了水平特性的組合；也就是說，應用類的成員不需要繼承。

Example #1 Trait 示例

trait ezcReflectionReturnInfo{ function getReturnType(){} function getReturnDescription(){}}class ezcReflectionMethod extends ReflectionMethod{ use ezcReflectionReturnInfo;}class ezcReflectionFunction extends ReflectionFunction{ use ezcReflectionReturnInfo;}優先級

從基類繼承的成員被 trait 插入的成員所覆蓋。優先順序是來自當前類的成員覆蓋了 trait 的方法，而 trait 則覆蓋了被繼承的方法。

Example #2 優先順序示例

從基類繼承的成員被插入的 SayWorld Trait 中的 MyHelloWorld 方法所覆蓋。其行為 MyHelloWorld 類中定義的方法一致。優先順序是當前類中的方法會覆蓋 trait 方法，而 trait 方法又覆蓋了基類中的方法:

class Base{ public function sayHello(){echo 'Hello '; }}trait SayWorld{ public function sayHello(){parent::sayHello();echo ’World!’; }}class MyHelloWorld extends Base{ use SayWorld;}$o = new MyHelloWorld();$o -> sayHello();

輸出結果：

Hello World!

Example #3 另一個優先級順序的例子

trait HelloWorld{ public function sayHello(){echo ’Hello World!’; }}class TheWorldIsNotEnough{ use HelloWorld; public function sayHello(){echo ’Hello Universe!’; }}$o = new TheWorldIsNotEnough;$o -> sayHello();

輸出結果：

Hello Universe!

通過逗號分隔，在 use 聲明列出多個 trait，可以都插入到一個類中。

Example #4 多個 trait 的用法

trait Hello{ public function sayHello(){echo ’Hello ’; }}trait World{ public function sayWorld(){echo ’World’; }}class MyHelloWorld{ use Hello,World; public function sayExclamationMark(){echo ’!’; }}$o = new MyHelloWorld();$o -> sayHello();$o -> sayWorld();$o -> sayExclamationMark();

輸出結果：

Hello World!

如果兩個 trait 都插入了一個同名的方法，如果沒有明確解決沖突將會產生一個致命錯誤。

為了解決多個 trait 在同一個類中的命名沖突，需要使用 insteadof 操作符來明確指定使用沖突方法中的哪一個。

以上方式僅允許排除掉其它方法，as 操作符可以將其中一個沖突的方法以另一個名稱來引入。

Example #5 沖突的解決

在本例中 Talker 使用了 trait A 和 B。由于 A 和 B 有沖突的方法，其定義了使用 trait B 中的 smallTalk 以及 trait A 中的 bigTalk。

Aliased_Talker 使用了 as 操作符來定義了 talk 來作為 B 的 bigTalk 的別名。

trait A{ public function smallTalk(){echo ’a’; } public function bigTalk(){echo ’A’; }}trait B{ public function smallTalk(){echo ’b’; } public function bigTalk(){echo ’B’; }}class Talker{ use A,B{B::smallTalk insteadof A;A::bigTalk insteadof B; }}class Aliased_Talker{ use A,B{B::smallTalk insteadof A;A::bigTalk insteadof B;B::bigTalk as talk; }}$t = new Talker;$t->smallTalk(); //b$t->bigTalk(); //A$at = new Aliased_Talker;$at->smallTalk(); //b$at->bigTalk(); //A$at->talk(); //B修改方法的訪問控制

使用 as 語法還可以用來調整方法的訪問控制。

Example #6 修改方法的訪問控制

trait HelloWorld{ public function sayHello(){echo ’Hello World!’; }}//修改sayHello的訪問控制class MyClass1{ use HelloWorld{sayHello as protected; }}//給方法一個改變了訪問控制的別名//原版sayHello的訪問控制則沒有發生變化class MyClass2{ use HelloWorld{sayHello as private myPrivateHello;}}從 trait 來組成 trait

正如類能夠使用 trait 一樣，其它 trait 也能夠使用 trait。在 trait 定義時通過使用一個或多個 trait，它能夠組合其它 trait 中的部分或全部成員。

Example #7 從 trait 來組成 trait

trait Hello{ public function sayHello(){echo ’Hello ’; }}trait World{ public function sayWorld(){echo ’World!’; }}trait HelloWorld{ use Hello,World;}class MyHelloWorld{ use HelloWorld;}$o = new MyHelloWorld;$o -> sayHello();$o -> sayWorld();

輸出結果：

Hello World!

為了對使用的類施加強制要求，trait 支持抽象方法的使用。

Example #8 表示通過抽象方法來進行強制要求

trait Hello{ public function sayHelloWorld(){echo ’Hello’.$this->getWorld(); } abstract public function getWorld();}class MyHelloWorld{ private $world; use Hello; public function getWorld(){return $this->world; } public function setWorld($val){$this->world = $val; }}Trait 的靜態成員

靜態變量可以被 trait 的方法引用，但不能被 trait 定義。但是 trait 能夠為使用的類定義靜態方法。

Example #9 靜態變量

trait Counter{ public function inc(){static $c = 0;$c = $c + 1;echo '{$c}<br>'; }}class C1{ use Counter;}class C2{ use Counter;}$o = new C1();$o->inc(); //echo 1$p = new C2;$p->inc(); //echo 1

Example #10 靜態方法

trait StaticExample{ public static function doSomething(){return ’Doing something.’; }}class Example{ use StaticExample;}Example::doSomething();

輸出結果：Doing something.

Example #11 定義屬性

trait PropertiesTrait{ public $x = 1;}class PropertiesExample{ use PropertiesTrait;}$example = new PropertiesExample;$example->x;

如果 trait 定義了一個屬性，那類將不能定義同樣名稱的屬性，否則會產生一個錯誤。如果該屬性在類中的定義與在 trait 中的定義兼容（同樣的可見性和初始值）則錯誤的級別是?E_STRICT，否則是一個致命錯誤。

Example #12 沖突

trait PropertiesTrait{ public $sname = true; public $different = false;}class PropertiesExample{ use PropertiesTrait; public $sname = true; //Strict Standards public $different = true; //致命錯誤}