Ответ.

История вопроса:

Оператор switch был введён в язык C для удобства распределения управления по нескольким веткам в зависимости от значения выражения. Это альтернатива большой цепочке if-else и широко применяется для обработки команд, состояний и значений перечислений.

Проблема:

Основные опасности оператора switch связаны с забытыми операторами break, неожиданным попаданием в "проваливание" (fallthrough), сложностями с переменными, объявленными внутри блока, а также с тем, что тип выражения должен быть целым.

Решение:

Для безопасного использования:

всегда использовать break (или явно отмечать необходимость fallthrough комментариями);
не использовать типы, отличные от int или совместимых с ним;
все значения, не предусмотренные в case, обрабатывать в ветке default;
объявлять переменные только вне конструкций case, либо в {}-области.

Пример кода:

#include <stdio.h>

void print_day(int day) {
    switch (day) {
        case 1: printf("Monday
"); break;
        case 2: printf("Tuesday
"); break;
        case 3: printf("Wednesday
"); break;
        case 4: printf("Thursday
"); break;
        case 5: printf("Friday
"); break;
        case 6:
        case 7:
            printf("Weekend
"); break;
        default:
            printf("Unknown day
");
    }
}

Ключевые особенности:

Кейс-мишени должны быть уникальны.
Значения должны быть константными, обычно — литералы или enum'ы.
"Проваливание" из одного case в другой происходит автоматически без break.

Вопросы с подвохом.

Можно ли использовать тип float в выражении switch?

Нет. Стандарт языка C требует, чтобы выражение в switch было целочисленным или приведённым к целому (char, short, int, long, enum и т.д.).

Что произойдет, если переставить case'ы местами — влияет ли порядок на логику?

Порядок объявлений case в switch не влияет на поиск нужного значения. Код выполняется начиная с совпавшего case до первого break. Но порядок влияет при отсутствии break (fallthrough).

Можно ли объявлять переменные внутри case без фигурных скобок?

Нет. Если объявить переменную после case без дополнительного блока {} — это приведёт к ошибке компиляции. Корректно:

switch (x) {
    case 1: {
        int y = 0;
        break;
    }
}

Типовые ошибки и анти-паттерны

Забывать break в конце case блока, вызывая лишние side-effect.
Не использовать default, что усложняет сопровождение.
Объявлять переменные после метки case без {}-блока.
Использовать значения, не являющиеся compile-time константами.

Пример из жизни

Негативный кейс

В большом проекте программист забыл break после одного из case и получил ошибочное выполнение нескольких веток подряд. Баг был замечен только пользователем.

Плюсы:

Кода меньше, его быстрее писать.

Минусы:

Логика нарушена, пользователь получил некорректный результат, отладка заняла много времени.

Позитивный кейс

В случае, когда проваливание нужно, применялись комментированные fallthrough с пояснением, все критические case сопровождались break или return, в default выводилось предупреждение.