为什么这个简单的例子不能编译？
为什么这个简单的例子不能编译？
提问于 2011-03-18 19:09:06
这是一个非常简单的scala示例，但无法编译：
abstract class Box[+A] {
var value: A = _
}错误是：
covariant type A occurs in contravariant position in type A of parameter of setter value_=我想让这个类做的是：
class StringBox extends Box[String]
class DateBox extends Box[Date]
object Testbox {
def main(args: Array[String]) {
val list = ListBuffer[Box[Any]]()
val str = new StringBox
str.value = "abc"
val date = new DateBox
date.value = new Date
list += str
list += date
println(list)
}
}回答 3
Stack Overflow用户
回答已采纳
发布于 2011-03-18 19:55:51
它无法编译，因为它是不正确的。如果scala允许这样做，那么您可能会违反类型安全。例如：
import scala.annotation.unchecked.uncheckedVariance
abstract class Box[+A] {
var value: A @uncheckedVariance = _
}
class StringBox extends Box[String]
val sb = new StringBox; sb.value = "abc"
val sa: Box[Any] = sb
sa.value = 5
println(sb.value.length)Stack Overflow用户
发布于 2011-03-18 19:29:52
可变类(并且您的类Box是可变的)不能在其可变字段的类型中协变。但是，您可以使Box不可变
abstract class Box[+A] { val value: A }Stack Overflow用户
发布于 2011-03-18 19:31:02
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/5351078
复制相关文章
相似问题
腾讯云开发者
