如何在 Scala 中用另一种方法包装具有隐式的方法？

Question

我有一个隐含的方法：

def f(x: String)(implicit dispatcher: ExecutionContextExecutor, mat: ActorMaterializer) = ???

我想创建一个辅助方法，如：

def g1(y: String) = f("uri1" + y)
def g2(y: String) = f("uri2" + y)

当然，no implicits found for parameter ex: ExecutionContext对于方法，这不能编译g。

我不想implicits在g.
那么，这个案例的惯用解决方案是什么？

Answer 1

惯用的解决方案是重复隐式参数。

如果您多次重复同一组隐式参数，那么惯用的解决方案是引入您的类型类（或只是单个隐式）而不是该组隐式并使用此类型类。

不惯用的解决方案是引入宏注释，该注释将为方法生成隐式参数部分。

有时您可以将隐式转移到更高的某个级别

class MyClass(implicit val ec: ExecutionContext) extends ExecutionContextAware {
  def f(x: String) = ???
  def g(y: String) = f("xxx" + y)
}

trait ExecutionContextAware {
  implicit def ec: ExecutionContext
}

或者

trait MyTrait extends ExecutionContextAware {
  def f(x: String) = ???
  def g(y: String) = f("xxx" + y)
}
  
object Impl extends ExecutionContextAware {
  implicit def ec: ExecutionContext = ExecutionContext.Implicits.global
}

trait ExecutionContextAware {
  implicit def ec: ExecutionContext
}

您能否也举一个 typeclass 的例子？

假设您有多个类型类

trait TC1[A] {
  def foo = ???
}
trait TC2[A] {
  def bar = ???
}

你必须在方法中重复它们

def f[A](implicit tc1: TC1[A], tc2: TC2[A]) = ???

1.然后你可以介绍你的类型类

trait TC[A] {
  def foo
  def bar
}

通过TC1, TC2, ...表达

object TC {
  implicit def mkTC[A](implicit tc1: TC1[A], tc2: TC2[A]): TC[A] = new TC[A] {
    def foo = tc1.foo
    def bar = tc2.bar
  }
}

并使用它

def f[A](implicit tc: TC[A]) = ???

2.替代方法是

trait TC[A] {
  implicit def tc1: TC1[A]
  implicit def tc2: TC2[A]
}

object TC {
  implicit def mkTC[A](implicit _tc1: TC1[A], _tc2: TC2[A]): TC[A] = new TC[A] {
    implicit def tc1: TC1[A] = _tc1
    implicit def tc2: TC2[A] = _tc2
  }
}

def f[A](implicit tc: TC[A]) = {
  import tc._
  ???
}

在您的示例中ExecutionContextExecutor，ActorMaterializer（例如遵循第二种方法）您可以引入

trait MyImplicit {
  implicit def dispatcher: ExecutionContextExecutor
  implicit def mat: ActorMaterializer
}

并替换

def f(x: String)(implicit dispatcher: ExecutionContextExecutor, mat: ActorMaterializer) = ???

和

def f(x: String)(implicit mi: MyImplicit) = {
  import mi._
  ???
}