协变 return 类型实现

Question

我正在尝试为 Scala 中的方法实现协变 return 类型。假设我们有以下场景：

class Animal
class Dog extends Animal
class Cat extends Animal

abstract class M[-T]{
  def get[U <: T](): U
}

val container = new M[Animal] {
  override def get[U <: Animal](): U = ???
}

我应该怎么做？

Answer 1

如果您只是好奇，例如您可以使用 Shapeless

import shapeless.{Generic, HNil}

def get[U <: Animal]()(implicit generic: Generic.Aux[U, HNil]): U = 
  generic.from(HNil)

get[Dog] // Dog() for case class, Dog@34340fab otherwise
get[Cat] // Cat() for case class, Cat@2aafb23c otherwise
get[Nothing] // doesn't compile
get[Null] // doesn't compile
get[Cat with Dog] // doesn't compile

或者您可以使用 macro

import scala.language.experimental.macros
import scala.reflect.macros.blackbox

def get[U <: Animal](): U = macro getImpl[U]

def getImpl[U: c.WeakTypeTag](c: blackbox.Context)(): c.Tree = {
  import c.universe._
  q"new ${weakTypeOf[U]}"
}

或者您可以使用 runtime reflection

import scala.reflect.runtime.universe._
import scala.reflect.runtime

def get[U <: Animal : TypeTag](): U = {
  val typ = typeOf[U]
  val constructorSymbol = typ.decl(termNames.CONSTRUCTOR).asMethod
  val runtimeMirror     = runtime.currentMirror
  val classSymbol       = typ.typeSymbol.asClass
  val classMirror       = runtimeMirror.reflectClass(classSymbol)
  val constructorMirror = classMirror.reflectConstructor(constructorSymbol)
  constructorMirror().asInstanceOf[U]
}

（另请参阅 @KrzysztofAtłasik 的回答中带有 Java 反射的示例。）

或者您可以引入一个类型 class 并手动定义其实例

trait Get[U <: Animal] {
  def get(): U
}
object Get {
  implicit val dog: Get[Dog] = () => new Dog
  implicit val cat: Get[Cat] = () => new Cat
}

def get[U <: Animal]()(implicit g: Get[U]): U = g.get()

Answer 2

或者，您可以使用反射来创建新实例。你只需要隐式 classTag:

import scala.reflect.ClassTag

class Animal
class Dog extends Animal
class Cat extends Animal

abstract class M[-T] {
  def get[U <: T](implicit ct: ClassTag[U]): U
}

val container = new M[Animal] {
  override def get[U <: Animal](implicit ct: ClassTag[U]): U =
    //it gets no argument constructor so obviosly it will only work if your classes has no params
    ct.runtimeClass.getConstructor().newInstance().asInstanceOf[U]
}

container.get[Dog]

协变 return 类型实现

Covariant return type implementation

scala

generics

covariance