Scala2使用self类型时方法类型判定混淆问题

这是Scala 2的固有版本限制，并非编译器Bug，核心差异来自Scala 2与Scala 3对带自类型约束的特质的成员查找优先级规则不同。

原因详解 #

• Scala 2中，当特质带有自类型约束时，编译器在特质内部解析成员引用时，会优先匹配自类型对应的父类型的成员，再匹配当前特质自身的成员。
  你的代码中Derived特质添加了self: Base的自类型约束，解析attribute标识符时，编译器先命中了Base特质中定义的、类型为AttributeBase的attribute成员，没有优先匹配Derived自身定义的、类型更具体为Attribute的attribute成员，因此抛出如下错误：

  value name is not a member of AttributeBase

• 当你将自类型替换为extends Base时，Derived明确成为Base的子类型，Scala 2的成员重写规则会生效，编译器会优先匹配子类重写的、类型为Attribute的attribute成员，因此可以正常编译。
• 另一种方案(this:Derived).attribute.name的原理也是强制编译器以Derived类型为起点查找成员，避开了优先查找自类型父成员的规则，因此也能正常运行。
• Scala 3优化了自类型约束下的成员查找逻辑，会优先匹配当前类型自身定义的成员，因此你的代码可以在Scala 3中直接编译通过。

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