时间戳

首页 > 解决方案 > 值不是类型参数的成员

scala - 值不是类型参数的成员

问题描述

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

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
    }
}

提前致谢

标签： scalagenericstypeclass

解决方案

您的类型类不需要额外的类型参数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了没有使用类的此类类型参数时Dog，您定义了隐藏类的新类型）。

推荐阅读