Kotlin: закрытый класс не может «содержать» классы данных? Зачем?

Question

ОК, теперь, когда Котлин официально вышел из игры, и я снова начал играть с ним, я совершенно смущен тем, что мне нужно выбирать между преимуществами sealed и data, но как-то не может быть и того, и другого.

Это, например, кажется, имеет смысл для меня, но не компилируется:

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

потому что классы данных не могут распространяться на другие классы.

Есть что-то, что мне не хватает?

Answer 1

Незадолго до того, как вступил в бета-состояние, команда Котлина решила добавить определенные ограничения на использование классов data (see this post) из-за проблем, которые они вызвали в иерархиях классов.

Одним из ограничений является то, что класс data не должен подтипировать другой класс, допускаются только интерфейсы. Следовательно, классы data не могут быть получены из sealed class.

Это была необходимая мера, чтобы избежать дальнейшего отсрочки выпуска 1.0. Некоторые из ограничений, как говорили, были сняты в будущих выпусках, как только проблемные случаи будут тщательно пересмотрены, и будет найдено хорошее дизайнерское решение.