Tại sao Tùy chọn không mở rộng đặc điểm Iterable trực tiếp?

Question

Option là mặc nhiên chuyển đổi thành một Iterable - nhưng tại sao nó không chỉ là chỉ thực hiện Iterable trực tiếp:

def iterator = new Iterator[A] { 
    var end = !isDefined 
    def next() = { 
    val n = if (end) throw new NoSuchElementException() else get 
    end = true 
    n 
    } 

    def hasNext = !end 
} 

EDIT:Trong thực tế nó thậm chí còn Weider hơn thế bởi vì trong 2,8 Option không khai báo một phương pháp iterator :

def iterator: Iterator[A] = 
    if (isEmpty) Iterator.empty else Iterator.single(this.get) 

Answer 1

Tôi nghĩ rằng có quá nhiều phương pháp không vô nghĩa sẽ được yêu cầu. Ví dụ, những gì bạn mong đợi giá trị trả về là cho:

Some(1) ++ Some(2) 

này hiện biên dịch và đánh giá để Liệt (1,2) qua implicits trong 2.8, nhưng có vẻ kỳ lạ.

Có lẽ đó là lý do tại sao các ý kiến ​​doc trong 2,7 nói:

Only potentially unbounded collections should directly sub-class Iterable 

Edit: Như đã trình bày trong @ MattR của bình luận dưới đây, tôi lại ra đề nghị doc-bình luận cho sub-type Bộ sưu tập được có khả năng gây nhầm lẫn . Và xem xét nó biến đổi câu hỏi này thành "Tại sao Option không mở rộng đặc điểm Collection?"