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 {

}

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 {

}

// 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 {

}

在这两种情况下，使编译器行为不同的区别是什么？如何解决此问题？

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:没有括号，但是supertype确实有括号，所以仍然很好。这符合您的情况。
• 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"