自 PHP 5.4.0 起,PHP 实现了代码复用的一个方法,称为 traits。
Traits 是一种为类似 PHP 的单继承语言而准备的代码复用机制。Trait 为了减少单继承语言的限制,使开发人员能够自由地在不同层次结构内独立的类中复用方法集。Traits 和类组合的语义是定义了一种方式来减少复杂性,避免传统多继承和混入类(Mixin)相关的典型问题。
Trait 和一个类相似,但仅仅旨在用细粒度和一致的方式来组合功能。Trait 不能通过它自身来实例化。它为传统继承增加了水平特性的组合;也就是说,应用类的成员不需要继承。
在我理解说白了就是在继承类链中隔离了子类继承父类的某些特性(就是子类“要用父类的特性的时候”,如果trait有,就优先调用trait的方法、属性等)。
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 "$cn";
}
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错误,终止编译。