Scalaの型制約

Question

私は、次のクラス

case class A(vl: Int) 
case class B(name: String) 

は今、私はこの

case class Cllction[T](objs: Seq[T]) 

のようなクラスを作成したい持っているが、事は、私はどちらか一方のみAまたはBことを制限したいです。 Scalaでこれを行うことは可能ですか？たとえば、次のように作成しようとするとします。

val s = Seq[Int]() 
val c = Cllction(s) // should be compile error 

これは可能ですか？

Answer 1

最も簡単な方法は、あなたがバインドタイプで使用され、共通のベース（マーカー特性）を使用することです：

trait Col 
case class A(vl: Int) extends Col 
case class B(name: String) extends Col 

case class Cllction[T <: Col](objs: Seq[T]) 

あなたはAとBを変更することができない場合は、他のソリューションは、労働組合のタイプになりますしかし、これにはもっと複雑なコードやライブラリを使用する必要があります。 How to define “type disjunction” (union types)?