Что такое запечатанная черта?

Запечатанные классы описаны в «Программирование в Scala», но запечатанные черты - нет. Где я могу найти больше информации о запечатанном признаке?

Я хотел бы знать, является ли запечатанная черта такой же, как у запечатанного класса? Или, если нет, в чем различия? Когда стоит использовать запечатанную черту (а когда нет)?

sealedПризнак может быть продлен только в том же файле, его декларации.

Они часто используются для предоставления альтернативы enums. Поскольку они могут быть расширены только в одном файле, компилятор знает все возможные подтипы и может рассуждать об этом.

Например, с объявлением:

sealed trait Answer
case object Yes extends Answer
case object No extends Answer

Компилятор выдаст предупреждение, если совпадение не является исчерпывающим:

scala> val x: Answer = Yes
x: Answer = Yes

scala> x match {
     |   case No => println("No")
     | }
<console>:12: warning: match is not exhaustive!
missing combination            Yes

Поэтому вы должны использовать запечатанные черты (или запечатанный абстрактный класс), если число возможных подтипов конечно и известно заранее. Для большего количества примеров вы можете взглянуть на список и реализации опций .

Запечатанная черта - это то же самое, что запечатанный класс?

Что касается sealed, да. Они разделяют обычные различия между traitи class, конечно.

Или, если нет, в чем различия?

Мут.

Когда стоит использовать запечатанную черту (а когда нет)?

Если у вас есть sealed class X, то вы должны проверить, Xа также любые подклассы. То же самое не относится к sealed abstract class Xили sealed trait X. Так что вы могли бы сделать sealed abstract class X, но это гораздо более многословно, чем просто traitи для небольшого преимущества.

Основным преимуществом использования abstract classнад a traitявляется то, что он может получать параметры. Это преимущество особенно актуально при использовании классов типов. Допустим, вы хотите построить отсортированное дерево, например. Вы можете написать это:

sealed abstract class Tree[T : Ordering]

но вы не можете сделать это:

sealed trait Tree[T : Ordering]

поскольку границы контекста (и границы представления) реализованы с неявными параметрами. Учитывая, что черты не могут получать параметры, вы не можете этого сделать.

Лично я предпочитаю sealed traitи использую это, если какая-то конкретная причина не заставляет меня использовать sealed abstract class. И я говорю не о тонких причинах, а о личных причинах, которые вы не можете игнорировать, таких как использование классов типов.

Из блога daily-scala :

Когда признак «запечатан», все его подклассы объявляются в одном и том же файле, и это делает набор подклассов конечным, что позволяет выполнять определенные проверки компилятором.

Также я чувствую необходимость указать вам спецификации:

Запечатаны модусы фи эр относится к классу де определений. запечатаны класс не может быть непосредственно по наследству, за исключением случаев , наследуя шаблон де определены в том же исходном файле, что унаследованный класс. Однако подклассы запечатанного класса могут наследоваться где угодно.

- М. Одерский. Спецификация языка Scala, версия 2.8. в сети, сентябрь 2013 г.

Кратко:

• Запечатанные черты могут быть расширены только в одном файле
• Список это позволяет компилятору легко узнать все возможные подтипы
• Используйте запечатанные черты, когда число возможных подтипов конечно и известно заранее
• Способ создания чего-то вроде enum в Java
• Помогите определить алгебраические типы данных (ADT)

и более подробно все о запечатанных чертах в Scala