有什么方法可以用中缀表示法调用 scala 方法（具有类型参数）

Question

我有一段隐含的代码 class -

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

您想要从 BSONValue 中删除的所有类型 T 可能会有一个同名的伴生对象。您可以将该伴生对象用作您实际想要获取的类型的直观占位符。沿着这些线的东西：

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)

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

有什么方法可以用中缀表示法调用 scala 方法（具有类型参数）

Is there any way of calling scala method (having type parameter ) with infix notation

dsl

scala

implicit

structural-typing