无法编译 Kotlin 中另一个类中的密封类：无法访问“<init>”它是私有的答案

【问题标题】：Sealed classes inside another class in Kotlin can't be compiled: cannot access '<init>' it is private无法编译 Kotlin 中另一个类中的密封类：无法访问“<init>”它是私有的
【发布时间】：2018-06-27 04:57:25
【问题描述】：

如果我使用docs 中的示例，

class SomeActivity : AppCompatActivity() {
    sealed class Expr
    data class Const(val number: Double) : Expr()
    data class Sum(val e1: Expr, val e2: Expr) : Expr()
    object NotANumber : Expr()
}

无法编译，报错：

Cannot access '<init>', it is private in 'Expr'.

但是，将其移到封闭类之外使其可以编译：

sealed class Expr
data class Const(val number: Double) : Expr()
data class Sum(val e1: Expr, val e2: Expr) : Expr()
object NotANumber : Expr()

class SomeActivity : AppCompatActivity() {
}

为什么会这样？这是预期的行为吗？文档似乎没有提到这一点。

【问题讨论】：

认为这只是编译器的限制。从技术角度看，我不明白为什么不能嵌套密封类
对我来说更像是一个错误而不是限制。如果出于某种原因，至少应该修复该消息。
毕竟不是错误。

标签： class kotlin sealed

【解决方案1】：

是的，事实证明这是预期的行为。根据the proposal allowing non-nested subclasses：

建议：允许顶级子类用于顶级密封类在同一个文件中。

对于非顶级密封类，所有子类都应在其中声明。因此，对于此类课程，没有任何变化。

您想要的场景被列为开放式问题。在https://youtrack.jetbrains.com/issue/KT-13495 有一张票。目前似乎没有人在研究它。在对该提案的讨论中，开发人员说：

Well, there is some not-trivial implementations details(about generation synthetic constructors) which was solved for top-level classes but how do it in general is not clear.

【讨论】：

【解决方案2】：

来自文档：

一个密封的类本身是抽象的，它不能被实例化直接并且可以有抽象成员。

密封类不允许有非私有的构造函数（它们的构造函数默认是私有的）。

我猜你应该使用这个例子的方式是这样的：

fun main(args: Array<String>) {
    val c = Const(5.0)
    val s = Sum(Const(1.0), Const(3.0))

    println(eval(c))
    println(eval(s))
}

sealed class Expr
data class Const(val number: Double) : Expr()
data class Sum(val e1: Expr, val e2: Expr) : Expr()
object NotANumber : Expr()

fun eval(expr: Expr): Double = when(expr) {
    is Const -> expr.number
    is Sum -> eval(expr.e1) + eval(expr.e2)
    NotANumber -> Double.NaN
    // the `else` clause is not required because we've covered all the cases
}

【讨论】：

有趣的是，如果不允许使用非私有构造函数，Const(...) : Expr() 的工作原理
你使用了 Const 的构造函数。该限制不适用于扩展密封类的类。
是的。对于顶级密封类，编译器会创建在内部使用的公共构造函数，但对于嵌套类则不然。
@Maxim 等等，公众？不受保护？

【解决方案3】：

在 Kotlin 1.0 中，密封的功能相当有限。为了例如，所有的子类都必须嵌套，并且子类不能成为数据类（本章稍后将介绍数据类）。 Kotlin 1.1 放松了限制并允许您在任何地方定义密封类的子类同一个文件。在给定的示例中，到目前为止是不允许的。可能在以后的发布版本中，他们会放宽这个限制。但是，您可以这样做：

class SomeActivity {
    sealed class Expr {
        data class Const(val number: Double) : Expr()
        data class Sum(val e1: Expr, val e2: Expr) : Expr()
        object NotANumber : Expr()
    }
}

【讨论】：