Làm cách nào để xác định định nghĩa loại tuần hoàn?

Question

Đây không phải là định nghĩa loại hợp lệ:

scala> type Addable = { def +(subject: Addable) } 
<console>:4: error: illegal cyclic reference involving type Addable 
     type Addable = { def +(subject: Addable) } 

Điều này có thể được thể hiện bằng scala không?

Answer 1

Không, nó không thể .

Trên trang 40 của The Scala Language Specification Version 2.7:

However, it is a static error if a type alias refers recursively to the defined type constructor itself. That is, the type T in a type alias type t[tps] = T may not refer directly or indirectly to the name t.

Answer 2

Có vẻ như điều này có thể được "cố định" trong Scala 2.8:

http://lampsvn.epfl.ch/trac/scala/ticket/1291

Answer 3

Đây là những gì tôi đã làm trong một thư viện tôi đã viết, HTH:

trait Addable { 
    type AddableType <: Addable 
    def + (subject: AddableType): AddableType 
    } 
    trait Rational extends Addable { 
    type AddableType = Rational 
    override def + (subject: Rational): Rational 
    }