自 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; // 致命错误}
如果您阅读过此文章有所收获,请为我顶一个,如果文章中有错误的地方,欢迎指出。
相互学习,共同进步!