Scala选项？为什么有些人不继承AnyVal,为什么它不是值类型？

Question

为什么Scala有些不从AnyVal继承,以便它使用值类型功能并节省装箱费用？

就像是:

sealed trait TestOption[+A] extends Any {
  def isEmpty: Boolean
  def get: A
}

final case class TestSome[+A](val x: A) extends AnyVal with TestOption[A] {
  def isEmpty = false
  def get = x
} 

case object TestNone extends TestOption[Nothing] {
  def isEmpty = true
  def get = throw new NoSuchElementException("None.get")
}

Answer 1

从Value Classes的文档:

限制摘要

价值类

• 必须只有一个主构造函数,其中只有一个public,val参数,其类型不是值类.(从Scala 2.11.0开始,参数可能是非公开的.)
• 可能没有专门的类型参数.
• 可能没有嵌套或本地类,特征或对象
• 可能没有定义equals或hashCode方法.
• 必须是顶级类或静态可访问对象的成员
• 只能将defs作为成员.特别是,它不能将lazy vals,vars或val作为成员.
• 不能被另一个班级扩展.

大胆的那些排除Some了目前所写的价值等级.其中第二个可能会通过稍微改变来解决,但前者会将其杀死.Some如果某些值本身成为值类,则无法包含另一个值类.