首页 > php教程 > php手册 > PHP 实现了一种代码复用的方法,称为 trait - 张小刘

PHP 实现了一种代码复用的方法,称为 trait - 张小刘

WBOY
发布: 2016-05-20 11:40:59
原创
1291 人浏览过

  自 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>
登录后复制

例子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();
登录后复制

例子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!
登录后复制

  例子:当前类的成员覆盖了 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!
登录后复制

例子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();
登录后复制

例子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!
登录后复制

例子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>
登录后复制

 

例子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>
登录后复制

例子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;
登录后复制

如果 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>
}
登录后复制

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

相互学习,共同进步!

 

来源:php.cn
本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
热门推荐
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板