Чому мови не використовують явні заяви про перехід на комутатор?

Я читав Чому ми повинні використовувати 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 зробив це таким чином, полягає в тому, що творці C задумали перекладати заяви, щоб їх було легко оптимізувати в таблицю стрибків. Це також причина того, що C обмежує переключення операторів на цілісні значення.

У таблиці стрибків програма обчислить, в яку позицію перейти, виходячи з виразу. Програма перейде до цієї точки, а потім продовжить виконання з цієї точки. Якщо ви хочете пропустити решту таблиці, вам потрібно включити стрибок до кінця таблиці. C використовує явні breakтвердження так, що існує пряма відповідність цій конструкції.

Go дозволяє чітке проходження за допомогою fallthroughключового слова (перерва неявна, але може бути явною):

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:
}

Ось відповідний біт від ефективного переходу та специфікації мови .

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

Як бонус, Go дозволяє використовувати бінарні вирази, рядки або типи в комутаторі як заяви про регістри.