Squeak/Pharo特征和新话Mixin之间的区别是什么？

Question

因此Squeak/Pharo支持特征和Newspeak有Mixins。有什么关系？特征没有instVars，而Mixins有？

Answer 1

为了更好地比较和解释为什么特征是首选的，你可以查看traits paper (pdf)。

本质上，这就是Lukas Renggli所说的：

特征成员被组合到一个类中，并且不改变它的继承层次结构。冲突必须由特征的用户显式地解决。

混合被线性化到目标类的继承层次结构中。如果有冲突的成员，它们被声明的顺序决定了哪个成员被调用。这是脆弱的，因为它隐含地定义了组合的行为，并且类作者必须意识到潜在的冲突以及它们将如何影响结果类。

由于mixins被线性化，它们不会遭受多重继承的臭名昭著的“钻石问题”。因此，它们堆叠在一起的易碎性是另一个问题，我将其称为“红宝石问题”，以保持宝石的比喻。出于一些与moose有关的奇怪原因，珍珠没有红宝石那么好地描述了这个问题。

Answer 2

特征是使用组合规则来组合的。冲突必须手动解决，不会发生特征意外覆盖另一个同名方法的情况。

Mixin是按顺序组成的，因此存在类似于多重继承的脆弱性问题。

Answer 3

在新的语言中，所有的类都是混合的。以下是Gilad Bracha在Newspeak discussion forum中回答类似问题的一些片段

混音本身并不是Newspeak的一个特性。也就是说，我们在设计语言时并没有说，好吧，现在我们来添加混入。Mixins自动脱离类嵌套和基于消息的语义。也就是说，如果你有虚拟类，你就有了混入，除非你真的禁止了它们。..。

特征试图解决混入的感知问题。

1. 很少有真实的经验表明这些感知到的问题是真实的。
2. 特征被限制为无状态。这简化了问题，但并不能处理所有感兴趣的情况。事实上，现在有研究论文试图将状态添加到特征中。

特征完全包含在一个更一般的模型中，这个模型是我多年前在我的PhD论文中设计的(如果你真的想深入挖掘，可以在我的网站上找到)。..。我想研究一下我们如何将这些组合符合并到新语言中。..。