1

我有一个带有类型参数的特征。在这个特征中，我想定义一个方法来检查对象是否与类型参数匹配。到目前为止，这行得通，因为我希望它可以工作：

import scala.reflect.ClassTag
trait MyTrait[A <: AnyVal]{
    def hasType(x: AnyVal)(implicit tag: ClassTag[A]) = x match {
        case _: A => true
        case _    => false
    }
}

object MyObject extends MyTrait[Int]

println(MyObject.hasType(5))   // returns true
println(MyObject.hasType(5.0)) // returns false

当MyTrait-objects 是类的参数时会出现问题，如下所示：

class WrappingClass(myObjects: Seq[MyTrait[_]]) {
    def hasType(x: AnyVal) = {
        myObjects.foreach(
            mo => println(mo.hasType(x))
        )
    }
}

object AnotherObject extends MyTrait[Double]
val wrappingObject = new WrappingClass(Seq(MyObject, AnotherObject))
wrappingObject.hasType(5)   // prints only "true"
wrappingObject.hasType(5.0) // prints only "true"

因此，基本上参数的类型注释Seq[MyTrait[_]]将我的 ClassTag 变成了一般的 Object 并破坏了类型匹配。我真的很想避免hasType在从 trait 继承的每个对象中编写方法。

4

1 回答 1

3

您需要使用具有ClassTag上下文绑定的类（因为这些边界在特征中不可使用）。如果您替换MyTrait为：

abstract class MyTrait[A <: AnyVal: ClassTag] {
    def hasType(x: AnyVal) = x match {
      case _: A => true
      case _ => false
    }
}

它会按您的预期工作

于 2019-06-27T10:19:59.023 回答