C# C# · 25 вопросов · ~70 мин · ⏱ Таймер 10:00 · Сложный ·

Продвинутый pattern matching

Проверяет расширенное сопоставление с образцом: свойства, списки, отношения и исчерпывающие ветвления. Вопросы затрагивают null, порядок arm-ов, неизвестные значения enum и тесты, которые не дают новому состоянию тихо попасть в общий default.

Отвечено: 0 из 25

⏱ --:--

💡 Инструкция: Выберите один ответ из пяти. На 25 вопросов отведено 70 минут. В заданиях с кодом учитывайте указанную конструкцию и не додумывайте отсутствующие условия. После завершения откроются общий результат, тематические шкалы и разбор каждого ответа.

Вопрос 1 из 25

Сработает ли pattern при customer == null?

if (customer is { Address.City: "Tallinn" })
    ApplyLocalRules();

Компилятор запретит Нет, property pattern не совпадает с null и не бросает NRE Будет NullReferenceException Да, Address считается null-safe совпадением В Release property pattern вернёт false, а в Debug разыменует null

Вопрос 2 из 25

Как связать непустое имя с локальной переменной?

if (person is { Name: { Length: > 0 } name })
    Console.WriteLine(name);

person.Name as name person.Name != null => name with person.Name person is { Name: { Length: > 0 } name } person is Name(name)

Вопрос 3 из 25

Что вернёт Describe?

static string Describe(Customer c) => c switch
{
    { Active: true, Tier: >= 5 } => "vip",
    { Active: true } => "active",
    _ => "other"
};
Console.WriteLine(Describe(new Customer(true, 6)));

Ошибка недостижимой ветви other active vip null

Вопрос 4 из 25

Почему общий { Active: true } нельзя ставить перед { Active: true, Tier: >= 5 }?

Широкая ветвь заберёт все активные значения, и специальная станет недостижимой Порядок изменит лишь производительность, но не выбранный результат Свойство Tier нельзя сравнивать внутри шаблона свойств Шаблоны свойств не учитывают порядок ветвей switch Специальную ветвь можно спасти только дополнительным when

Вопрос 5 из 25

Что удобнее выразить extended property pattern?

bool IsEstonian(Customer c) => c is { Address.Country.Code: "EE" };

Цикл по коллекции Reflection Асинхронный вызов Сериализацию Вложенное свойство без каскада скобок

Вопрос 6 из 25

Какие массивы совпадут с [1, 2]?

bool ExactPair(int[] values) => values is [1, 2];
Console.WriteLine(ExactPair([1, 2, 3]));

Пустой и [1,2] Любые содержащие 1 и 2 Только длины 2 со значениями 1 и 2 Только List<int> Любые начинающиеся с 1,2

Вопрос 7 из 25

Что проверяет [0, .., 9]?

bool Framed(int[] values) => values is [0, .., 9];

Длина ровно 2 Сумму 9 Наличие 0 и 9 в любом месте Сортировку Начало 0, конец 9, середина произвольна

Вопрос 8 из 25

Какой результат?

static string Shape(int[] xs) => xs switch
{
    [] => "empty",
    [var a, var b] => "pair",
    _ => "many"
};
Console.WriteLine(Shape(new[] { 4, 5 }));

Ошибка null many empty pair

Вопрос 9 из 25

Почему произвольный IEnumerable<T> не всегда поддерживает list pattern?

Нужен async Общий IEnumerable не обещает длину и индексатор Из-за covariance List pattern доступен только для массивов, но не пользовательских типов Pattern работает только с string

Вопрос 10 из 25

Как захватить середину массива?

if (values is [var first, .. var middle, var last])
    Console.WriteLine($"{first}/{middle.Length}/{last}");

[first, middle*, last] SelectMany slice(middle) [var first, .. var middle, var last] [..] as middle сохраняет лишь длину, но не сам срез

Вопрос 11 из 25

Как выразить включительный диапазон 18..65?

>= 18 and < 65 >= 18 and <= 65 > 18 or < 65 not < 18 or > 65 18..65

Вопрос 12 из 25

Что вернёт Classify(0)?

static string Classify(int x) => x switch
{
    < 0 => "negative",
    0 => "zero",
    > 0 => "positive"
};
Console.WriteLine(Classify(0));

positive other negative zero Ошибка

Вопрос 13 из 25

Почему pattern is not null and { Length: > 0 } читается корректно?

Сначала проверяется not null, затем Length; скобки помогают явно показать группировку Свойство Length читается раньше, а not null исправляет результат после проверки Оператор and выполняет побитовое И над ссылкой и числом Порядок проверок определяется расположением свойств в типе Шаблон not null создаёт временную непустую строку

Вопрос 14 из 25

Какой диапазон задаёт >= 0 and < 10?

bool IsDigit(int x) => x is >= 0 and < 10;

Все целые, кроме 10: нижняя граница в relational pattern не ограничивает отрицательные значения 1..9 Только 0 и 10 0..10 включительно 0..9 для целых

Вопрос 15 из 25

Зачем скобки в not (>= 18 and <= 65)?

Скобки нужны, чтобы relational pattern принимал nullable-значение без проверки null Скобки превращают relational patterns в tuple pattern из двух границ диапазона Группировка ускоряет сравнения, хотя порядок применения логических patterns не меняется Они явно применяют отрицание ко всему диапазону, а не к ближайшему подpattern Без скобок and получает более высокий приоритет, поэтому смысл не меняется

Вопрос 16 из 25

Почему switch по enum часто нуждается в _-ветви?

Switch не поддерживает enum Все значения enum совпадут с первой ветвью, если отсутствует _ Switch expression запрещает перечислять все известные члены enum без ветви _ В enum можно привести неизвестное числовое значение, а версия API может добавить новый член Enum исчерпывающий, поскольку не может содержать иное число

Вопрос 17 из 25

Какой подход лучше для невозможного состояния?

return status switch
{
    Status.New => "new",
    Status.Done => "done",
    _ => throw new ArgumentOutOfRangeException(nameof(status), status, null)
};

Вернуть default и оставить невозможное состояние неотличимым от обычного Бросить исключение о недостижимом состоянии Молча выбрать первый вариант Вернуть пустую строку Повторить switch

Вопрос 18 из 25

Почему базовый класс Shape мешает полной проверке подтипов, если он открыт для наследования?

Только records могут наследоваться В другой сборке может появиться новый подтип, которого switch не знает Все наследники Shape считаются эквивалентными базовому шаблону независимо от порядка ветвей Pattern matching не работает с классами Добавить reflection: он сделает switch исчерпывающим для будущих подтипов

Вопрос 19 из 25

Что вернёт switch для null?

static string Describe(object? value) => value switch
{
    null => "missing",
    int => "number",
    string => "text",
    _ => "other"
};

Явная null-ветвь Первая шаблон типа ветвь Будет NRE до switch Последний тип, отличный от null Компилятор удалит null

Вопрос 20 из 25

Когда discard _ с тихим fallback хуже исключения?

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

Вопрос 21 из 25

Какие значения минимально проверить для >=18 and <=65?

Assert.False(IsWorkingAge(17));
Assert.True(IsWorkingAge(18));
Assert.True(IsWorkingAge(65));
Assert.False(IsWorkingAge(66));

17, 18, 65 и 66 0 и int.MaxValue 18 и 65 Проверить каждый int: граничных значений недостаточно для составного диапазона Только 40

Вопрос 22 из 25

Как проверить, что каждый enum-член имеет осмысленную ветвь?

Проверить ToString только у одного самого частого значения Сравнить число методов перечисления с числом его членов Удалить ветвь _, чтобы компилятор выбрал первую подходящую Оставить только default, считая его осмысленной ветвью для всех состояний Перебрать все значения enum и отдельно проверить неизвестное числовое значение

Вопрос 23 из 25

Что журналировать при неизвестном состоянии протокола?

Значение состояния, операцию, версию контракта и идентификатор корреляции Только слово unknown без технического и бизнес-контекста Полное секретное тело сообщения вместе с токенами Пароль клиента, чтобы затем воспроизвести полный запрос Только счётчик ошибок без значения состояния и операции

Вопрос 24 из 25

Почему property pattern полезно тестировать с null на каждом промежуточном объекте?

Assert.False(IsEstonian(null));
Assert.False(IsEstonian(new Customer { Address = null }));
Assert.False(IsEstonian(new Customer { Address = new Address { Country = null } }));

Чтобы увеличить coverage формально Property pattern бросает NRE на промежуточном null Проверить безопасный non-match на промежуточном null Только для производительности null совпадает с пустым property pattern

Вопрос 25 из 25

Как генеративный тест помогает классификатору int?

Полностью заменяет ручные тесты конкретных граничных значений Доказывает производительность классификатора на рабочей нагрузке Генератор тестов изменит switch при появлении нового диапазона и тем самым исправит код Генерирует значения и проверяет, что каждому соответствует один ожидаемый класс Создаёт новый enum вместо проверки целочисленных значений

Ответьте на все 25 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу