scala – 为什么选项不可扩展？

这个问题在邮件列表上曾经是asked,但没有引起回应.

这是一个例证：

sealed trait OptionX[+A] extends Traversable[A] {
  def foreach[U](f: (A) => U): Unit = if (!isEmpty) f(get)
  def get: A
  def isDefined: Boolean
  def getOrElse[B >: A](default: => B): B
}

case class SomeX[+A](a: A) extends OptionX[A] {
  override def isEmpty = false
  def get = a
  def isDefined = true
  def getOrElse[B >: A](default: => B) = a
}

case object NoneX extends OptionX[Nothing] {
  override def isEmpty = true
  def get = sys.error("none")
  def isDefined = false
  def getOrElse[B](default: => B) = default
}

object O extends App {
  val s: OptionX[Int] = SomeX(1)
  val n: OptionX[Int] = NoneX
  s.foreach(i => println("some " + i))
  n.foreach(i => println("should not print " + i))
  println(s.map(_ + "!"))
}

最后一行返回一个List(“1！”)而不是Option.可能有人可以想出一个可以产生一个SomeX(“1！”)的CanBuildFrom.我的尝试没有成功：

object OptionX {
  implicit def canBuildFrom[Elem] = new CanBuildFrom[Traversable[_],Elem,OptionX[Elem]] {
    def builder() = new Builder[Elem,OptionX[Elem]] {
      var current: OptionX[Elem] = NoneX
      def +=(elem: Elem): this.type = {
        if (current.isDefined) sys.error("already defined")
        else current = SomeX(elem)
        this
      }
      def clear() { current = NoneX }
      def result(): OptionX[Elem] = current
    }
    def apply() = builder()
    def apply(from: Traversable[_]) = builder()
  }
}

我需要明确地传递隐式：

scala> import o._
import o._

scala> val s: OptionX[Int] = SomeX(1)
s: o.OptionX[Int] = SomeX(1)

scala> s.map(_+1)(OptionX.canBuildFrom[Int])
res1: o.OptionX[Int] = SomeX(2)

scala> s.map(_+1)
res2: Traversable[Int] = List(2)

编辑：

所以我可以解决这个问题,并通过OptionX扩展TraversableLike [A,OptionX [A]]并覆盖newBuilder来返回一个OptionX(1).

但是,在SomeX(1)SomeX(2)或for(i< - SomeX(1); j< - List(1,2))yield(i j)中,我得到运行时错误.所以我不认为有可能扩展可扩展性,并且在返回最特定的类型方面做一些理智的事情. 除了可行性,编码风格明智,我不知道在任何情况下,Option都像Traversable一样是件好事.选项表示不总是定义的值,而可扩展定义可以在其中具有多个元素的集合的方法,如drop(n),splitAt(n),take(n),.虽然如果选项也是可移动的,它会提供方便,我认为这可能意味着不太清楚. 在必要时使用toSeq似乎是一种无痛的方式,表明我希望我的选项像Traversable一样.对于某些循环使用的情况,有一个option2Intable隐式转换 – 所以例如这已经有效(它们都返回List(1,2))： >列表(选项(1),选项(2),无).flattenfor(i< - List(0,1); j< - Some(1))yield(i j)(1)(2)