C++ fallthrough

C++ 中的 fallthrough 是一个用来明确表示 switch 语句中的 case 标签之间的执行流会“掉入”下一个 case 标签的机制。

在传统的 switch 语句中，如果没有 break 语句，程序会继续执行下一个 case 代码块的内容，这种行为称为“fallthrough”（掉入）。不过，这种行为容易导致错误，因为编译器不会给出明确的提示，通常会误导开发者。

为了解决这个问题，C++17 引入了一个新的 [[fallthrough]] 属性，它显式地告诉编译器和其他开发者：当前 case 语句的执行流会跳到下一个 case，即“fallthrough”是有意为之，而不是一个错误。

示例：

#include <iostream>

void test(int x) {
    switch (x) {
        case 1:
            std::cout << "Case 1" << std::endl;
            [[fallthrough]];  // 显式标记fallthrough
        case 2:
            std::cout << "Case 2" << std::endl;
            break;
        case 3:
            std::cout << "Case 3" << std::endl;
            break;
        default:
            std::cout << "Default case" << std::endl;
    }
}

int main() {
    test(1);
    return 0;
}

输出：

Case 1
Case 2

在上面的例子中，当 x 的值为 1 时，程序首先执行 case 1 中的代码，然后使用 [[fallthrough]] 明确标记，表示程序会继续执行 case 2 的代码。这就是所谓的“fallthrough”。

作用：

1. 增强可读性：通过显式的 [[fallthrough]] 注释，其他开发者可以清晰地看到“fallthrough”是有意为之，减少误解。
2. 防止错误：如果遗漏了 break 语句并且没有显式的 fallthrough 注解，编译器会发出警告，提醒你可能没有意图导致的 fallthrough。

注意：

• [[fallthrough]] 是一个属性，必须放在 case 代码块的末尾，用来告诉编译器和开发者这里是故意的行为。
• 如果没有 [[fallthrough]]，编译器会提示警告，表示程序中的 fallthrough 可能是一个错误。

总之，fallthrough 主要是为了使 switch 语句的控制流更加明确和安全，减少不小心造成的错误。