Блог

Я новичок в Kotlin. Я читаю книгу, и запечатанный класс отображается там как «расширение» Enum. Я не вижу сходства между ними. На мой взгляд, запечатанный класс больше связан с наследованием, потому что каждый класс может наследовать от него и добавлять к нему функции и свойства, например:

 sealed class messageType
class MessageSuccess (var msg: String) : MwssageType()
class MessageFailure (var msg: String, var e: Exeception) : MwssageType()
  

Я не вижу здесь значений, подобных тем, которые мы имеем в Enum, только излом наследования.
Может кто-нибудь объяснить мне, что такое представить между Enum и Sealed, которые я не могу найти?
Может быть, его сила заключается в использовании его с выражением when?

Я думаю, что документация подразумевает расширение, на самом деле это не расширение перечислений, а инструмент, подобный перечислениям, с большей мощностью, поскольку он может удерживать состояние. давайте посмотрим на ваш пример с перечислениями.

 sealed class SealedMessageType
class MessageSuccess (val msg: String) : SealedMessageType()
class MessageFailure (val e: Exeception) : SealedMessageType()

enum class EnumMessageType {
    Success,
    Failure
}
  

и теперь, если вы используете перечисления, у вас есть:

 val enumMessageType: EnumMessageType = callNetwork()

    when(enumMessageType) {
        EnumMessageType.Success -> { TODO() }
        EnumMessageType.Failure -> { TODO() }
    }
  

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

 val sealedMessageType: SealedMessageType = callNetwork()

    when(sealedMessageType) {
        is MessageSuccess -> { println(sealedMessageType.msg) }
        is MessageFailure -> { throw sealedMessageType.e }
    }
  

среда IDE может интеллектуальным образом преобразовать ваш результат, и вы можете получить состояние вашего результата (в случае успеха — сообщение, в случае сбоя — исключение). это то, что документ подразумевает под расширением.

но в целом вы правы, запечатанный класс связан с наследованием. на самом деле запечатанный класс — это не что иное, как абстрактный класс, который имеет частный конструктор и не может быть создан. давайте посмотрим на декопилированный java-код:

 @Metadata(
   mv = {1, 4, 0},
   bv = {1, 0, 3},
   k = 1,
   d1 = {"u0000u0014nu0002u0018u0002nu0002u0010u0000nu0000nu0002u0018u0002nu0002u0018u0002nu0000b6u0018u00002u00020u0001Bu0007bu0002¢u0006u0002u0010u0002u0082u0001u0002u0003u0004¨u0006u0005"},
   d2 = {"Lcom/example/customview/SealedMessageType;", "", "()V", "Lcom/example/customview/MessageSuccess;", "Lcom/example/customview/MessageFailure;", "app"}
)
public abstract class SealedMessageType {
   private SealedMessageType() {
   }

   // $FF: synthetic method
   public SealedMessageType(DefaultConstructorMarker $constructor_marker) {
      this();
   }
}
  

 @Metadata(
   mv = {1, 4, 0},
   bv = {1, 0, 3},
   k = 1,
   d1 = {"u0000u0012nu0002u0018u0002nu0002u0018u0002nu0000nu0002u0010u000enu0002bu0004u0018u00002u00020u0001Bru0012u0006u0010u0002u001au00020u0003¢u0006u0002u0010u0004Ru0011u0010u0002u001au00020u0003¢u0006bnu0000u001au0004bu0005u0010u0006¨u0006u0007"},
   d2 = {"Lcom/example/customview/MessageSuccess;", "Lcom/example/customview/SealedMessageType;", "msg", "", "(Ljava/lang/String;)V", "getMsg", "()Ljava/lang/String;", "app"}
)
public final class MessageSuccess extends SealedMessageType {
   @NotNull
   private final String msg;

   @NotNull
   public final String getMsg() {
      return this.msg;
   }

   public MessageSuccess(@NotNull String msg) {
      Intrinsics.checkNotNullParameter(msg, "msg");
      super((DefaultConstructorMarker)null);
      this.msg = msg;
   }
}
  

здесь вы можете видеть, что SealedMessageType на самом деле это абстрактный класс. единственное различие между абстрактным классом и закрытым классом заключается в том, что компилятор генерирует некоторые метаданные для закрытых классов и может предупреждать вас об отсутствующих ветвях при использовании when ключевого слова, что невозможно сделать с помощью абстрактных классов. в приведенном выше коде вы можете видеть, что SealedMessageType метаданные класса содержат оба MessageSuccess и MessageFailure как дочерние классы, а MessageSuccess метаданные также содержатся SealedMessageType как родительские. таких метаданных нет, если вы используете абстрактные классы.

если вы используете этот простой трюк, компилятор выдает вам ошибку, если вы пропустите какие-либо ветви, и IDE может помочь вам реализовать отсутствующие ветви с помощью Alt Enter . хитрость заключается в определении исчерпывающей функции расширения:

 
fun main() {
    when(callNetwork()) { // error: when' expression must be exhaustive, add necessary 'is MessageSuccess', 'is MessageFailure' branches or 'else' branch instead

    }.exhaustive()
}

fun Any?.exhaustive() = this



fun callNetwork(): SealedMessageType {
    TODO()
}
  

В терминах функционального программирования запечатанный класс используется для создания категории,