Почему языки не используют явный провал в выражениях switch?

Я читал, почему мы должны использовать breakв switch? и это заставило меня задуматься, почему неявный переход разрешен в некоторых языках (таких как PHP и JavaScript), в то время как нет поддержки (AFAIK) для явного перехода.

Это не continueзначит, что нужно было бы создать новое ключевое слово, как это было бы совершенно уместно, и это решило бы любые вопросы двусмысленности относительно того, намеревался ли автор довести дело до конца.

В настоящее время поддерживаемая форма:

switch (s) {
    case 1:
        ...
        break;
    case 2:
        ... //ambiguous, was break forgotten?
    case 3:
        ...
        break;
    default:
        ...
        break;
}

Принимая во внимание, что имеет смысл записать это как:

switch (s) {
    case 1:
        ...
        break;
    case 2:
        ...
        continue; //unambiguous, the author was explicit
    case 3:
        ...
        break;
    default:
        ...
        break;
}

Для целей этого вопроса давайте проигнорируем вопрос о том, являются ли провалы хорошим стилем кодирования.

Существуют ли какие-либо языки, которые допускают провал и сделали это явным?

Существуют ли какие-либо исторические причины, которые switchдопускают явный провал вместо явных?

Это в первую очередь историческое, большинство языков просто скопировали то, что сделал С.

Причина, по которой C сделал это таким образом, заключается в том, что создатели C предполагали, что операторы switch легко оптимизировать в таблицу переходов. Это также причина того, что C ограничивает операторы switch интегральными значениями.

В таблице переходов программа рассчитает, на какую позицию перейти, основываясь на выражении. Программа перейдет к этой точке, а затем продолжит выполнение с этой точки. Если вы хотите пропустить оставшуюся часть таблицы, вы должны включить переход к концу таблицы. C использует явные breakутверждения, так что есть прямое соответствие этой конструкции.

Go допускает явное падение с помощью fallthroughключевого слова (break неявный, но может быть явным):

switch val {
case 1: // breaks
case 2:
    fallthrough
case 3:
    goto 
case 4, 5, 6: // equivalent to defining individual cases with explicit fallthough
    break // unnecessary
default:
}

Вот соответствующий бит от эффективного go и спецификации языка .

Я не думаю, что вы можете использовать, gotoчтобы перейти к конкретному случаю, но вы можете сделать ярлык внутри корпуса и использовать gotoкак обычно.

В качестве бонуса Go позволяет вам использовать бинарные выражения, строки или типы в переключателе в качестве операторов case.