scala – 多重集合的高级类型

template<typename T,template<typename> S>

第一个问题：使用S [X]<：设置[X]代替.使用下划线标记高阶类型参数是方便的,不需要用无用的名称来引起注意,但实际上你可以使用任何标识符.对于这种特殊情况,下划线不起作用.你甚至可以做S [X]<：Set [List [X]]之类的事情. 第二个问题：没有直接的等价物,但我很少在C#中使用它,因为它暗示对象只能由无参数构造函数创建,这是一个很大的限制,对所有可能的代码使用都有效.例如,您的类的用户可能希望在初始化时设置容量,或者使用池或其他任何东西.大多数时候,我需要一个Func< S>.在构造函数中委托,我可以添加一个静态工厂,它接受new作为方便

class Generic<T> 
{
   public Generic(...,Func<T> factory)
}

static class Generic 
{
  public Generic<T> Create(....) where T : new {
    return new Generic(...,() => new T());
  }
}

在scala中,您需要传递该函数.一种可能的替代方案是使用隐含参数,例如

trait Builder[A] {
   def build(): A
}

object Builder {
  def build[A: Builder] : A = implicitly[Builder[A]].build()
}

class Generic[A: Builder](....) {....
    ...
    // instead of val a = new A()
    val a = Builder.build[A]
    ....
}

然后,您可以确保构建器在参数类型的隐式作用域中可用,并且默认情况下将使用它.当默认值不是你想要的时候,你仍然可以明确地传递另一个.