有没有任何方法可以用中缀表示法调用scala方法(具有类型参数)

Question

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

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

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

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

问题是没有.标量会引发错误，因为它不允许使用中缀表示法的类型参数方法。所以我总是要用()包裹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

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

---

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

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)

它的作用似乎与|<算子大致相同，但没有那么神奇