Scala和Java - 隐式参数和继承

Question

以下代码给出了错误：

package test

trait Base {
  def method:String
}

trait Trait extends Base {
  def method()(implicit i:String):String = { "2" }
}

object Object extends Trait {

}

错误是“对象创建不可能，因为类型为Base的方法方法=>字符串未定义”

以下错误由以下代码修复

package test

trait Base {
  def method:String
}

trait Trait extends Base {
  def method:String = method()("String") // Over loading
  def method()(implicit i:String):String = { "2" }
}

object Object extends Trait {

}

现在我代替Scala类，当我定义一个Java接口时，如下所示：

// Java Code
package test;

public interface JBase {
  String method();
}

// Scala Code
package test

trait Trait extends JBase {
  def method:String = method()("10")
  def method()(implicit i:String):String = { "2" }
}

object Object extends Trait {

}

我得到一个错误“对重载定义的模糊引用，特征中的方法方法Traint of type（）（隐式i：String）特征中的字符串和方法方法类型的特征（）字符串匹配参数类型（）”

这两种场景的不同之处在于编译器的行为方式有何不同？ 我该如何解决这个问题？

Answer 1

这是一个我认为清楚显示正在发生的事情的例子：

object Test extends App {
    class A { def f(): String = "x" }
    class B extends A { override def f: String = "y" }
    class C { def f: String = "z" }

    println { (new A).f() } // OK
    println { (new B).f() } // OK
    println { (new C).f() } // FAILS
}

• A ：有括号，用括号括起来，一切都很好。
• B ： 没有括号，但是超类型确实有括号，所以仍然很好。 这符合您的情况。
• C ：没有括号，括号括起来，没有好处。

基本上，Java方法总是被认为是“括号”，因此， Trait的超类型具有括号，因此在method()("string")使用括号不足以阐明您的方法。

---

编辑 ：老实说，我认为你最好重命名方法。 即使在没有歧义的情况下，行为也可能非常令人惊讶：

trait Trait {
    def method: String = method()("x")
    def method()(implicit i: String): String = i
}

val t = new Trait { }
implicit val s = "y"

println { t.method }
> "x"

println { t.method() }
> "y"

此外，名称相同的事实并不是就多态性而购买任何东西：只有非隐式方法会覆盖Base.method - 这只是一个美学决定，使名称相同。