Rivalry2

HTML Diff

0 added 0 removed

Original 2026-01-01

Modified 2026-03-10

1 Операторswitchво многих языках воплощает задумку классификации данных на несколько категорий. Но большинство реализаций не могут поддерживать классификацию объектов и поэтому редко используются в программах. В Scala есть очень мощная система сопоставления объекта с образцом. Однако экземпляр далеко не каждого класса можно сопоставлять с образцом без лишних телодвижений. Для упрощения этого процесса были введены два специальных вида сущностей:кейс-классы (case classes) и кейс-обжэкты (case objects). Кейс-классы подобны именованным кортежам, используемым для хранения данных. Часто они могут не иметь своих методов, выступая пассивными контейнерами, ведь Scala предоставляет великое множество других методов взаимодействия. Итак, синтаксис кейс-класса таков:

2 case class CaseClasName(parameterList) { /*опциональное тело класса*/ }Все поля кейс-класса немутирующие и публичные. Это не является нарушением принципа инкапсуляции, поскольку он неприменим к публичным параметрам кейс-класса. Инкапсуляция полей имеет место, когда поля класса должны меняться некоторым сложным взаимосвязанным образом, и поэтому изменение полей должно производиться через методы класса. Здесь же нет никакого изменяемого состояния (мы крайне не рекомендуем его вводить в теле класса, чревато неожиданными последствиями), и инкапсулировать нечего. Инстанцировать экземпляр кейс-класса можно удобным синтаксисом:

3 CaseClasName(parameter1, parameter2, … , parameterN)Примечание:здесь "под капотом" находится автоматически сгенерированный метод apply для этого класса, позволяющий пользоваться таким синтаксисом.

4 Пример:

5 case class User(name: Stirng, email: String) val user = User("FooBar", "foo@bar.baz")Второй тип сущностей, case object, похож на case class, но не имеет полей. Зачем же он тогда нужен? Для создания строго типизированных перечислений.

6 Заметим, что кейс-класс не может наследовать от другого кейс-класса, поэтому рекомендуем держать иерархию данных как можно более плоской и как можно менее древоподобной. Всегда можно задать кейс-классам общий надтип и, соответственно, нужный набор полей при помощи трейтов. Например, можно сделать так:

7 trait Account { def username: String def email: String } case class User(username: String, email: String) extends Account case class SuperUser(username: String, email: String, privileges: String) extends AccountКаким образом работает сопоставление с шаблоном (pattern matching)? При помощи следующего синтаксиса:

8 value match { case pattern1 if /*опциональное условие 1*/ => value1 case pattern2 if /*опциональное условие 1*/ => value2 ... case patternN if /*опциональное условие N*/=> valueN }Шаблоны могут быть очень разнообразными в зависимости от используемого типа данных.

9 Кейс-класс в сопоставлении с шаблоном можно разложить на его параметры при помощи "вызова конструктора" этого кейс-класса. Например, приведенному выше классуUserбудет соответствовать шаблонUser(name, email). Здесь переменныеnameиuserизвлекаются из объекта классаUserи после этого становятся доступны блокуvalue, следующему за=>. Кроме того, вы можете ввести переменную для обозначения объекта, сопоставляемого с образцом, при помощи символа@. Например, такой шаблон введёт переменнуюuserдля блокаvalue:

10 Ещё одной полезной особенностью сопоставления с образцом является возможность зафиксировать некоторые поля класса или же, наоборот, игнорировать некоторые из них.

11 Например, мы можем выбирать пользователя только с именем "dave" шаблономUser("dave", email). Если же нам безразличен email пользователя, мы можем не вводить переменную для этого поля шаблоном User(name, _).

12 Стоит отметить, что сопоставление с образцами происходит в порядке их расположения. Если шаблонUser(name, email)находится выше шаблонаUser("dave", email), то сопоставления с последним никогда не произойдет, потому что первому из шаблонов соответствует любой экземпляр классаUser.

13 Если же вам не нужны поля класса, а нужно просто соответствие по типу, используйте шаблон видаvalName: TypeName.

14 Кроме того, существует шаблон "_", которому удовлетворяет любой объект.

15 Результат сопоставления с образцом - значение, возвращённое изvalue, приведенное к общему надтипу всех блоковvalue1, … valueN.

16 Если ни одному из шаблонов значение не соответствует, выбрасывается исключениеPatternMatchingException.

17 Приведем пример, объединяющий написанное выше:

18 trait Account case class User(name: Stirng, email: String) extends Account case class SuperUser(name: Stirng, email: String, privileges: String) extends Account case object SomethingStrange extends Account def matcherFunc(acc: Account): Account = acc match { case usr @ User("dave", email) => println("This is dave, his email:" + email) usr case usr @ User(name, email) if email == "" => println("User " + name + " has no email" usr case usr @ User(name, email) => println("User " + name + " has email " + email) usr case su: SuperUser => println("It`s a superuser") su case smth => println("We don’t know what is it") } matcherFunc(User("dave", "some@email.com")) matcherFunc(User("dave", "")) matcherFunc(User("notadave", "")) matcherFunc(User("john", "email@any.com")) matcherFunc(SuperUser("neo", "super@secret.email", "every possible")) matcherFunc(SomethingStrange)На самом деле, сопоставление с образцом можно применять не только на кейс-классах. На всех типах-примитивах (числа, строки, символы, …), и типов, для которых определён метод-экстрактор. Например, вы можете сопоставлять строку с регулярным выражением. Просто создайте несколько регулярных выражений и применяйте сопоставление с шаблоном:

19 val regWord = """([\w]+)""".r val regTwoWords = """([\w]+) ([\w]+)""".r def regexMatcher(s: String) = s match { case regWord(word) => println("Single word: " + word) case regTwoWords(word1, word2) => println("First word: " + word1 + "second word: " + word2) } regexMatcher("hello") regexMatcher("hello word")Такие действия можно осуществлять, определяя методunapplyи объект-экстрактор. Подробнее об этом можно прочитать в<a>документации</a>. Экстрактор имеет ещё одно полезное применение: с помощью него можно распаковывать кейс-классы и другие классы, имеющие экстрактор, используя точно такой же синтаксис, как вид шаблона в сопоставлении с образцом:

20 case class User(name: Stirng, email: String) extends Account val user = User("john", "john@doe.com") val User(someName, someEmail) = userХотя сопоставление с шаблоном имеет больше возможностей, о которых вы можете почитать в документации, здесь мы ограничимся только этими.