8

Не раз слышал что конструкция switch это плохо. Например вот в этой статье, пункт 10 Но ни разу не слышал почему и когда он плох. Кто что думает по этому поводу?

8
  • 1
    Личное предвзятое мнение: Если код нормально оформлен отступами, то он лучше усваивается, если использовать if, а не switch. Если же автор кода не знает, что вложенные блоки надо отступать 4-мя пробелами, то пусть использует switch, а лучше вообще ничего не пишет.
    – ReinRaus
    24 апр 2013 в 19:48
  • @Котик_хочет_кушать спасибо я наверное именно о таких примерах плохого switch слышал
    – Andy_Reed
    24 апр 2013 в 19:56
  • Сишный switch весьма хитрая штучка. И есть даже пример использования его ненормальности citeseerx.ist.psu.edu/viewdoc/… (одно из оснований ОС Contiki)
    – alexlz
    25 апр 2013 в 13:00
  • @Котик: в виду развернувшейся дискуссии, может быть, превратите в ответ?
    – VladD
    26 апр 2013 в 7:56
  • 1
    @danpetruk Люблю такие комменты ради комментирования. 26 апр 2013 в 13:16

3 ответа 3

10
  • Когда говорят про плохие switch, обычно имеют ввиду примеры следующего рода.

  • Другое дело, что, в принципе, в конструкции switch как таковой нет ничего плохого и не стоит сразу же реплейсить все switch'и в своем коде на сложные иерархии классов. В тех случаях, когда такой рефакторинг действительно оправдан, вопросов возникать не должно.

7
  • Тот же самый PropertyScanner.scan() при желании может быть переписан через AbstractState и визиторы, не применяя goto. Не знаю, хорошее это получилось бы решение или нет, но факт имеет место быть. 1) Если ты не знаешь получится ли хорошее решение или нет, то как можно знать что факту (факт != предположение) есть место быть? 2) Не надо пускать пыль в глаза: AbstractState <- это что вообще? Абстрактное состояние/класс? AbstractState - если это класс, он может нарушить Liskov Substitution Principle т.к дилема is-a будет нарушена (речь о PropertyScanner.php). 26 апр 2013 в 9:40
  • 2
    >Где факты? А за фактами далеко ходить не нужно. Достаточно того, что в грамотном, хорошо продуманном и эффективном коде встретить goto практически нереально. И исчезающие единичные случаи удачного применения картину не меняют. А вот если зайти на какой-нибудь говнокод, то там этого goto сколько угодно :)
    – user6550
    26 апр 2013 в 10:18
  • 2
    @heavy_metal_fan - Я не понимаю, вы спорите ради спора? Зачем придираться к словам и что вообще вы пытаетесь доказать? - Я утверждаю следующее — применение GOTO можно считать допустимым в некотором конечном числе сценариев. Перед применением goto в каждом из этих сценариев необходимо рассмотреть возможные альтернативы (можно формально доказать, что программа с GOTO может быть равносильна переписана без использования GOTO) и в том и только в том случае, когда вариант с GOTO кажется более изящным, использовать его. - Не понял, как MVC, html файлы и мосты относятся к теме. 26 апр 2013 в 10:30
  • 1
    - Теперь конкретно про пример с PropertyScanner.scan(). Если вы не поняли семантику AbstractState из названия, то не надо начинать говорить что-то про принцип подстановки Лисков. Я предложил несложную идею рефакторинга кода PropertyScanner.scan(): в текущем варианте вся логика конечного автомата сканнера расположена в одном единственном методе, а переходы между состояниями выполяются с помощью GOTO в пределах этого метода. 26 апр 2013 в 10:31
  • 1
    - Ничто не мешает ввести набор классов состояний автомата (AbstractState и его наследники в моей терминоголии), организовать между ними явные переходы а дальше сравнить написанный код с кодом, содержащим GOTO. Я не могу однозначно сказать, стало бы лучше или хуже, но факт того, что такой подход стоит как минимум попробовать, имеет место быть. - Естественно, что набор отдельных классов, каждый из которых соответствует какому-то состоянию ДКА, ни в коей мере не нарушает принцип is-a. 26 апр 2013 в 10:31
8

На самом деле предубеждение к switch существует с тех времен, когда компиляторы были неоптимизирующими. Тогда switch превращался в огромный набор условных операторов, что нельзя назвать лучшим решением. Зато выглядело это аккуратнее, чем такой же набор if'ов в исходном коде программе. Сейчас же компилятор, когда видит switch использует либо дерево из условных переходов (что-то в духе такого, см. также), либо использует таблицу переходов. В последнем случае создается таблица вида <index>:<адрес перехода> из которой выбирается нужный адрес, по которому лежит соответствующий индексу код. Можно догадаться, что это существенно эффективнее, чем сравнивать каждое значение соответствующего case. Так что теперь switch не очень страшен.

С другой стороны, при использовании конструкции switch-case не нужно забывать про особенности работы с ключевыми словами break и default. Некоторые забывают, например, слово break и в результате имеют некорректное выполнение программы (выполняется не только нужный case, но и последующие, пока не встретится break)

Что еще хочу сказать. switch хорошо работает с константными целыми или перечислимыми типами. В этом случае компилятор даже может подсказать, что есть проблема. Например, с помощью предупреждения.

Например, для gcc:

-Wswitch
    Warn whenever a switch statement has an index of enumerated type and lacks a case for one or more of the named codes of that enumeration. (The presence of a default label prevents this warning.) case labels outside the enumeration range also provoke warnings when this option is used (even if there is a default label). This warning is enabled by -Wall.

-Wswitch-default
    Warn whenever a switch statement does not have a default case.

-Wswitch-enum
    Warn whenever a switch statement has an index of enumerated type and lacks a case for one or more of the named codes of that enumeration. case labels outside the enumeration range also provoke warnings when this option is used. The only difference between -Wswitch and this option is that this option gives a warning about an omitted enumeration code even if there is a default label.
2
  • >Тогда switch превращался в огромный набор условных операторов IMHO, таблицы переходов - одна из самых древних конструкций, применявшаяся ещё во времена цара Гороха... Вообще интересно было бы раскопать какие-нибудь замшелые компиляторы и проверить :)
    – user6550
    24 апр 2013 в 23:00
  • 4
    P.S. Проверил TC 1.01 (1990), таблица переходов :) Древней под рукой нет.
    – user6550
    24 апр 2013 в 23:29
4

Плохость или хорошесть конструкции switch зависит от того во что ее превращает компилятор. Проиллюстрирую в псевдокоде:

Конструкция switch

switch(i) {
case 0: do0;
case 1: do1;
case 2: do2;
default: doDefault;
}

может превратиться, либо в (вариант №1):

if(i==0)
   do0;
else if(i==1)
   do1;
else if(i==2)
   do2;
else
   doDefault;

или же в (вариант №2):

switch(i) {
0: do0;
1: do1;
2: do2;
default: doDefault;
}

Отличие состоит в том, что в первом варианте с if-else условие проверяется каждый раз, а во втором условие проверяется 1 раз создается таблица переходов.

Очевидно, что 2-й вариант реализации быстрее и удобнее. Скажем в Java все именно так и устроено. Да и вообще в более-менее любом нормальном современном компиляторе так и устроено.

В древних компиляторах часто реализовывалось через 1-ю конструкцию if-else - оттуда видимо и предубеждение против switch

1
  • 1
    @Barmaley Я уже писал, что сишный switch весьма интересная штука. Он может управление передавать внутрь блоков извне, т.е. switch(i) { case 0: break; { int i; case 1: break; } }; Ежели мне склероз не изменяет. См. реализацию protothreads на компиляторах не-gcc.
    – alexlz
    26 апр 2013 в 15:52

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.