4

以下代码给出了错误：

package test

trait Base {
  def method:String
}

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

object Object extends Trait {

}

错误是“无法创建对象，因为未定义类型 => String 的类 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 {

}

现在，当我按如下方式定义 Java 接口时，而不是 Scala 类：

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

}

我收到一个错误“对重载定义的模糊引用，类型 () 的 trait Trait 中的方法方法（隐式 i: String）String 和类型 ()String 匹配参数类型 () 的 trait Trait 中的方法方法”

这两种情况有什么区别使编译器表现不同？我该如何解决这个问题？

4

1 回答 1

7

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

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- 这只是使名称相同的美学决定。

于 2013-01-13T19:17:21.043 回答