我最近开始学习Scala。我不明白为什么这段代码不能用。谁能帮帮我?
import scala.collection.mutable
import scala.collection.mutable.Map
class Bijection[T] (val v: Set[T]) {
private var addition = 0
private var reversed = false
def add(i: Int)(implicit ev: T <:< Int) = {
addition += i
}
def reverse(implicit ev: T <:< String) = {
reversed = !reversed
}
}
object Bijection {
def apply(s: Set[String]): Bijection[String] = {
println("Hello string")
Bijection(s)
}
def apply[T](s: Set[T]): Bijection[T] = {
println("Hello T")
Bijection(s)
}
}
object Main {
def main(args: Array[String]): Unit = {
var x = Bijection[String](Set[String]("fd", "fasf"))
}
}
这段代码应该打印 "Hello",但我现在得到了下一个跟踪。
Error:(23, 7) double definition:
def apply(s: Set[String]): Bijection[String] at line 18 and
def apply[T](s: Set[T]): Bijection[T] at line 23
have same type after erasure: (s: scala.collection.immutable.Set)Bijection
def apply[T](s: Set[T]): Bijection[T] = {
JVM没有 归一化相反,它 擦除类型参数 在运行时,即使它们存储在字节码中。它有类型参数的唯一原因是为了在编译时进行检查。正因为如此,你的2个apply方法在运行时都会有签名。
def apply(s: Set): Bijection
在运行时,你的 2 个 apply 方法都会有签名。
正因为如此,没有办法选择正确的应用方法。
此外,你必须在apply方法里面调用构造函数。如果你不使用 new
那么你就会再次调用相同的apply方法,进入无限递归。
相反,你可以做这样的事情。如果它不是一个字符串,隐式参数将保持为空,你将知道它不是一个 String
但其他 T
.
object Bijection {
private def applyString(s: Set[String]): Bijection[String] = {
println("Hello String")
new Bijection(s)
}
private def applyT[T](s: Set[T]): Bijection[T] = {
println("Hello T")
new Bijection(s)
}
def apply[T](s: Set[T])(implicit ev: Set[T] =:= Set[String] = null): Bijection[T] =
if (ev == null) applyT(s) else applyString(s).asInstanceOf[Bijection[T]]
}
你不需要改变其他的东西。
Scastie.Scala-lang.org1bG7SdqBTSmNWWR5dtSH6A https:/scastie.scala-lang.org1bG7SdqBTSmNWWR5dtSH6A。
<script src="https://scastie.scala-lang.org/1bG7SdqBTSmNWWR5dtSH6A.js"></script>