1

斯卡拉代码：

trait Converter[S, T] {
  def convert(source: S): T
}

class StringDuplicatorConverter extends Converter[Integer, String] {
  override def convert(source: Integer): String = {
    source.toString + source.toString
  }
}

// whatever, the point is to show potentially many 'converters'
// from Integer (for example) to something
class SomeOtherConverter extends Converter[Integer, User] {
  override def convert(source: Integer): User = {
    User(source)
  }
}

trait ConverterProvider {
  def getConverter[N]: Converter[Integer, N]
}

class MyClass extends ConverterProvider {
  override def getConverter[N]: Converter[Integer, N] = {
    new StringDuplicatorConverter()
  }
}

给

Error:(17, 5) type mismatch;
 found   : StringDuplicatorConverter
 required: Converter[Integer,N]
    new StringDuplicatorConverter()
4

2 回答 2

1

可能你真正想要的是为每个ConverterProvider人提供一个特定类型的转换器（否则定义MyClass没有多大意义：它应该为不同的返回不同的转换器N，而不是总是返回StringDuplicatorConverter）。如果是这样，正确的定义是

trait ConverterProvider[N] {
  def getConverter: Converter[Integer, N]
}

class MyClass extends ConverterProvider[String] {
  override def getConverter: Converter[Integer, String] = {
    new StringDuplicatorConverter()
  }
}
于 2017-07-22T08:48:58.790 回答
1

是的。调用 togetConverter[N]应该返回某种类型的东西，Converter[Integer,N]但StringDuplicatorConverter它是 type Converter[Integer,String]。由于N不限于String，因此它们是不同的类型，因此无法编译。

如果给编译器一些保证N是 a 或超类型，String那么它会起作用。这可以通过使返回类型协变来完成...

trait Converter[S, +T] { ...

...然后定义getConverter和覆盖，如下所示：

def getConverter[N >: String]: Converter[Integer, N]

现在它编译并似乎可以工作。

val mc = new MyClass
mc.getConverter.convert(7)  // res0: String = 77
于 2017-07-22T04:55:01.790 回答