有什么方法可以使用中止符号调用scala方法具有type参数

如何解决有什么方法可以使用中止符号调用scala方法具有type参数

我在隐式类中有一段代码-

implicit class Path(bSONValue: BSONValue) {
      def |<[S,T <:{def value:S}] = {
        bSONValue.asInstanceOf[T].value
      }

} 

问题是，如果我想在BSONValue之后调用|<方法，则需要使用.进行调用。 例如

(doc/"_id").|<[String,BSONString]

问题不存在.，scala引发错误，因为它不允许使用带前缀符号的类型参数方法。因此，我总是必须用doc/"_id"包装()部分。 是他们使用没有.的类型参数方法的任何方式吗？例如

doc/"_id"|<[String,BSONString]

解决方法

您要从T中退出的所有类型BSONValue可能都有一个同名的伴随对象。您可以将该伴随对象用作您实际想要获取的类型的直观占位符。遵循以下原则：

trait Extract[A,BComp,B] {
  def extractValue(a: A): B
}

implicit class Extractable[A](a: A) {
  def |<[BC,B]
    (companion: BC)
    (implicit e: Extract[A,BC,B])
  : B = e.extractValue(a)
}

implicit def extractIntFromString
  : Extract[String,Int.type,Int] = _.toInt

implicit def extractDoubleFromString
  : Extract[String,Double.type,Double] = _.toDouble

val answer = "42" |< Int
val bnswer = "42.1" |< Double

这使您可以使用中缀语法，因为所有这些都是普通值。

---

不过，仅仅是因为有可能，并不意味着您必须这样做。 例如，我不知道对|<运算符会有什么期望。 许多其他人也不知道该怎么办。 他们必须去查一下。然后他们会看到这个签名：

def |<[BC,B](companion: BC)(implicit e: Extract[A,B]): B

我可以想象，绝大多数人（包括一周内的本人）不会立即被这个签名启发。

也许您可以考虑更轻量的东西：

type BSONValue = String

trait Extract[B] {
  def extractValue(bsonValue: BSONValue): B
}


def extract[B](bson: BSONValue)(implicit efb: Extract[B])
  : B = efb.extractValue(bson)

implicit def extractIntFromString
  : Extract[Int] = _.toInt

implicit def extractDoubleFromString
  : Extract[Double] = _.toDouble

val answer = extract[Int]("42")
val bnswer = extract[Double]("42.1")

println(answer)
println(bnswer)

它似乎与|<运算符大致相同，但是所发生的魔术却少得多。