Tại sao ngôn ngữ không sử dụng thông báo rõ ràng về các câu lệnh chuyển đổi?

Tôi đã đọc Tại sao chúng ta phải sử dụng breaktrong switch? và điều đó khiến tôi băn khoăn tại sao việc bỏ qua ngầm được cho phép trong một số ngôn ngữ (như PHP và JavaScript), trong khi không có hỗ trợ (AFAIK) cho thông qua rõ ràng.

Nó không giống như một từ khóa mới sẽ cần phải được tạo ra, như continuelà hoàn toàn phù hợp, và sẽ giải quyết bất kỳ vấn đề mơ hồ nào cho dù tác giả có ý định cho một trường hợp thông qua.

Biểu mẫu hiện được hỗ trợ là:

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

Trong khi đó, nó sẽ có ý nghĩa đối với nó được viết là:

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

Đối với mục đích của câu hỏi này, hãy bỏ qua vấn đề liệu có hay không thông qua một phong cách mã hóa tốt.

Có ngôn ngữ nào tồn tại cho phép thông qua và đã làm cho nó rõ ràng không?

Có bất kỳ lý do lịch sử nào switchcho phép rơi vào ẩn thay vì rõ ràng không?

Nó chủ yếu mang tính lịch sử, hầu hết các ngôn ngữ chỉ sao chép những gì C đã làm.

Lý do mà C đã làm theo cách đó là vì những người tạo ra C dự định các câu lệnh chuyển đổi để dễ dàng tối ưu hóa thành một bảng nhảy. Đây cũng là lý do mà C giới hạn các câu lệnh chuyển thành giá trị tích phân.

Trong một bảng nhảy, chương trình sẽ tính toán vị trí cần nhảy để dựa vào biểu thức. Chương trình sẽ nhảy đến điểm đó và sau đó tiếp tục thực hiện từ thời điểm đó. Nếu bạn muốn bỏ qua phần còn lại của bảng, bạn phải bao gồm một bước nhảy đến cuối bảng. C sử dụng các breakcâu lệnh rõ ràng để có sự tương ứng trực tiếp với cấu trúc này.

Go cho phép dự phòng rõ ràng bằng cách sử dụng fallthroughtừ khóa (ngắt là ẩn, nhưng có thể rõ ràng):

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

Đây là bit có liên quan từ đi hiệu quả và đặc tả ngôn ngữ .

Tôi không nghĩ bạn có thể sử dụng gotođể đi đến một trường hợp cụ thể, nhưng bạn có thể tạo nhãn bên trong vỏ và sử dụng gotonhư bình thường.

Là một phần thưởng, Go cho phép bạn sử dụng các biểu thức nhị phân, chuỗi hoặc loại trong một công tắc như các câu lệnh tình huống.