自 PHP 5.4.0 起,PHP 實現了一種代碼復用的方法,稱為 trait。
Trait 是為類似 PHP 的單繼承語言而准備的一種代碼復用機制。Trait 為了減少單繼承語言的限制,使開發人員能夠自由地在不同層次結構內獨立的類中復用 method。
Trait 是 PHP 多重繼承的一種解決方案。例如,需要同時繼承兩個 Abstract Class, 這將會是件很麻煩的事情,Trait 就是為了解決這個問題。
它為傳統繼承增加了水平特性的組合。
例子1: 使用trait關鍵字定義trait
trait first_trait{ public function hello(){ return 'hello'; } }
例子2: 在Class裡使用trait,要使用use關鍵字,使用多個trait時用英文逗號隔開
trait first_trait{ public function hello(){ return 'hello'; } } trait second_trait{ public function world(){ return 'world'; } } class first_class{ use first_trait,second_trait; } $obj=new first_class(); echo $obj->hello(); echo $obj->world();
例子3: 優先級
從基類繼承的成員會被 trait 插入的成員所覆蓋。優先順序是來自當前類的成員覆蓋了 trait 的方法,而 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!
例子:當前類的成員覆蓋了 trait 的方法
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!
例子4: trait之間的嵌套
trait first_trait{ public function hello(){ echo 'hello'; } } trait second_trait{ //trait之間的嵌套 use first_trait; public function world(){ echo 'world'; } } class first_class{ use second_trait; } $obj=new first_class(); echo $obj->hello(); echo $obj->world();
例子5: 可以在trait中聲明抽象方法,使用它的Class或trait必須實現抽象方法
trait first_trait{ public function hello(){ echo 'hello'; } //抽象方法 public abstract function test(); } trait second_trait{ //trait之間的嵌套 use first_trait; public function world(){ echo 'world'; } //實現first_trait 中的test方法 public function test(){ echo '!'; } } class first_class{ use second_trait; } $obj=new first_class(); echo $obj->hello(); echo $obj->world(); echo $obj->test(); //會輸出 helloworld!
例子6: 沖突的解決
如果兩個 trait 都插入了一個同名的方法,如果沒有明確解決沖突將會產生一個致命錯誤。
為了解決多個 trait 在同一個類中的命名沖突,需要使用 insteadof 操作符來明確指定使用沖突方法中的哪一個。
以上方式僅允許排除掉其它方法,as 操作符可以將其中一個沖突的方法以另一個名稱來引入,相當於方法的別名。
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; //trait B 的smallTalk方法會代替 trait A 的smallTalk方法 A::bigTalk insteadof B; //trait A 的bigTalk方法會代替 trait B 的bigTalk方法 } } class Aliased_Talker { use A, B { B::smallTalk insteadof A;//trait B 的smallTalk方法會代替 trait A 的smallTalk方法 A::bigTalk insteadof B;//trait A 的bigTalk方法會代替 trait B 的bigTalk方法 B::bigTalk as talk; //使用 as 操作符來定義了 talk方法 來作為 B 的 bigTalk方法 的別名 } } $obj=new Talker(); $obj->smallTalk(); $obj->bigTalk(); //結果會輸出 bA $obj2=new Aliased_Talker(); $obj2->talk();//會輸出B
例子7: 修改方法的訪問控制
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; } }
例子8: Trait 同樣可以定義屬性
trait PropertiesTrait { public $x = 1; } class PropertiesExample { use PropertiesTrait; } $example = new PropertiesExample; $example->x;
如果 trait 定義了一個屬性,那類將不能定義同樣名稱的屬性,否則會產生一個錯誤。如果該屬性在類中的定義與在 trait 中的定義兼容(同樣的可見性和初始值)則錯誤的級別是 E_STRICT
,否則是一個致命錯誤。
trait PropertiesTrait { public $same = true; public $different = false; } class PropertiesExample { use PropertiesTrait; public $same = true; // Strict Standards public $different = true; // 致命錯誤 }
如果您閱讀過此文章有所收獲,請為我頂一個,如果文章中有錯誤的地方,歡迎指出。