scala – 如何定义循环类型定义？

发布时间：2020-12-16 18:50:56 所属栏目：安全来源：网络整理

导读：这不是有效的类型定义： scala type Addable = { def +(subject: Addable) }console:4: error: illegal cyclic reference involving type Addable type Addable = { def +(subject: Addable) } 这可以用scala表达吗？解决方法不,它不能. 在Scala语言规范版

这不是有效的类型定义：

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

这可以用scala表达吗？

解决方法

不,它不能.

在Scala语言规范版本2.7的第40页上：

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.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!