Dlaczego języki nie używają jawnego przewrotu instrukcji przełączania?

Czytałam Dlaczego mamy do wykorzystania breakw switch? i doprowadziło mnie do zastanowienia się, dlaczego niejawne przejście jest dozwolone w niektórych językach (takich jak PHP i JavaScript), podczas gdy nie ma wsparcia (AFAIK) dla jawnego przejścia.

To nie jest tak, że trzeba utworzyć nowe słowo kluczowe, co continuebyłoby idealnie odpowiednie, i rozwiązałoby wszelkie niejednoznaczne kwestie dotyczące tego, czy autor chciał, aby sprawa się zakończyła.

Aktualnie obsługiwany formularz to:

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

Mając na uwadze, że sensowne byłoby napisanie go jako:

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

Na potrzeby tego pytania zignorujmy kwestię, czy pomyłki są dobrym stylem kodowania.

Czy istnieją jakieś języki, które pozwalają na awarię i wyraźnie ją wyrażają?

Czy istnieją jakieś historyczne powody, które switchpozwalają na domniemany upadek zamiast jawnego?

Jest to przede wszystkim historyczne, większość języków po prostu skopiowała to, co zrobił C.

Powodem, dla którego C zrobił to w ten sposób, jest to, że twórcy C chcieli, aby instrukcje przełączników były łatwe do optymalizacji w tabeli skoków. Jest to również powód, dla którego C ogranicza instrukcje przełączania do wartości całkowitych.

W tabeli skoków program obliczy, do której pozycji przeskoczyć na podstawie wyrażenia. Program przejdzie do tego punktu, a następnie będzie kontynuował wykonywanie od tego miejsca. Jeśli chcesz pominąć resztę stołu, musisz dołączyć skok na koniec stołu. C używa jawnych breakinstrukcji, dzięki czemu istnieje bezpośrednia zgodność z tym konstruktem.

Go pozwala na jawny przegląd za pomocą fallthroughsłowa kluczowego (przerwa jest niejawna, ale może być jawna):

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

Oto odpowiedni fragment ze skutecznej wersji i specyfikacja języka .

Nie sądzę, że możesz użyć, gotoaby przejść do konkretnego przypadku, ale możesz zrobić etykietę wewnątrz skrzynki i użyćgoto jak zwykle.

Jako bonus, Go pozwala używać wyrażeń binarnych, ciągów lub typów w przełączniku jako instrukcji case.