自 PHP 5.4.0 起,PHP 實現了代碼復用的一個方法,稱為 traits。
Traits 是一種為類似 PHP 的單繼承語言而准備的代碼復用機制。Trait 為了減少單繼承語言的限制,使開發人員能夠自由地在不同層次結構內獨立的類中復用方法集。Traits 和類組合的語義是定義了一種方式來減少復雜性,避免傳統多繼承和混入類(Mixin)相關的典型問題。
Trait 和一個類相似,但僅僅旨在用細粒度和一致的方式來組合功能。Trait 不能通過它自身來實例化。它為傳統繼承增加了水平特性的組合;也就是說,應用類的成員不需要繼承。
在我理解說白了就是在繼承類鏈中隔離了子類繼承父類的某些特性(就是子類“要用父類的特性的時候”,如果trait有,就優先調用trait的方法、屬性等)。
<?php
trait MyTrait
{
protected $var = "MyTrait_var";
protected $var1 = "MyTrait_var";
function __construct()
{
echo $this->var.PHP_EOL;
}
function a()
{
echo "a".PHP_EOL;
}
}
interface MyInterface
{
function __construct();
function b();
}
abstract class MyAbstract
{
protected $var2 = "MyAbstract_var";
use MyTrait;
function b()
{
echo "b".PHP_EOL;
}
}
class MyClass extends MyAbstract implements MyInterface
{
protected $var3 = "MyClass_var";
//也可以在這裡引用,不區分繼承關系
//use MyTrait;
function c()
{
echo "c".PHP_EOL;
}
}
$class = new MyClass();
$class->a();
$class->b();
$class->c();
輸出結果
MyTrait_var
a
b
c
優先級
從基類繼承的成員被 trait 插入的成員所覆蓋,來自當前類的成員覆蓋 trait 的方法。
class Base {
public function sayHello() {
echo 'Hello ';
}
}
trait SayWorld {
public function sayHello() {
parent::sayHello();
echo 'World!';
}
public function sayHellos() {
echo 'Hello World!';
}
}
class MyHelloWorld extends Base {
use SayWorld;
public function sayHellos() {
echo 'Hello Universe!';
}
}
$o = new MyHelloWorld();
$o->sayHello(); #Hello World!
$o->sayHellos(); #Hello Universe!
3、多個 trait
通過逗號分隔,在 use 聲明列出多個 trait,可以都插入到一個類中。
trait Hello {
public function sayHello() {
echo 'Hello ';
}
}
trait World {
public function sayWorld() {
echo 'World';
}
}
class MyHelloWorld {
use Hello, World;
}
$o = new MyHelloWorld();
$o->sayHello(); # Hello
$o->sayWorld(); # World
4、多Traits沖突的解決
如果兩個 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;
A::bigTalk insteadof B;
}
}
class Talkers{
use A,B{
B::smallTalk insteadof A;
A::bigTalk insteadof B;
B::bigTalk as bTalk;
}
}
$o = new Talker();
$o->smallTalk(); # b
$o->bigTalk(); # A
$os = new Talkers();
$os->smallTalk(); # b
$os->bigTalk(); #A
$os->bTalk(); # B
5、修改方法的訪問控制
還可以使用as語法來改變Traits中函數的訪問權限屬性。
trait HelloRuesin {
public function sayHello() {
echo 'Hello Ruesin';
}
}
class Hello {
use HelloRuesin {
sayHello as protected; ## 修改 sayHello 的訪問控制
}
}
class Ruesin {
use HelloRuesin {
sayHello as private sayHellos; ## 給方法一個改變了訪問控制的別名 而原版 sayHello 的訪問控制則沒有發生變化
}
}
$o = new Hello();
$os = new Ruesin();
#$o->sayHello(); # 無法訪問
$os->sayHello(); # Hello Ruesin
#$os->sayHellos(); # 無法訪問
6、用Traits組成新Traits
正如類能夠使用 trait 一樣,其它 trait 也能夠使用 trait。在 trait 定義時通過使用一個或多個 trait,它能夠組合其它 trait 中的部分或全部成員。
trait Hello {
public function sayHello() {
echo 'Hello';
}
}
trait Ruesin {
public function sayRuesin() {
echo 'Ruesin';
}
}
trait HelloRuesin {
use Hello,Ruesin;
}
class SayHelloRuesin {
use HelloRuesin;
}
$o = new SayHelloRuesin();
$o->sayHello(); #Hello
$o->sayRuesin(); #Ruesin
7、Trait 的抽象成員
為了對使用的類施加強制要求,trait 支持抽象方法的使用。表示通過抽象方法來進行強制要求
trait Hello {
public function sayHelloRuesin() {
echo 'Hello '.$this->getName();
}
abstract public function getName();
}
class HelloRuesin {
private $name;
use Hello;
public function __construct($name) {
$this->name = $name;
}
public function getName() {
return $this->name;
}
}
(new HelloRuesin('Ruesin'))->sayHelloRuesin(); # Hello Ruesin
8、trait 的靜態成員
靜態變量可以被 trait 的方法引用,但不能被 trait 定義。Traits 能夠為使用的類定義靜態方法。
trait Counter {
public function inc() {
static $c = 0;
$c = $c + 1;
echo "$c\n";
}
public static function HelloRuesin() {
#return 'Doing something';
echo 'Hello Ruesin';
}
}
class C {
use Counter;
}
$o = new C();
$o->inc(); # 1
$o->inc(); # 2
C::HelloRuesin(); #Hello Ruesin'
9、Trait 定義屬性
文章來自ruesin.com
如果 trait 定義了一個屬性,那類將不能定義同樣名稱的屬性,否則會產生一個錯誤。如果該屬性在類中的定義與在 trait 中的定義兼容(同樣的可見性和初始值)則錯誤的級別是 E_STRICT,否則是一個致命錯誤。
Ruesin's Blog
trait PropertiesTrait {
public $x = 1;
}
class PropertiesExample {
use PropertiesTrait;
#public $same = true; # Strict Standards
#public $different = true; # 致命錯誤
}
$example = new PropertiesExample;
$example->x; # 1
總結:
從本質上說,trait和include文件的概念差不多
trait可以更加方便的實現代碼復用,因為我們用繼承關系實現的無法在父類中訪問子類的private屬性與方法,而trait就和把代碼直接寫在對象裡效果一樣。
使用trait時候應該堅決避免命名沖突,尤其是同時使用多個trait時。
如果產生了命名沖突,如果兩者的可見性、初始值、static與否完全相同,則trait中的會覆蓋掉對象中的,並拋出E_STRICT錯誤,否則會拋出E_COMPILE_ERROR錯誤,終止編譯。