最近在看PHP手册，发现了一个稀奇古怪的新玩意——trait。
这引起了我极大的兴趣，由于PHP面向对象的部分有很大程度和Java类似，我就自觉不自觉地和Java对比着来看。
这又让我想起了那个古老的故事——单继承和多继承。
说到这个问题，我最先想起的应该是C++和Java
图片来源：知乎用户：shawn sharp
编程语言拟人化（1）：Java、C++、Python、Ruby、PHP、C#、JS
趣文：编程语言拟人化（第二弹）
這系列文章的原始出處，是日本的「リクナビ NEXT」這家日本的人力公司的《Java、C++、Python…プログラミング言語擬人化計画！ 》和《Perl、C、Scala…プログラミング言語擬人化計画 2》；他基本上是針對幾種常見的程式語言去設計了萌化的腳色、以及根據該語言發展歷史的人設。
链接：https://www.zhihu.com/question/25038841/answer/44433042
间接来源：知乎
众所周知，C++是个御姐，Java是个萝莉....啊不对....C++支持多继承而Java不支持。
咋一看，觉得可能是Java做对了，C++的是落后粗野的方法。可是真的是这样吗？
难道多继承真的一无是处，百害而无一利吗？
显然不是这样的，当我们要用多继承时，我们期待的到底是什么效果呢？
我们期待的是：可以直接拿来用的类成员函数（方法）。这很重要吗？对很重要，因为这正是代码复用所在。
可说到代码复用首先想到的应该是普通函数，它不行吗？不行。像是Java这样的语言他本来就不支持普通函数，再者也是更重要的，我们要类成员函数的意义在于他有面向对象的一系列“红利”，这才是我们关心的，比如：覆盖、访问控制、多态等等，所以这些特性是普通函数所无法替代的也是我们迫切所需的。
当然，得到了这些“红利”的同时，我们往往也在被“喂屎”，最著名的便是“钻石继承”问题。
图片来自维基百科：Multiple inheritance
钻石继承当然有很多弊端，最常见的便是当Ｂ和Ｃ同时继承自Ａ，然后Ｄ又继承了Ｂ和Ｃ。那假设Ｂ和Ｃ中都有一个成员函数ｘ()，那么在Ｄ中这个ｘ()函数将会用谁的版本呢？Ｂ的？还是Ｃ的？还有就是，假设Ａ有一个成员变量ｙ，它的构造函数会初始化它，那在Ｄ的构造函数执行的时候，它要初始化几个ｙ呢，在Ｄ中的ｙ又是哪一个呢？
这一系列问题看着就让人头大...恩，事实是Ｃ＋＋居然都能有相应对策（不得不说，御姐赛高）。可是真的是心累啊...谁想整天处理这些鬼东西！人类之所以强大在于把复杂的问题简化而解决之，而不是愣头去啃复杂问题！
所以这个时候，trait就来了！
真的没有一种既能享受面向对象“红利”，又不用解决这么令人掉头发的复杂问题的东西吗？！当然有啦！它就是trait。
那trait究竟是个什么东西呢？抛去具体语法不谈，trait就是一个没有构造函数，不能被实例化的抽象类。哦...那问题不是还没被解决吗？！这不还跟原来一个样吗！
其实一开始我也很疑惑，这家伙到底和抽象类有啥区别！其实啊，还真没啥，就一个重大区别，那就是：在遇到冲突时，它能指定到底用哪个版本的成员函数。恩？什么意思？
就像我上文提到的那个问题，在B和C中分别有一个x()，在D中就发生了冲突，不知道该用哪个版本了。trait能指定，现在，在D中，我们用哪个x(),并且！没有被指定的那个，就像是暂时被舍弃了，就像不存在一样。所以，这是关键，这就是比C++进步的地方，C++也能指定用那个版本，但是未被指定的那个也还是在的。只有未被指定的被舍弃，才能从根本上解决二义性问题。
这样我们就能好好地享用“红利”而不再担心被“喂屎”了！
语言的发展的过程就是博弈的过程，就是取舍的过程啊！至少在这一点上，看来是这样的。
最后附上一张PHP的，出处同上
