php類別和物件——Traits

自 PHP 5.4.0 起，PHP 实现了代码复用的一个方法，称为 traits。

Traits 是一种为类似 PHP 的单继承语言而准备的代码复用机制。Trait 为了减少单继承语言的限制，使开发人员能够自由地在不同层次结构内独立的类中复用方法集。Traits 和类组合的语义是定义了一种方式来减少复杂性，避免传统多继承和混入类（Mixin）相关的典型问题。

Traits 和一个类相似，但仅仅旨在用细粒度和一致的方式来组合功能。Trait 不能通过它自身来实例化。它为传统继承增加了水平特性的组合；也就是说，应用类的成员不需要继承。

Example #1 Trait 示例

trait ezcReflectionReturnInfo{
    function getReturnType(){}
    function getReturnDescription(){}
}
class ezcReflectionMethod extends ReflectionMethod{
    use ezcReflectionReturnInfo;
}
class ezcReflectionFunction extends ReflectionFunction{
    use ezcReflectionReturnInfo;
}

优先级

从基类继承的成员被 trait 插入的成员所覆盖。优先顺序是来自当前类的成员覆盖了 trait 的方法，而 trait 则覆盖了被继承的方法。

Example #2 优先顺序示例

从基类继承的成员被插入的 SayWorld Trait 中的 MyHelloWorld 方法所覆盖。其行为 MyHelloWorld 类中定义的方法一致。优先顺序是当前类中的方法会覆盖 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!

Example #3 另一个优先级顺序的例子

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 的用法

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 操作符可以将其中一个冲突的方法以另一个名称来引入。

Example #5 冲突的解决

在本例中 Talker 使用了 trait A 和 B。由于 A 和 B 有冲突的方法，其定义了使用 trait B 中的 smallTalk 以及 trait A 中的 bigTalk。

Aliased_Talker 使用了 as 操作符来定义了 talk 来作为 B 的 bigTalk 的别名。

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;
    }
}
$t = new Talker;
$t->smallTalk(); //b
$t->bigTalk(); //A
$at = new Aliased_Talker;
$at->smallTalk(); //b
$at->bigTalk(); //A
$at->talk(); //B

修改方法的访问控制

使用 as 语法还可以用来调整方法的访问控制。

Example #6 修改方法的访问控制

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

正如类能够使用 trait 一样，其它 trait 也能够使用 trait。在 trait 定义时通过使用一个或多个 trait，它能够组合其它 trait 中的部分或全部成员。

Example #7 从 trait 来组成 trait

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 表示通过抽象方法来进行强制要求

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 的静态成员

静态变量可以被 trait 的方法引用，但不能被 trait 定义。但是 trait 能够为使用的类定义静态方法。

Example #9 静态变量

trait Counter{
    public function inc(){
        static $c = 0;
        $c = $c + 1;
        echo "{$c}<br>";
    }
}
class C1{
    use Counter;
}
class C2{
    use Counter;
}
$o = new C1();
$o->inc(); //echo 1
$p = new C2;
$p->inc(); //echo 1

Example #10 静态方法

trait StaticExample{
    public static function doSomething(){
        return 'Doing something.';
    }
}
class Example{
    use StaticExample;
}
Example::doSomething();

输出结果：Doing something.

属性

Trait 同样可以定义属性。

Example #11 定义属性

trait PropertiesTrait{
    public $x = 1;
}
class PropertiesExample{
    use PropertiesTrait;
}
$example = new PropertiesExample;
$example->x;

如果 trait 定义了一个属性，那类将不能定义同样名称的属性，否则会产生一个错误。如果该属性在类中的定义与在 trait 中的定义兼容（同样的可见性和初始值）则错误的级别是 E_STRICT，否则是一个致命错误。

Example #12 冲突

trait PropertiesTrait{
    public $sname = true;
    public $different = false;
}
class PropertiesExample{
    use PropertiesTrait;
    public $sname = true; //Strict Standards
    public $different = true; //致命错误
}