在类型类中，如何使用额外的参数改变操作？

Question

通常，对于不同的成员，操作将具有相同数量的参数，即签名看起来非常相似。我的问题是：如果一个成员需要本质上相同的操作，但有一个额外的参数（可能只是一个隐式的：基于上下文修改操作的东西），会发生什么？

有没有一种方法可以做到这一点，而不定义一个全新的（类似的）类型类？

Answer 1

有一个额外的显式参数吗？否。每个typeclass实例必须具有相同的接口，即typeclass的接口。带有隐式参数？是的。您可以声明一个implicit def，它返回所需的隐式，但本身需要一个隐式。这里有一个例子来说明：

case class Cat(name: String)
case class Person(name: String)
case class Silverware(kind: String)

implicit object GoodSilver extends Silverware("the good silver")

trait AnimalFeeder[A] {
  def feed(animal: A): Unit
}

implicit object CatFeeder extends AnimalFeeder[Cat] {
  def feed(cat: Cat) = println(cat.name + " eats cat food!")
}

implicit def personFeeder(implicit silverware: Silverware) =
  new AnimalFeeder[Person] {
    def feed(person: Person) =
      println(person.name + " eats people food with " + silverware.kind)
  }

def feedAnimal[A](a: A)(implicit feeder: AnimalFeeder[A]) = feeder.feed(a)

CATFeeder提供了一个隐式cat馈送任何cat。PersonFeeder是一个DEF，它可以创建一个隐式来向Person，但需要一个隐式的Silverware。因此在类似于：

feedAnimal(Person("John"))

编译器将搜索隐式AnimalFeeder[Person]，将搜索PersonFeeder，然后将搜索隐式Silverware，最后找到GoodSilver。