Sử dụng if (0) để bỏ qua một trường hợp trong một công tắc có hoạt động không?

Tôi có một tình huống mà tôi muốn hai trường hợp trong một câu lệnh chuyển đổi C ++ để cả hai chuyển sang trường hợp thứ ba. Cụ thể, trường hợp thứ hai sẽ rơi vào trường hợp thứ ba, và trường hợp đầu tiên cũng sẽ rơi vào trường hợp thứ ba mà không chuyển qua trường hợp thứ hai.

Tôi đã có một ý tưởng ngu ngốc, đã thử nó, và nó đã thành công! Tôi quấn trường hợp thứ hai trong một if (0) {... }. Nó trông như thế này:

#ifdef __cplusplus
#  include <cstdio>
#else
#  include <stdio.h>
#endif

int main(void) {
    for (int i = 0; i < 3; i++) {
        printf("%d: ", i);
        switch (i) {
        case 0:
            putchar('a');
            // @fallthrough@
            if (0) {        // fall past all of case 1 (!)
        case 1:
            putchar('b');
            // @fallthrough@
            }
        case 2:
            putchar('c');
            break;
        }
        putchar('\n');
    }
    return 0;
}

Khi tôi chạy nó, tôi nhận được đầu ra mong muốn:

0: ac
1: bc
2: c

Tôi đã thử nó trong cả C và C ++ (cả hai đều có tiếng kêu), và nó đã làm điều tương tự.

Câu hỏi của tôi là: C / C ++ này có hợp lệ không? Nó phải làm những gì nó làm?

Có, điều này được phép, và nó làm những gì bạn muốn. Đối với một switchcâu lệnh, tiêu chuẩn C ++ cho biết :

Bản thân các nhãn trường hợp và mặc định không làm thay đổi luồng điều khiển, tiếp tục không bị cản trở trên các nhãn đó. Để thoát khỏi một công tắc, hãy xem ngắt.

[Lưu ý 1: Thông thường, câu lệnh con là chủ đề của chuyển đổi là từ ghép và trường hợp và các nhãn mặc định xuất hiện trên các câu lệnh cấp cao nhất có trong câu lệnh (phức hợp), nhưng điều này không bắt buộc. Các khai báo có thể xuất hiện trong câu lệnh con của một câu lệnh switch. - ghi chú cuối]

Vì vậy, khi ifcâu lệnh được đánh giá, luồng điều khiển sẽ tiến hành theo các quy tắc của một ifcâu lệnh, bất kể nhãn trường hợp can thiệp.

Vâng, điều này được cho là hoạt động. Các nhãn trường hợp cho một câu lệnh switch trong C gần giống như các nhãn goto (với một số lưu ý về cách chúng hoạt động với các câu lệnh switch lồng nhau). Đặc biệt, chúng không tự định nghĩa khối cho các câu lệnh mà bạn cho là "bên trong trường hợp", và bạn có thể sử dụng chúng để nhảy vào giữa khối giống như bạn có thể làm với goto. Khi nhảy vào giữa một khối, các lưu ý tương tự như với goto áp dụng liên quan đến việc nhảy qua khởi tạo các biến, v.v.

Với điều đó đã nói, trong thực tế, có lẽ rõ ràng hơn khi viết điều này bằng một câu lệnh goto, như trong:

    switch (i) {
    case 0:
        putchar('a');
        goto case2;
    case 1:
        putchar('b');
        // @fallthrough@
    case2:
    case 2:
        putchar('c');
        break;
    }

Như các câu trả lời khác đã đề cập, điều này về mặt kỹ thuật được tiêu chuẩn cho phép, nhưng nó rất khó hiểu và không rõ ràng đối với những người đọc mã trong tương lai.

Đây là lý do tại sao các switch ... casecâu lệnh thường nên được viết bằng các lệnh gọi hàm chứ không phải nhiều mã nội tuyến.

switch(i) {
case 0:
    do_zero_case(); do_general_stuff(); break;
case 1:
    do_one_case(); do_general_stuff(); break;
case 2:
    do_general_stuff(); break;
default:
    do_default_not_zero_not_one_not_general_stuff(); break;
}