scala - 在 Scala 中使用幻像类型标记原始类型

Question

在 Scala 中，我可以使用幻像类型的概念(如 here 所述)来标记类型并在运行时删除此信息。我想知道是否可以用幻影类型标记原始类型而不将它们装箱。

一个例子可能是一个函数，它只让 Int 是素数时才通过。签名可能类似于以下内容:

def filterPrime(i: Int): Option[Int with IsPrime]

该函数返回值 Some(i)如果 i是素数或 None别的。

所陈述的想法是否可以在 Scala 中实现而不用装箱原始整数？

Answer 1

以下对我有用:

trait IsPrime
val x = 5.asInstanceOf[Int with IsPrime]
val y:Int = x

val z:Int with IsPrime = 6 /* this line causes a compile error
                              which is what you want */