scala - 值类中的 If 语句

Question

我需要验证我的值类的参数(如下)。但我收到错误

this statement is not allowed in value class

在编译时，有办法解决这个问题吗？谢谢。

case class Size(val size: Long) extends AnyVal { 
   if (size < 0) throw new IllegalArgumentException; // error
   def +(s: Size): Size =Size(size + s.size)
}

Answer 1

值类是现有对象的包装器，因此 Scala 实际上并不实例化值类对象，而是使用底层对象(这就是 SIP-15 存在的原因)。因此，没有地方可以放置初始化代码，并且运行时检查 size 根本不可能。