值不是类型参数的成员

Question

我试图在隐式实现方法中调用Dog的方法bark ，但是我得到了

def speak[Dog](dog: Dog): String = dog.bark ^ 第 16 行：错误：值 bark 不是类型参数 Dog 的成员

这是我的代码

// Define class/type
case class Dog(val breed: String) {
    val bark: String = s"Bark!! I am a $breed"
}

// Define interface
trait Speakable[A] {
    def speak[A](animal: A): String
}

// Define interface companion object, where we can provide
//  implicit implementation methods 
object Speakable {
    def speak[A](animal: A)(implicit sp: Speakable[A]) = sp.speak(animal)
    implicit val dogSpeak: Speakable[Dog] = new Speakable[Dog] {
        def speak[Dog](dog: Dog): String = dog.bark
    }
}

提前致谢

Answer 1

您的类型 class 不需要额外的类型参数A

trait Speakable[A] {
  def speak(animal: A): String
}

（当您定义方法的此类类型参数A时，它隐藏了特征的类型参数A ）。

然后实例

implicit val dogSpeak: Speakable[Dog] = new Speakable[Dog] {
  def speak(dog: Dog): String = dog.bark
}

也不需要方法的类型参数（当您定义此类类型参数Dog您没有使用您的 class Dog时，您定义了隐藏类的新类型）。