scala - 如何强制集合(Seq、List 等)只接受正整数 - Scala

Question

理想情况下，我希望在 Scala 中强制执行 Collection 以仅允许正整数。有办法吗？

我可以在运行时通过将 Sequence 包装在类中并验证其初始化来实现它，但这意味着在运行时处理异常。编译时解决方案会更好。

Answer 1

您可以使用 refined定义一个 List[Int @@ Positive]，它是一个大于零的 Int 列表。然后精化将在编译时检查列表中的所有元素是否为正:

import eu.timepit.refined.auto._
import eu.timepit.refined.numeric.Positive
import shapeless.tag.@@

scala> val posInts: List[Int @@ Positive] = List(1, 2, 3)
posInts: List[Int @@ Positive] = List(1, 2, 3)

如果你试图在 List 中放入一个非正的 Int，你会得到一个编译错误:

scala> val posInts: List[Int @@ Positive] = List(1, 2, 3, -4)
<console>:43: error: Predicate failed: (-4 > 0).
       val posInts: List[Int @@ Positive] = List(1, 2, 3, -4)
                                                           ^