Scala：在编译时验证类参数不是instanceOf特征

在编译时，我想验证类参数不是特定特征 T 的实例。我知道如何在运行时使用require or a case match但想知道如何在编译时完成此操作以防止用户提供某种类型的对象混合。

我研究过 scala 宏/反射，但无法完全理解它。

trait A
trait B
trait T
abstract class C extends A with B

case class P(c: C){
  require(!c.isInstanceOf[T]) // how to do this at compile time ?
}

// usage as below
object c1 extends C
object c2 extends C
object c3 extends C
object c4 extends C with T

val l = List(c1, c2, c3, c4).map(k => P(k)) // should fail at compile time

你不能这样做List。中的所有元素List(c1, c2, c3, c4)将是相同的类型，即C以及其中之一具有类型的信息C with T会迷路。

new C {}, new C with T {}是运行时值c1, c2, c3, c4，编译器在编译时无权访问它们List(c1, c2, c3, c4).

你可以这样做HList. Using shapeless.<:!<, shapeless.ops.hlist.LiftAll和善良的投影仪

def noElementIsSubtypeOfT[L <: HList](l: L)(implicit liftAll: LiftAll[* <:!< T, L]) = null

noElementIsSubtypeOfT(c1 :: c2 :: c3 :: HNil) // compiles
// noElementIsSubtypeOfT(c1 :: c2 :: c3 :: c4 :: HNil) // doesn't compile

Or

def noElementIsSubtypeOfT[L <: HList : LiftAll[* <:!< T, *]](l: L) = null

对于类参数你可以这样做

case class P[U <: C](c: U)(implicit ev: U <:!< T)

P(c1) // compiles
P(c2) // compiles
P(c3) // compiles
// P(c4) // doesn't compile

or

case class P[U <: C : * <:!< T](c: U)

其实，有一种方法可以用List来修复代码。你可以上课P隐式（因此您定义隐式转换）并指定列表的类型List[P[_]](...)（所谓的磁铁图案1 2 3 4 5 6 7, P是一块磁铁）

implicit class P[U <: C](c: U)(implicit ev: U <:!< T)

List[P[_]](c1, c2, c3) // compiles

List[P[_]](c1, c2, c3, c4) // doesn't compile, type mismatch: found: c4.type, required: P[_]