Scala多重继承默认函数机制及代码输出一致原因咨询

关于“多重继承派生的默认函数” #

Scala不支持传统的类多重继承，而是通过特质（trait）混入实现类似多继承的能力。这里没有所谓“默认函数”的概念，当多个混入的特质存在同名方法时，方法的调用优先级由**特质线性化（Linearization）**规则决定。

线性化核心规则 #

当创建一个混入多个特质的实例时，Scala会生成一个线性的优先级链：

• 混入顺序**越靠后（代码中越靠右）**的特质，其方法实现的优先级越高
• 方法调用时，会从优先级链的最顶端（最后混入的特质）开始查找，找到第一个实现该方法的版本并执行

你的代码输出分析 #

你的三次实例化语句中，最后混入的特质都是B：

(new D with A with C with B).message  // 最后混入B
(new A with D with C with B).message  // 最后混入B
(new A with C with D with B).message  // 最后混入B

根据线性化规则，B的message()方法在优先级链中处于最高位，因此每次调用都会执行B中的实现，输出I am B。

直观验证示例 #

如果调整混入顺序，把其他特质放在最后：

(new A with B with C with D).message  // 最后混入D，输出"I am D"
(new A with B with D with C).message  // 最后混入C，输出"I am C"

这会直接体现优先级随混入顺序变化的规律。

内容的提问来源于stack exchange，提问作者Duc Le