如何解决Scala 3中枚举的不变默认类型
Scala 3现在具有定义ADT的改进方法。
一种语法糖,消除了用通常的sealed trait
方式进行操作的所有麻烦。
所以我将用一个例子来解释我的问题
enum Adt[+A]{
case Option1
case Option2
}
在这种情况下,Option1
和Option2
的类型为Adt[nothing]
,因为类型参数A
是协变的。
如果枚举是反变的,则它们的类型为Adt[Any]
。
但是如果它不变呢?
解决方法
在Dotty 0.27.0-RC1中,这是一个错误:
scala> enum Adt[A]{
| case Option1
| case Option2
| }
2 | case Option1
| ^^^^^^^^^^^^
| cannot determine type argument for enum parent class Adt,| type parameter type A is non variant
3 | case Option2
| ^^^^^^^^^^^^
| cannot determine type argument for enum parent class Adt,| type parameter type A is non variant
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。