关于Scala中（递归）结构类型的有趣观察
我在一些代码中需要一些递归结构类型，使用特征和结构类型作为类型参数约束。它工作正常，但后来我了解到Scala不支持递归结构类型。
那么有人可以解释为什么这样可行：
scala> trait Test[M[A] <: { def map[B](f: A => B) : M[B] } ] {}
defined trait Test
scala> def test[M[A] <: { def map[B](f: A => B) : M[B] } ] = null
<console>:5: error: illegal cyclic reference involving type M
def test[M[A] <: { def map[B](f: A => B) : M[B] } ] = null
没有找到相关结果
已邀请:
2 个回复
物崎巩
trait Test[M[A] <: { def map: M[A] } ] {} def test[M[A] <: { def map: M[A] } ] = nulltype S[M] = { def map: M } trait Test[M[A] <: S[M[A]] ] {} def test[M[A] <: S[M[A]] ] = null笛驮型迸
scala> trait Test[M[A] <: { def map[B](f: A => B) : M[B] } ] {} <console>:4: error: illegal cyclic reference involving type M trait Test[M[A] <: { def map[B](f: A => B) : M[B] } ] {} ^