使用`implicit`参数声明一个Function`type`

Question

以某种方式宣布像

这样的东西是可能的

type F = (Int, Boolean)(implicit String) => Unit

在Scala中

？

Answer 1

Scala中有一个非常重要的区别是＆＃34; function＆＃34;和＆＃34;方法＆＃34;：

函数是值，不能按名称进行参数，不能是多态的，不能是变量的，不能超载，也不能有隐含参数。虽然方法可以包含这些，但它们不能作为值传递。

函数类型只是标准库中的特征，具有以下形式：

trait FunctionN[T1, ..., TN, R] {
  def apply(x1: T1, ..., xN: TN): R
}

请注意这些类型中的apply方法不具有隐式参数列表。因此，函数不会有隐含的参数。

所以，如果你想传递＆＃34;功能＆＃34;采用隐式参数，你必须创建自己的特征：

trait Function2I1[T1, T2, I1, R] {
  def apply(a1: T1, a2: T2)(implicit i1: I1): R
}

type F = Function2I1[Int, Boolean, String, Unit]

现在你可以创建F类型的实例（尽管没有闪亮的lambda语法）：

val f = new F {
  override def apply(x: Int, y: Boolean)(implicit z: String): Unit = ???
}
implicit val x = "hi"
f(1, true) // implicitly passes x

如果你想要没有隐式参数的curried函数，只需写(Int, Boolean) => String => Unit。

如果要将方法转换为函数，请使用lambda：

class A {
  def f(a: String)(implicit b: String): String = a + b
}
val a = new A
val m = a.f(_) // takes the implicit in this scope