switch statement case label has only `int` template argument

Bắt đầu bằng cách xác định các điểm vào switch_statement và case_statement được nêu trong báo cáo, sau đó tái hiện mẫu với hành vi trình biên dịch đã nêu. Theo dõi cách giá trị case và đối số lambda được định kiểu; công việc được hoàn tất khi một giá trị case kiểu số nguyên như 2147483648 được biểu diễn và đối sánh chính xác thay vì tạo ra “other”, với kiểm thử hồi quy bao phủ hành vi này.

Before gcc9, if a template argument is an integral value, no compiler error/warning generated when the specified value is bigger than the integral value MAX.

This leads the following runtime issue:

#include <iostream>

#include <boost/lambda/lambda.hpp>
#include <boost/lambda/switch.hpp>

int main() {
    using namespace boost;
    using namespace boost::lambda;
    
    switch_statement(
        _1,
        case_statement<2147483648>(std::cout << constant("big")),
        default_statement(std::cout << constant("other"))
    )(2147483648); // prints 'other'
    // static_cast<int>(2147483648) is OK
}

This issue prone working can be eliminated in any following way:

• replace case_statement template argument from int to uintmax_t or intmax_t or any bigger than int. This solves that not only int parameters can be accepted in later gcc's and clang too.
• switch_statement lambda accepts/casts argument int. This solves type safety.
• some other template magic, where at case statement can be set the acceptable integral type, and switch statement recognizes, and uses common_type to casts lambda parameter to that.