4

我有这样的功能：

private def fixBrand[T]( item:T ) = item.copy(brand = item.brand.toLowerCase)

这不是编译---抱怨 T 没有函数副本。现在我知道我将传入的每个项目都是一个案例类。我怎么能告诉编译器？这些案例类中的每一个也有一个“品牌”字段，但在对象层次结构方面是不相关的。

我以为我读到 Scala 2.10 有一个特性允许我将 T 用作具有函数 x、y、...的“事物”？不过忘记了那个功能叫什么！

4

2 回答 2

4

您可以使用结构类型：

def fixBrand[T <: { def copy(t: String): T; def brand: String }](item: T) = item.copy(item.brand.toLowerCase)
于 2013-09-14T21:31:33.810 回答
2

仅从您的函数来看，根本不清楚T有copy方法，更不用说这个方法也应该brand作为参数之一。

我认为你能得到的最接近的是视图边界的使用，比如

trait WithBrandCopyable[T] {
  def copy(brand: String): T
  def brand: String
}

object Classes {
  case class Class1(brand: String, number: Int)
  case class Class2(factor: Double, brand: String)

  implicit def class1ToWithBrandCopyable(obj: Class1) = new WithBrandCopyable[Class1] {
    def copy(brand: String) = obj.copy(brand = brand)
    def brand = obj.brand
  }

  implicit def class2ToWithBrandCopyable(obj: Class2) = new WithBrandCopyable[Class2] {
    def copy(brand: String) = obj.copy(brand = brand)
    def brand = obj.brand
  }
}

object Main {
  def fixBrand[T <% WithBrandCopyable[T]](obj: T) =
    obj.copy(brand = obj.brand.toLowerCase)

  def main(args: Array[String]) {
    import Classes._  // Import both classes and implicit conversions

    val obj1 = Class1("BrAnD1", 10)
    val obj2 = Class2(0.3, "BRAnd2")

    println(fixBrand(obj1))  // Prints Class1("brand1",10)
    println(fixBrand(obj2))  // Prints Class2(0.3,"brand2")
  }
}

当然，变化是可能的（例如，使用成熟的类型类），但它们都将包含某种形式的隐式。

请注意，可以WithBrandCopyable为每个案例类创建一个超特征，然后对泛型参数使用普通的上限。我使用隐式转换有两个原因。首先，因为我想保持copy方法。不可能copy(brand: String)在某些特征中定义方法，然后通过您的案例类继承此特征，因为它会与编译器生成的copy(<case class arguments>)方法发生冲突，正如马克在他对另一个答案的评论中提到的那样。其次，隐式转换根本不需要您修改案例类——编写转换方法就足够了。

但是，这种方法需要一些样板文件，即接口特征和每个案例类到此特征的隐式转换。可以通过使用宏来减少这个样板，但我认为不会那么多。

这个样板确实是有原因的。obj.copy(brand = brand)方法调用在源代码中可能看起来相同，但实际上它是对两个完全不同的方法的调用：第一个有签名(String, Int) => Class1，第二个有签名(Double, String) => Class2，更不用说它们属于没有共同祖先的不同类。当然，这些调用的字节码会有所不同。宏在这里会有所帮助，但据我所知，它们仍然不足以完全减少这个样板，至少在当前稳定版本的 Scala 中是这样。

于 2013-09-15T09:34:23.543 回答