PHP 实现了一种代码复用的方法，称为 trait

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

　　Trait 是为类似 PHP 的单继承语言而准备的一种代码复用机制。Trait 为了减少单继承语言的限制，使开发人员能够自由地在不同层次结构内独立的类中复用 method。

　　Trait 是 PHP 多重继承的一种解决方案。例如，需要同时继承两个 Abstract Class，这将会是件很麻烦的事情，Trait 就是为了解决这个问题。

　　它为传统继承增加了水平特性的组合。

例子1: 使用trait关键字定义trait

<span style="color: #000000;">trait first_trait{
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> hello(){
        </span><span style="color: #0000ff;">return</span> 'hello'<span style="color: #000000;">;
    }
}</span>

Copier après la connexion

例子2: 在Class里使用trait，要使用use关键字，使用多个trait时用英文逗号隔开

<span style="color: #000000;">trait first_trait{
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> hello(){
        </span><span style="color: #0000ff;">return</span> 'hello'<span style="color: #000000;">;
    }
}

trait second_trait{
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> world(){
        </span><span style="color: #0000ff;">return</span> 'world'<span style="color: #000000;">;
    }
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> first_class{
    </span><span style="color: #0000ff;">use</span> first_trait,<span style="color: #000000;">second_trait;
}
</span><span style="color: #800080;">$obj</span>=<span style="color: #0000ff;">new</span><span style="color: #000000;"> first_class();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>-><span style="color: #000000;">hello();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>->world();

Copier après la connexion

例子3: 优先级

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

　　例子：从基类继承的成员会被 trait 插入的成员所覆盖

<span style="color: #0000ff;">class</span><span style="color: #000000;"> Base {
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> sayHello() {
        </span><span style="color: #0000ff;">echo</span> 'Hello '<span style="color: #000000;">;
    }
}

trait SayWorld {
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> sayHello() {
        parent</span>::<span style="color: #000000;">sayHello();
        </span><span style="color: #0000ff;">echo</span> 'World!'<span style="color: #000000;">;
    }
}

</span><span style="color: #0000ff;">class</span> MyHelloWorld <span style="color: #0000ff;">extends</span><span style="color: #000000;"> Base {
    </span><span style="color: #0000ff;">use</span><span style="color: #000000;"> SayWorld;
}

</span><span style="color: #800080;">$o</span> = <span style="color: #0000ff;">new</span><span style="color: #000000;"> MyHelloWorld();
</span><span style="color: #800080;">$o</span>-><span style="color: #000000;">sayHello();
</span><span style="color: #008000;">//</span><span style="color: #008000;">输出的结果</span>
Hello World!

Copier après la connexion

　　例子：当前类的成员覆盖了 trait 的方法

<span style="color: #000000;">trait HelloWorld {
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> sayHello() {
        </span><span style="color: #0000ff;">echo</span> 'Hello World!'<span style="color: #000000;">;
    }
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> TheWorldIsNotEnough {
    </span><span style="color: #0000ff;">use</span><span style="color: #000000;"> HelloWorld;
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> sayHello() {
        </span><span style="color: #0000ff;">echo</span> 'Hello Universe!'<span style="color: #000000;">;
    }
}

</span><span style="color: #800080;">$o</span> = <span style="color: #0000ff;">new</span><span style="color: #000000;"> TheWorldIsNotEnough();
</span><span style="color: #800080;">$o</span>-><span style="color: #000000;">sayHello();
</span><span style="color: #008000;">//</span><span style="color: #008000;">输出的结果</span>
Hello Universe!

Copier après la connexion

例子4: trait之间的嵌套

<span style="color: #000000;">trait first_trait{
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> hello(){
        </span><span style="color: #0000ff;">echo</span> 'hello'<span style="color: #000000;">;
    }
}

trait second_trait{
    </span><span style="color: #008000;">//</span><span style="color: #008000;">trait之间的嵌套</span>
    <span style="color: #0000ff;">use</span><span style="color: #000000;"> first_trait;
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> world(){
        </span><span style="color: #0000ff;">echo</span> 'world'<span style="color: #000000;">;
    }
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> first_class{
    </span><span style="color: #0000ff;">use</span><span style="color: #000000;"> second_trait;
}
</span><span style="color: #800080;">$obj</span>=<span style="color: #0000ff;">new</span><span style="color: #000000;"> first_class();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>-><span style="color: #000000;">hello();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>->world();

Copier après la connexion

例子5: 可以在trait中声明抽象方法，使用它的Class或trait必须实现抽象方法

<span style="color: #000000;">trait first_trait{
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> hello(){
        </span><span style="color: #0000ff;">echo</span> 'hello'<span style="color: #000000;">;
    }
    </span><span style="color: #008000;">//</span><span style="color: #008000;">抽象方法</span>
    <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">abstract</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> test();
}

trait second_trait{
    </span><span style="color: #008000;">//</span><span style="color: #008000;">trait之间的嵌套</span>
    <span style="color: #0000ff;">use</span><span style="color: #000000;"> first_trait;
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> world(){
        </span><span style="color: #0000ff;">echo</span> 'world'<span style="color: #000000;">;
    }

    </span><span style="color: #008000;">//</span><span style="color: #008000;">实现first_trait 中的test方法</span>
    <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> test(){
        </span><span style="color: #0000ff;">echo</span> '!'<span style="color: #000000;">;
    }
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> first_class{
    </span><span style="color: #0000ff;">use</span><span style="color: #000000;"> second_trait;
}
</span><span style="color: #800080;">$obj</span>=<span style="color: #0000ff;">new</span><span style="color: #000000;"> first_class();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>-><span style="color: #000000;">hello();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>-><span style="color: #000000;">world();
</span><span style="color: #0000ff;">echo</span> <span style="color: #800080;">$obj</span>-><span style="color: #000000;">test();
</span><span style="color: #008000;">//</span><span style="color: #008000;">会输出</span>
helloworld！

Copier après la connexion

例子6: 冲突的解决

如果两个 trait 都插入了一个同名的方法，如果没有明确解决冲突将会产生一个致命错误。

为了解决多个 trait 在同一个类中的命名冲突，需要使用 insteadof 操作符来明确指定使用冲突方法中的哪一个。

以上方式仅允许排除掉其它方法，as 操作符可以将其中一个冲突的方法以另一个名称来引入，相当于方法的别名。

<span style="color: #000000;">trait A {
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> smallTalk() {
        </span><span style="color: #0000ff;">echo</span> 'a'<span style="color: #000000;">;
    }
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> bigTalk() {
        </span><span style="color: #0000ff;">echo</span> 'A'<span style="color: #000000;">;
    }
}

trait B {
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> smallTalk() {
        </span><span style="color: #0000ff;">echo</span> 'b'<span style="color: #000000;">;
    }
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> bigTalk() {
        </span><span style="color: #0000ff;">echo</span> 'B'<span style="color: #000000;">;
    }
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> Talker {
    </span><span style="color: #0000ff;">use</span> A,<span style="color: #000000;"> B {
        B</span>::smallTalk insteadof A; <span style="color: #008000;">//</span><span style="color: #008000;">trait B 的smallTalk方法会代替 trait A 的smallTalk方法</span>
        A::bigTalk insteadof B;  <span style="color: #008000;">//</span><span style="color: #008000;">trait A 的bigTalk方法会代替 trait B 的bigTalk方法</span>
<span style="color: #000000;">    }
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> Aliased_Talker {
    </span><span style="color: #0000ff;">use</span> A,<span style="color: #000000;"> B {
        B</span>::smallTalk insteadof A;<span style="color: #008000;">//</span><span style="color: #008000;">trait B 的smallTalk方法会代替 trait A 的smallTalk方法</span>
        A::bigTalk insteadof B;<span style="color: #008000;">//</span><span style="color: #008000;">trait A 的bigTalk方法会代替 trait B 的bigTalk方法</span>
        B::bigTalk <span style="color: #0000ff;">as</span> talk; <span style="color: #008000;">//</span><span style="color: #008000;">使用 as 操作符来定义了 talk方法 来作为 B 的 bigTalk方法 的别名</span>
<span style="color: #000000;">    }
}

</span><span style="color: #800080;">$obj</span>=<span style="color: #0000ff;">new</span><span style="color: #000000;"> Talker();
</span><span style="color: #800080;">$obj</span>-><span style="color: #000000;">smallTalk();
</span><span style="color: #800080;">$obj</span>-><span style="color: #000000;">bigTalk();
</span><span style="color: #008000;">//</span><span style="color: #008000;">结果会输出 bA</span>
<span style="color: #800080;">$obj2</span>=<span style="color: #0000ff;">new</span><span style="color: #000000;"> Aliased_Talker();
</span><span style="color: #800080;">$obj2</span>->talk();<span style="color: #008000;">//</span><span style="color: #008000;">会输出B</span>

Copier après la connexion

例子7: 修改方法的访问控制

<span style="color: #000000;">trait HelloWorld {
    </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> sayHello() {
        </span><span style="color: #0000ff;">echo</span> 'Hello World!'<span style="color: #000000;">;
    }
}

</span><span style="color: #008000;">//</span><span style="color: #008000;"> 修改 sayHello 的访问控制</span>
<span style="color: #0000ff;">class</span><span style="color: #000000;"> MyClass1 {
    </span><span style="color: #0000ff;">use</span> HelloWorld { sayHello <span style="color: #0000ff;">as</span> <span style="color: #0000ff;">protected</span><span style="color: #000000;">; }
}

</span><span style="color: #008000;">//</span><span style="color: #008000;"> 给方法一个改变了访问控制的别名
// 原版 sayHello 的访问控制则没有发生变化</span>
<span style="color: #0000ff;">class</span><span style="color: #000000;"> MyClass2 {
    </span><span style="color: #0000ff;">use</span> HelloWorld { sayHello <span style="color: #0000ff;">as</span> <span style="color: #0000ff;">private</span><span style="color: #000000;"> myPrivateHello; }
}</span>

Copier après la connexion

例子8: Trait 同样可以定义属性

<span style="color: #000000;">trait PropertiesTrait {
    </span><span style="color: #0000ff;">public</span> <span style="color: #800080;">$x</span> = 1<span style="color: #000000;">;
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> PropertiesExample {
    </span><span style="color: #0000ff;">use</span><span style="color: #000000;"> PropertiesTrait;
}

</span><span style="color: #800080;">$example</span> = <span style="color: #0000ff;">new</span><span style="color: #000000;"> PropertiesExample;
</span><span style="color: #800080;">$example</span>->x;

Copier après la connexion

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

<span style="color: #000000;">trait PropertiesTrait {
    </span><span style="color: #0000ff;">public</span> <span style="color: #800080;">$same</span> = <span style="color: #0000ff;">true</span><span style="color: #000000;">;
    </span><span style="color: #0000ff;">public</span> <span style="color: #800080;">$different</span> = <span style="color: #0000ff;">false</span><span style="color: #000000;">;
}

</span><span style="color: #0000ff;">class</span><span style="color: #000000;"> PropertiesExample {
    </span><span style="color: #0000ff;">use</span><span style="color: #000000;"> PropertiesTrait;
    </span><span style="color: #0000ff;">public</span> <span style="color: #800080;">$same</span> = <span style="color: #0000ff;">true</span>; <span style="color: #008000;">//</span><span style="color: #008000;"> Strict Standards</span>
    <span style="color: #0000ff;">public</span> <span style="color: #800080;">$different</span> = <span style="color: #0000ff;">true</span>; <span style="color: #008000;">//</span><span style="color: #008000;"> 致命错误</span>
}

Copier après la connexion

如果您阅读过此文章有所收获，请为我顶一个，如果文章中有错误的地方，欢迎指出。

相互学习，共同进步！