scala - 要求类型是可实例化的，即不是特征/抽象

Question

假设我有:

trait A

class B extends A

class C extends A

有没有办法配置类型参数:

class Foo[AType <: A with canCreateInstance]
    def newAType : AType = new AType

这个想法是，Foo 只能采用实现 A 的类，如 B 或 C，但不能采用 A 本身。

Answer 1

尝试给特征一个伴生对象。伴随对象将是返回 AType 实例的对象。

对于伴随对象的使用:

trait Queue[T]{
    def head:T
    def tail:Queue[T]
    def enqueue(x:T):Queue[T]
}

object Queue{
    def apply[T](xs: T*): Queue[T] = 
        new QueueImpl[T](xs.toList)

    private class QueueImpl[T](
        private val leading:List[T],
        private val trailing:List[T]=Nil
    ) extends Queue[T]
    {
       // methods in here
    }
}

也许这更简单:

object A{

  def aType(...):A = new B(...)

  def aType(...):A = new C(...)


  /* classes */

  private class C(...) extends A

  private class B(...) extends A{
    // blah blah
  }

}