Scala 在类型类运算符中缺少参数类型

Question

我有以下代码：

class Pipe[ A ]( a: A ) {
  def |>[ B ]( f: A => B ) = f( a )
  def !>[ B ]( f: A => B ) : Try[B] = Try(f( a ))
  def !>[ B, C ]( f: B => C )(implicit ev: A =:= Try[B]) : Try[C] = a.map(f)
}

（不包括隐式和应用）

我遇到了“缺少参数类型”错误的问题。 以下代码编译正确：

val r1 = 5 |> (x => x + 1)

但是以下编译失败：

val r6 = 100 !> { x  => x * 2 } 

除非我写：

val r6 = 100 !> { x  : Int => x * 2 }

那么我该如何避免键入函数的需要呢？

我在寻找类似问题的答案。一种解决方案是对函数进行柯里化。但是在这种情况下，我认为问题是类型流动 当 A =:= Try[B] 时，从类 Pip[A] 的类型 A 到 B。

欣赏任何指针。

TIA。

Answer 1

您可以省略匿名函数的参数类型的唯一情况是，当它在具有预期类型的​​上下文中使用时，并且该预期类型是函数类型（或者，从 Scala 2.12 开始，是 SAM 类型）。重载方法的参数没有预期的类型，因为首先需要知道其类型才能选择重载。所以你需要给这两个!>方法起不同的名字。