C++11：编译时断言 static_assert

static_assert 是 C++11 引入的编译时断言特性，允许在编译期进行条件检查，并在条件不满足时产生编译错误。

这一特性非常有用，因为它可以在编译阶段就发现潜在的错误，而不是等到运行时。这对于模板编程、类型检查、常量表达式的验证等场景非常重要。

语法格式

static_assert 的基本语法如下：

static_assert( constant_expression, error_message );

• constant_expression：一个在编译时可求值的常量表达式。如果表达式的结果为 false，则会产生编译错误。
• error_message：当断言失败时，编译器将显示的错误信息。这个消息必须是一个字符串字面量。

使用示例

1、检查类型大小

在跨平台开发时，确保特定类型具有预期的大小是非常重要的。可以使用 static_assert 来验证类型的大小。

#include <iostream>
#include <cstdint>

int main() {
    static_assert(sizeof(int) == 4, "int must be 4 bytes");
    static_assert(sizeof(std::int64_t) == 8, "64-bit integer must be 8 bytes");

    std::cout << "Type sizes are as expected." << std::endl;
    return 0;
}

程序输出：

Type sizes are as expected.

如果在某个平台上 int 不是 4 字节或者 std::int64_t 不是 8 字节，上述代码将无法编译，编译器会输出相应的错误信息。

2、模板编程中的条件验证

static_assert 可以在模板编程中用来验证模板参数满足特定条件。

#include <iostream>
#include <type_traits> // 提供std::is_integral

template<typename T>
void mustBeIntegral(T value) {
    static_assert(std::is_integral<T>::value, "Template parameter T must be an integral type.");
    std::cout << "Value is: " << value << std::endl;
}

int main() {
    mustBeIntegral(10); // 正确：T为int，是整型
    // mustBeIntegral(3.14); // 错误：T为double，编译将失败
    return 0;
}

程序输出：

Value is: 10

如果尝试将非整型作为模板参数 T 传递给 mustBeIntegral 函数，编译器将显示 static_assert 指定的错误消息。

例如上述程序中，把 mustBeIntegral(3.14) 这行代码打开，编译时的错误信息如下：

main.cpp: In instantiation of ‘void mustBeIntegral(T) [with T = double]’:
main.cpp:12:19:   required from here
main.cpp:6:40: error: static assertion failed: Template parameter T must be an integral type.
    6 |     static_assert(std::is_integral<T>::value, "Template parameter T must be an integral type.");
      |                                        ^~~~~
main.cpp:6:40: note: ‘std::integral_constant::value’ evaluates to false

3、常量表达式验证

在需要编译时计算的场景下，可以使用 static_assert 来验证常量表达式的结果。

constexpr int getArraySize() {
    return 42;
}

int main() {
    static_assert(getArraySize() == 42, "Array size must be 42.");
    int myArray[getArraySize()]; // 使用常量表达式作为数组大小

    std::cout << "Array size is as expected." << std::endl;
    return 0;
}

程序输出：

Array size is as expected.

这个例子中，static_assert 用于验证由 constexpr 函数 getArraySize 返回的大小是否符合预期，确保数组大小的定义是正确的。

通过 static_assert，C++ 程序员可以更容易地在编译时捕获错误和强制执行约束，这有助于提高代码质量和稳定性。