Оператор Switch, провалы в программе.

[bITA666]

Переход последовательности операторов, связанных с одной ветвью case, в следующую ветвь case считается ошибкой, поскольку в С# должно непременно соблюдаться правило недопущения "провалов" в передаче управления ходом выполнения
программы. Именно поэтому последовательность операторов в каждой ветви case
оператора switch оканчивается оператором break. (Избежать подобных "провалов",
можно также с помощью оператора безусловного перехода goto, рассматриваемого
далее в этой главе, но для данной цели чаще применяется оператор break.) Когда
128 Часть I. Язык C#
в последовательности операторов отдельной ветви case встречается оператор break,
происходит выход не только из этой ветви, но из всего оператора switch, а выполнение программы возобновляется со следующего оператора, находящегося за пределами оператора switch. Последовательность операторов в ветви default также должна
быть лишена "провалов", поэтому она завершается, как правило, оператором break.
Правило недопущения "провалов" относится к тем особенностям языка С#, которыми он отличается от С, C++ и Java. В этих языках программирования одна ветвь
case может переходить (т.е. "проваливаться") в другую. Данное правило установлено
в C# для ветвей case по двум причинам. Во-первых, оно дает компилятору возможность свободно изменять порядок следования последовательностей операторов из ветвей case для целей оптимизации. Такая реорганизация была бы невозможной, если
бы одна ветвь case могла переходить в другую. И во-вторых, требование завершать
каждую ветвь case явным образом исключает непроизвольные ошибки программирования, допускающие переход одной ветви case в другую.
Несмотря на то что правило недопущения "провалов" не допускает переход одной
ветви case в другую, в двух или более ветвях case все же разрешается ссылаться с помощью меток на одну и ту же кодовую последовательность, как показано в следующем
примере программы.

Вопрос: объясните простым языком что такое "провалы" в программе. Если не сложно приведите пример, можно на примере кода с пометками в каком именно месте кода образуется провал.
P.S Из прочитанного материала смутное представление о провале в программе.

[BDA]

int y = 10, x;
switch (y)
{
    case 10:
        x = 20;
        // проваливание
    case 20:
        x = 40;
        break;
    default:
        x = 0;
        break;
}

Пример на Си. Значение x после такого свитча будет 40, так как произойдет проваливание из "case 10" в "case 20".

[Алексей1153]

на современных стандартах C++ компилятор выдаст предупреждение о провале. Подавить его можно так

#include <iostream>

int main()
{
    int y = 10, x{};
    switch (y)
    {
        case 10:
        {
            x = 20;
        }
        [[fallthrough]];//без этого компилятор выдаст предупреждение

        case 20:
        {
            x = 40;
        }break;
        
        default:
        {
            x = 0;
        }break;
    }
}

[digitalis]

А не лишним ли будет break в блоке default ? Ведь всё равно, как говорил Гамлет, дальше - тишина, т.е. переход на следующий оператор. Или для красоты единообразия ?

[Алексей1153]

digitalis, с моей точки зрения - нет, не лишний )

[digitalis]

Сообщение от Алексей1153

... с моей точки зрения - нет, не лишний )

А объективно ?

[Алексей1153]

digitalis, хорошая читаемость - это объективно или субъективно?

[digitalis]

Таки - да. Но с кочки зрения компилятора - монофигственно