PHP之Trait詳解
自 PHP 5.4.0 起,PHP 實現了一種代碼復用的方法,稱為 trait。
Trait 是為類似 PHP 的單繼承語言而準備的一種代碼復用機制。Trait 為了減少單繼承語言的限制,使開發人員能夠自由地在不同層次結構內獨立的類中復用 method。Trait 和 Class 組合的語義定義了一種減少復雜性的方式,避免傳統多繼承和 Mixin 類相關典型問題。
Trait 和 Class 相似,但僅僅旨在用細粒度和一致的方式來組合功能。 無法通過 trait 自身來實例化。它為傳統繼承增加了水平特性的組合;也就是說,應用的幾個 Class 之間不需要繼承。
Example #1 Trait 示例
<?php trait ezcReflectionReturnInfo { function getReturnType() { /*1*/ } function getReturnDescription() { /*2*/ } } class ezcReflectionMethod extends ReflectionMethod { use ezcReflectionReturnInfo; /* ... */ } class ezcReflectionFunction extends ReflectionFunction { use ezcReflectionReturnInfo;/* ... */ } ?>
優先級
從基類繼承的成員會被 trait 插入的成員所覆蓋。優先順序是來自當前類的成員覆蓋了 trait 的方法,而 trait 則覆蓋了被繼承的方法。
Example #2 優先順序示例
從基類繼承的成員被插入的 SayWorld Trait 中的 MyHelloWorld 方法所覆蓋。其行為 MyHelloWorld 類中定義的方法一致。優先順序是當前類中的方法會覆蓋 trait 方法,而 trait 方法又覆蓋了基類中的方法。
<?php 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 另一個優先級順序的例子
<?php 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!
多個 trait
通過逗號分隔,在 use 聲明列出多個 trait,可以都插入到一個類中。
Example #4 多個 trait 的用法
<?php 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 操作符可以 為某個方法引入別名。 註意,as 操作符不會對方法進行重命名,也不會影響其方法。
Example #5 沖突的解決
在本例中 Talker 使用了 trait A 和 B。由於 A 和 B 有沖突的方法,其定義了使用 trait B 中的 smallTalk 以及 trait A 中的 bigTalk。
Aliased_Talker 使用了 as 操作符來定義了 talk 來作為 B 的 bigTalk 的別名。
<?php 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; } } ?>
Note:
在 PHP 7.0 之前,在類裏定義和 trait 同名的屬性,哪怕是完全兼容的也會拋出 E_STRICT
(完全兼容的意思:具有相同的訪問可見性、初始默認值)。
修改方法的訪問控制
使用 as 語法還可以用來調整方法的訪問控制。
Example #6 修改方法的訪問控制
<?php 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
正如 class 能夠使用 trait 一樣,其它 trait 也能夠使用 trait。在 trait 定義時通過使用一個或多個 trait,能夠組合其它 trait 中的部分或全部成員。
Example #7 從 trait 來組成 trait
<?php 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 的抽象成員
為了對使用的類施加強制要求,trait 支持抽象方法的使用。
Example #8 表示通過抽象方法來進行強制要求
<?php 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 的靜態成員
Traits 可以被靜態成員靜態方法定義。
Example #9 靜態變量
<?php trait Counter { public function inc() { static $c = 0; $c = $c + 1; echo "$c\n"; } } class C1 { use Counter; } class C2 { use Counter; } $o = new C1(); $o->inc(); // echo 1 $p = new C2(); $p->inc(); // echo 1 ?>
Example #10 靜態方法
<?php trait StaticExample { public static function doSomething() { return ‘Doing something‘; } } class Example { use StaticExample; } Example::doSomething(); ?>
屬性
Trait 同樣可以定義屬性。
Example #11 定義屬性
<?php trait PropertiesTrait { public $x = 1; } class PropertiesExample { use PropertiesTrait; } $example = new PropertiesExample; $example->x; ?>
Trait 定義了一個屬性後,類就不能定義同樣名稱的屬性,否則會產生 fatal error。 有種情況例外:屬性是兼容的(同樣的訪問可見度、初始默認值)。 在 PHP 7.0 之前,屬性是兼容的,則會有 E_STRICT 的提醒。
Example #12 解決沖突
<?php trait PropertiesTrait { public $same = true; public $different = false; } class PropertiesExample { use PropertiesTrait; public $same = true; // PHP 7.0.0 後沒問題,之前版本是 E_STRICT 提醒 public $different = true; // 致命錯誤 } ?>
php從以前到現在一直都是單繼承的語言,無法同時從兩個基類中繼承屬性和方法,為了解決這個問題,php出了Trait這個特性
用法:通過在類中使用use 關鍵字,聲明要組合的Trait名稱,具體的Trait的聲明使用Trait關鍵詞,Trait不能實例化
如下代碼實例:
<?php trait Dog{ public $name="dog"; public function bark(){ echo "This is dog"; } } class Animal{ public function eat(){ echo "This is animal eat"; } } class Cat extends Animal{ use Dog; public function drive(){ echo "This is cat drive"; } } $cat = new Cat(); $cat->drive(); echo "<br/>"; $cat->eat(); echo "<br/>"; $cat->bark(); ?>
再測試Trait、基類和本類對同名屬性或方法的處理,如下代碼
<?php trait Dog{ public $name="dog"; public function drive(){ echo "This is dog drive"; } public function eat(){ echo "This is dog eat"; } } class Animal{ public function drive(){ echo "This is animal drive"; } public function eat(){ echo "This is animal eat"; } } class Cat extends Animal{ use Dog; public function drive(){ echo "This is cat drive"; } } $cat = new Cat(); $cat->drive(); echo "<br/>"; $cat->eat(); ?>
所以:Trait中的方法或屬性會覆蓋 基類中的同名的方法或屬性,而本類會覆蓋Trait中同名的屬性或方法
一個類可以組合多個Trait,通過逗號相隔,如下
use trait1,trait2
當不同的trait中,卻有著同名的方法或屬性,會產生沖突,可以使用insteadof或 as進行解決,insteadof 是進行替代,而as是給它取別名
如下實例:
<?php trait trait1{ public function eat(){ echo "This is trait1 eat"; } public function drive(){ echo "This is trait1 drive"; } } trait trait2{ public function eat(){ echo "This is trait2 eat"; } public function drive(){ echo "This is trait2 drive"; } } class cat{ use trait1,trait2{ trait1::eat insteadof trait2; trait1::drive insteadof trait2; } } class dog{ use trait1,trait2{ trait1::eat insteadof trait2; trait1::drive insteadof trait2; trait2::eat as eaten; trait2::drive as driven; } } $cat = new cat(); $cat->eat(); echo "<br/>"; $cat->drive(); echo "<br/>"; echo "<br/>"; echo "<br/>"; $dog = new dog(); $dog->eat(); echo "<br/>"; $dog->drive(); echo "<br/>"; $dog->eaten(); echo "<br/>"; $dog->driven(); ?>
as 還可以修改方法的訪問控制
<?php trait Animal{ public function eat(){ echo "This is Animal eat"; } } class Dog{ use Animal{ eat as protected; } } class Cat{ use Animal{ Animal::eat as private eaten; } } $dog = new Dog(); $dog->eat();//報錯,因為已經把eat改成了保護 $cat = new Cat(); $cat->eat();//正常運行,不會修改原先的訪問控制 $cat->eaten();//報錯,已經改成了私有的訪問控制 ?>
Trait也可以互相組合,還可以使用抽象方法,靜態屬性,靜態方法等,實例如下
<?php trait Cat{ public function eat(){ echo "This is Cat eat"; } } trait Dog{ use Cat; public function drive(){ echo "This is Dog drive"; } abstract public function getName(); public function test(){ static $num=0; $num++; echo $num; } public static function say(){ echo "This is Dog say"; } } class animal{ use Dog; public function getName(){ echo "This is animal name"; } } $animal = new animal(); $animal->getName(); echo "<br/>"; $animal->eat(); echo "<br/>"; $animal->drive(); echo "<br/>"; $animal::say(); echo "<br/>"; $animal->test(); echo "<br/>"; $animal->test(); ?>
以上就是我對trait的總結,如有錯誤,還望指正
PHP之Trait詳解