Switch - это оператор варианта...
, не совсем так.
В том смысле, в каком под оператором варианта подразумевается
структурированный оператор с единственной веткой выбора.
if elsif else - можно было бы поназывать вариантом "оператора варианта"
(если не использовать возможности "побочных действий", таких как в
стартовом примере, ломающих его до неструктурированного), а switch -
нет , без специальных услилий программиста,
специально выписывающего switch в сограсованном со структурным программированием стиле .
Если, например, цикл целиком состоит из единственного
структурированного if elsif else, то он и глазами и компилятором,
потенциально, может анализироваться на тему своей завершаемости, или иных соображений, обеспечивающих
формальное доказательство правильности цикла.
То есть, если в цикле есть набор охран, за каждой из которых своя команда выполнения,
то "традиционный анализ" требует единственного срабатывания только одной из охран, даже если по состоянию цикла
могло бы сработать несколько. Это существенно используется в формальных доказательствах правильности построения цикла.
На цикле, внутри которого сишный switch, такой анализ в своей первоначальной постановке просто не работает,
если существуют неразделенные break-ом охраняемые команды.
(Правда, на if с побочным действием тоже далеко не разбежишься)
В Си switch аналог
неструктурированных фортрановых вычислимых или присвоенных goto
и/или vba-шного On expression GOTO line, но со своим блекджеком в виде
произвольного местоположения default.
А зачем нужен вариант без вариантов.
В VBA можно сказать, что нигде не нужен, потому что, кроме неструктурированного On expression GOTO line,
там есть структурированный Select case, которому прямо в ветке можно указать список значений или диапазон
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
Dim Number
Number = 8
Select Case Number
Case 1 To 5
Debug.Print "Between 1 and 5"
Case 6, 7, 8
Debug.Print "Between 6 and 8"
Case Else
Debug.Print "Not between 1 and 8"
End Select
В Си ты должен выписать столько "пустых" case, сколько элементов в "списке выбора", приводящему к единственному действию.
---
В стартовом примере заявленные случаи должны попасть внутрь ветки if с побочным действием, который находится внутри default секции.
Это не сложно, потому что if целиком положен внутрь switch, но заштукатуренному структурным программированием мозгу надо приглядеться.
А "устройство Даффа" выносит мозг наверно каждому, кто видит его первый раз, именно пересечением - там switch начат до начала
цикла, а цикл закончен после завершения switch.
Ну, это особенность синтаксиса. Ни на фортране, ни на бейсике такое устройство мозг не взорвет с их неструктурированными goto.
