Case class и алгебраические типы — бесплатный тест онлайн

Вопрос 1 из 20

В теме «Классы-образцы» на ревью спорят о причине наблюдаемого результата. Какое объяснение корректно?

case class User(name: String, tags: List[String])
val a = User("Ada", List("admin"))
val b = a.copy(name = "Grace")
println(a.tags eq b.tags)

`Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения. Порядок ветвей и шаблонов несущественен: перед выполнением Scala автоматически переставляет их от частных к общим. Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val`. `Sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`. Любая конструкция, записанная через `val`, делает связанный объект неизменяемым, а все его методы — безопасными для параллельного вызова.

Вопрос 2 из 20

Для темы «Классы-образцы» фрагмент вынесли из локальной функции в общий модуль и добавили новый вариант входных данных. Какой дефект остаётся возможным при корректном синтаксисе?

// Дополнительный контекст: Публичную сигнатуру слегка изменили, но большая часть вызывающего кода осталась прежней.
case class User(name: String, tags: List[String])
val a = User("Ada", List("admin"))
val b = a.copy(name = "Grace")
println(a.tags eq b.tags)

Локальное изменение сигнатуры не способно повлиять на поиск перегрузки, given или вывод типа в вызывающем коде. Через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. Единственное последствие ошибки здесь — менее понятное сообщение компилятора; поведение собранной программы не меняется. Добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку.

Вопрос 3 из 20

При исправлении темы «Классы-образцы» на ревью уже воспроизвели проблему: Копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Какую правку стоит принять?

case class User(name: String, tags: List[String])
val a = User("Ada", List("admin"))
val b = a.copy(name = "Grace")
println(a.tags eq b.tags)
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат. Добавить общий `case _` и возвращать нейтральное значение: так новые варианты модели не будут останавливать сборку. Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами. Спрятать несовместимость за `asInstanceOf`, сохранив прежнюю сигнатуру и добавив тест только для рабочего примера.

Вопрос 4 из 20

В контракте темы «Классы-образцы» какое решение не превращает частный успешный случай в общее обещание?

`Sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`. Отдельная граница — добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val`. Отдельная граница — через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val`. Отдельная граница — копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val`. Отдельная граница — прохождение happy path исключает ошибки сериализации на старых и неполных данных. `Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения. Отдельная граница — копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку.

Вопрос 5 из 20

При проверке темы «Классы-образцы» какой контроль остаётся полезным после рефакторинга и переименования кода?

Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val`. Считать отсутствие исключения достаточным подтверждением контракта. В теме «Классы-образцы» исправить один показанный вызов по рекомендации «Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами». Общий контракт и прежнюю границу отдельно не воспроизводить. Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат. В проверке воспроизвести ситуацию: копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами. В проверке воспроизвести ситуацию: через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами. В проверке воспроизвести ситуацию: копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку.

Вопрос 6 из 20

Какая характеристика конструкции «Закрытая иерархия» подтверждается показанным фрагментом?

sealed trait Payment
case class Card(last4: String) extends Payment
case object Cash extends Payment
def label(p: Payment) = p match
  case Card(n) => n
  case Cash => "cash"

Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить. `Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения. `Sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`. Успешная компиляция означает, что замена конкретного типа на `Any` не изменит доступные операции и результат программы. Выражение с побочным эффектом не может влиять на выведенный тип блока: компилятор всегда берёт первую содержательную строку.

Вопрос 7 из 20

Для темы «Закрытая иерархия» что здесь требует отдельного теста или компиляционного примера?

// Дополнительный контекст: После рефакторинга код по-прежнему компилируется, однако его статический тип стал шире.
sealed trait Payment
case class Card(last4: String) extends Payment
case object Cash extends Payment
def label(p: Payment) = p match
  case Card(n) => n
  case Cash => "cash"

Добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Локальное изменение сигнатуры не способно повлиять на поиск перегрузки, given или вывод типа в вызывающем коде. Через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. Добавление широкого типа или общего `case _` усиливает контроль, потому что компилятору становится известно больше допустимых вариантов.

Вопрос 8 из 20

При исправлении темы «Закрытая иерархия» нужно устранить причину, а не замаскировать симптом. Какое изменение подходит лучше?

sealed trait Payment
case class Card(last4: String) extends Payment
case object Cash extends Payment
def label(p: Payment) = p match
  case Card(n) => n
  case Cash => "cash"
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами. Спрятать несовместимость за `asInstanceOf`, сохранив прежнюю сигнатуру и добавив тест только для рабочего примера. Ввести неявное преобразование между типами, чтобы вызывающий код продолжил компилироваться без явной миграции. Перечисляйте состояния явно и разрешайте компилятору напомнить о новом варианте во всех обработчиках.

Вопрос 9 из 20

В контракте темы «Закрытая иерархия» после изменения окружения команда пересматривает контракт. Какой вариант корректен?

Оставить в контракте правило «алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить»; проверяемое ограничение — «добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов». Оставить в контракте правило «`sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`»; проверяемое ограничение — «добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов». Оставить в контракте правило «`sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`»; проверяемое ограничение — «если локальный вызов успешен, распределённые повторы и частичные отказы не меняют вывод». Оставить в контракте правило «`sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`»; проверяемое ограничение — «копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку». Оставить в контракте правило «`copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения»; проверяемое ограничение — «через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию».

Вопрос 10 из 20

При проверке темы «Закрытая иерархия» какая проверка связывает принятую правку с реальной границей решения?

Перечисляйте состояния явно и разрешайте компилятору напомнить о новом варианте во всех обработчиках. В проверке воспроизвести ситуацию: добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. В проверке воспроизвести ситуацию: добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. В теме «Закрытая иерархия» исправить один показанный вызов по рекомендации «Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами». Общий контракт и прежнюю границу отдельно не воспроизводить. Перечисляйте состояния явно и разрешайте компилятору напомнить о новом варианте во всех обработчиках. В проверке воспроизвести ситуацию: копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. `Sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`. Проверить только маленький объём данных и не измерять рост затрат.

Вопрос 11 из 20

В теме «Копирование» проследите типы и порядок вычисления. Какой вывод выдерживает такую проверку?

case class Order(status: String, paid: Boolean)
val draft = Order("draft", false)
val broken = draft.copy(status = "shipped")
println(broken)

Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить Компилятор откладывает выбор типа до первого использования значения, поэтому объявленная форма выражения здесь ничего не ограничивает Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val` Порядок ветвей и шаблонов несущественен: перед выполнением Scala автоматически переставляет их от частных к общим `copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения

Вопрос 12 из 20

Какое ограничение действительно связано с «Копирование»?

Через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. Единственное последствие ошибки здесь — менее понятное сообщение компилятора; поведение собранной программы не меняется. Метод `copy` не позволяет менять отдельные поля: он всегда создаёт точную копию исходного объекта. Копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов.

Вопрос 13 из 20

Как исправить пример по теме «Копирование», сохранив его обещания?

case class Order(status: String, paid: Boolean)
val draft = Order("draft", false)
val broken = draft.copy(status = "shipped")
println(broken)
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. Расширить спорный тип до `Any`, а точные проверки перенести во все места использования, чтобы не менять текущую реализацию. Перечисляйте состояния явно и разрешайте компилятору напомнить о новом варианте во всех обработчиках. Ввести неявное преобразование между типами, чтобы вызывающий код продолжил компилироваться без явной миграции. Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат.

Вопрос 14 из 20

В контракте темы «Копирование» какая формулировка учитывает и семантику конструкции, и реальный риск?

`Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения; через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. `Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения; копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить; добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Case class автоматически получает сравнение по значениям, `copy`, `unapply` и удобное представление; параметры конструктора по умолчанию становятся полями `val`; через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. `Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения; одного примера достаточно, чтобы подтвердить законы абстракции и отсутствие побочных эффектов.

Вопрос 15 из 20

При проверке темы «Копирование» какой итог ревью содержит и действие, и способ заметить возврат риска?

Перечисляйте состояния явно и разрешайте компилятору напомнить о новом варианте во всех обработчиках. В проверке воспроизвести ситуацию: через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. В проверке воспроизвести ситуацию: через `copy` можно обойти предметный переход состояния, если конструктор и поля позволяют собрать запрещённую комбинацию. `Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения. Оставить тест без старой версии данных и неизвестных полей. Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. В проверке воспроизвести ситуацию: копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. В теме «Копирование» исправить один показанный вызов по рекомендации «Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат». Общий контракт и прежнюю границу отдельно не воспроизводить.

Вопрос 16 из 20

В теме «Моделирование состояний» какое утверждение не переносит в Scala правило из другого языка или другой конструкции?

enum Result:
  case Success(value: Int)
  case Failure(message: String)
val r = Result.Success(7)
println(r)

`Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения. Выражение с побочным эффектом не может влиять на выведенный тип блока: компилятор всегда берёт первую содержательную строку. Неявное числовое преобразование всегда выбирает ближайший тип без потери диапазона, поэтому явная проверка границ не требуется. `Sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`. Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить.

Вопрос 17 из 20

Фрагмент вынесли из локальной функции в общий модуль и добавили новый вариант входных данных. Какое ограничение темы «Моделирование состояний» становится существенным?

Копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Локальное изменение сигнатуры не способно повлиять на поиск перегрузки, given или вывод типа в вызывающем коде. Новый вариант `enum` автоматически покрывается уже существующим сопоставлением с образцом. Добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Набор строковых флагов допускает несовместимые сочетания и переносит проверку в каждый потребитель.

Вопрос 18 из 20

При исправлении темы «Моделирование состояний» какое решение уменьшает вероятность повторения обнаруженного дефекта?

enum Result:
  case Success(value: Int)
  case Failure(message: String)
val r = Result.Success(7)
println(r)
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат. Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами. Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами. Добавить общий `case _` и возвращать нейтральное значение: так новые варианты модели не будут останавливать сборку. Заменить состояния строковыми флагами и проверять допустимые сочетания только перед сохранением данных.

Вопрос 19 из 20

В контракте темы «Моделирование состояний» новый сценарий не отменяет основное правило, но делает заметной его границу. Какой ответ это отражает?

`Copy` создаёт новый экземпляр case class, заменяя только указанные поля и сохраняя остальные значения. Отдельная граница — копирование не выполняет глубокую копию вложенных изменяемых объектов: обе версии могут разделять одну и ту же ссылку. Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить. Отдельная граница — набор строковых флагов допускает несовместимые сочетания и переносит проверку в каждый потребитель. `Sealed`-иерархия требует объявлять прямых наследников в том же исходном файле и позволяет проверять исчерпывающий `match`. Отдельная граница — набор строковых флагов допускает несовместимые сочетания и переносит проверку в каждый потребитель. Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить. Отдельная граница — добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить. Отдельная граница — успешная сборка гарантирует бинарную и исходную совместимость опубликованного API.

Вопрос 20 из 20

При проверке темы «Моделирование состояний» что нужно оставить после исправления, кроме комментария в исходном файле?

Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат. В проверке воспроизвести ситуацию: добавление общего `_` скрывает новый вариант и лишает модель одного из главных преимуществ закрытой суммы типов. Разделяйте варианты через `enum` или sealed case classes и храните данные рядом с тем состоянием, которому они принадлежат. В проверке воспроизвести ситуацию: набор строковых флагов допускает несовместимые сочетания и переносит проверку в каждый потребитель. Для доменных значений помещайте внутрь case class неизменяемые структуры и отдельно управляйте внешними ресурсами. В проверке воспроизвести ситуацию: набор строковых флагов допускает несовместимые сочетания и переносит проверку в каждый потребитель. Алгебраический тип моделирует допустимые варианты и их данные так, чтобы невозможные состояния было трудно представить. Проверить локальный успех, не моделируя частичный отказ внешнего сервиса. В теме «Моделирование состояний» исправить один показанный вызов по рекомендации «Для сущностей с инвариантами скрывайте прямое копирование за доменными методами или моделируйте состояния разными типами». Общий контракт и прежнюю границу отдельно не воспроизводить.