自 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; // 致命錯誤
}
如果您閱讀過此文章有所收獲,請為我頂一個,如果文章中有錯誤的地方,歡迎指出。