scala - 有没有办法用中缀表示法调用scala方法(具有类型参数)

Question

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

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]

Answer 1

所有类型 T你想摆脱BSONValue s 可能会有一个同名的伴生对象。您可以使用该伴生对象作为您实际想要获取的类型的直观占位符。大致如下:

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

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

---

不过，仅仅因为它是可能的，并不意味着你必须这样做。例如，我不知道 |< 会发生什么。 -运算符(operator)。许多其他人也不知道如何处理它。他们必须去查一下。然后他们会看到这个签名:

def |<[BC, B](companion: BC)(implicit e: Extract[A, BC, 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)

它的作用似乎与 |< 大致相同运算符，但魔法少得多。