Kotlin：密封类不能“包含”数据类？为什么？

Question

好的，现在Kotlin已经正式出来了，我又开始玩了，我很困惑，我需要在sealed和data之间进行选择，但不知何故都不能兼得。

这一点，例如，似乎是有道理的我，但不编译：

sealed class Expr { 
    data class Const(val number: Double) : Expr() 
    data class Sum(val expr1 : Expr, val expr2 : Expr) : Expr() 
} 

因为数据类不能扩展其他类。

有什么我失踪？

Answer 1

在进入Beta状态之前不久，Kotlin团队决定对data类的使用（see this post）添加一些限制，因为它们在类层次结构中造成了问题。

其中一个限制是data类不应该子类型另一个类，只有接口是允许的。因此，data类不能从sealed class派生。

这是避免进一步推迟1.0版本的必要措施。据称，在未来的版本中，一些限制被解除，一旦有问题的案例得到彻底审查并找到一个好的设计解决方案。