Diller neden switch deyimlerinde açık düşüşü kullanmıyor?

Ben okuyordum biz kullanımına var Neden breakiçinde switch? ve bazı durumlarda (PHP ve JavaScript gibi) örtük düşüşe neden izin verildiğini merak etmeme neden olurken açık düşüş için destek (AFAIK) yoktu.

Yeni bir anahtar kelimenin oluşturulması gerektiği gibi continue, tam olarak uygun olacağı gibi değil ve yazarın bir davanın düşmesi anlamına gelip gelmediği konusundaki belirsizlik sorunlarını çözecekti.

Şu anda desteklenen form:

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

Oysa bunun şöyle yazılması mantıklı olacaktır:

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

Bu sorunun amaçları için, düşmelerin iyi bir kodlama stili olup olmadığı konusunu görmezden gelelim.

Düşüşe izin veren ve onu açıkça ortaya koyan herhangi bir dil var mı?

switchAçık yerine örtülü düşmeye izin veren tarihsel nedenler var mı?

Öncelikle tarihi, çoğu dil C'nin yaptıklarını kopyaladı.

C'nin bunu yapmasının nedeni, C ifadesinin yaratıcılarının geçiş tablosuna optimize edilmesinin kolay olmasını amaçlamasıydı. C'nin ifadeleri integral değerlerle sınırlandırmasının nedeni de budur.

Bir atlama tablosunda, program ifadeye göre hangi konuma atlayacağınızı hesaplar. Program o noktaya atlayacak ve daha sonra bu noktadan itibaren çalışmaya devam edecektir. Tablonun geri kalanını atlamak istiyorsanız, tablonun sonuna bir atlama eklemeniz gerekir. C, breakbu yapıya doğrudan bir yazışma olması için açık ifadeler kullanır .

Go, fallthroughanahtar kelimeyi kullanarak açık bir aralığa izin verir (ara kapalı, ancak açık olabilir):

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

İşte etkili go ve dil özelliklerinden ilgili bit .

gotoBelirli bir vakaya gitmek için kullanabileceğinizi sanmıyorum , ancak davanın içinde bir etiket yapabilir ve gotobenzer bir normal kullanabilirsiniz .

Bonus olarak, Go bir anahtardaki ikili ifadeleri, dizeleri veya türleri büyük / küçük harf ifadeleri olarak kullanmanızı sağlar.