C++ 语言特性18 - static_assert 介绍

一：概述

        在 C++ 中，static_assert 是一种用于在编译时进行断言的机制，确保某些编译时条件成立。如果条件不成立，则编译器会生成错误，阻止代码的编译。static_assert 在 C++11 中引入，目的是帮助程序员在编译时捕捉逻辑错误，而不是等到运行时。它通常用于模板元编程、类型检查以及编译时常量计算等场景。

static_assert(constexpr condition, "Error message");

//condition：必须是一个常量表达式，可以在编译时计算为 true 或 false。
//"Error message"：可选的错误消息字符串，当断言失败时，编译器会输出该消息，帮助开发者理解出错的原因。

二：使用场景 

• 编译时条件检查： static_assert 最基本的用途是验证某些编译时条件是否成立，例如验证常量值的范围、配置的正确性等。

constexpr int value = 10;
static_assert(value > 0, "Value must be positive");  // 断言通过
//如果 value <= 0，则编译会失败，并输出 "Value must be positive" 错误

• 类型检查： static_assert 可以用于模板中，验证模板参数是否满足某些条件，例如检查类型是否为特定类型或满足某种特性。 

//类型检查： static_assert 可以用于模板中，验证模板参数是否满足某些条件，例如检查类型是否为特定类型或满足某种特性。

template <typename T>
void process(T t) {
    static_assert(std::is_integral<T>::value, "T must be an integer type");
    // 处理整数类型的代码
}

process(10);    // 编译通过
process(3.14);  // 编译错误，输出 "T must be an integer type"

//在这个例子中，static_assert 用于在编译时确保模板参数是整数类型。如果不是整数类型，编译将失败，并给出错误消息。

• 类和结构的大小检查： static_assert 可以用于确保类、结构体的大小满足某些条件，特别是在涉及内存对齐或性能优化的场景中 

struct Data {
    int x;
    char y;
};
static_assert(sizeof(Data) == 8, "Size of Data must be 8 bytes");

//该断言确保结构 Data 的大小为 8 字节，若由于某种原因（如填充字节）导致大小不同，编译器会报错。

• 模板元编程中的约束： 在模板元编程中，static_assert 用于强制某些模板条件成立，确保模板实例化时符合要求。 

template <typename T>
struct MyTemplate {
    static_assert(sizeof(T) > 2, "T must be larger than 2 bytes");
};

MyTemplate<int> obj1;     // 编译通过
MyTemplate<char> obj2;    // 编译错误，T 的大小小于 2 字节

//这里，static_assert 用于确保模板参数类型的大小大于 2 字节。

• 检查常量表达式的结果： 在需要保证某些常量表达式的值满足条件时，static_assert 可以用来做编译时检查。比如在数组初始化时，确保数组大小为非负值。

constexpr int size = -5;
static_assert(size > 0, "Array size must be positive");
int arr[size];  // 若 size 为负数，编译失败

• 限制枚举的取值范围： static_assert 可以用来确保枚举类型的值在某个范围内。

enum Color { RED, GREEN, BLUE };
constexpr Color favoriteColor = RED;
static_assert(favoriteColor == RED || favoriteColor == GREEN, "Invalid color");
//这里，static_assert 确保 favoriteColor 的值必须是 RED 或 GREEN，否则编译失败。

三：注意事项

条件必须是编译时常量： static_assert 的条件必须能够在编译时求值，也就是说它要求条件是常量表达式。这意味着它不能依赖运行时的计算。

int value = 10;
static_assert(value > 0, "Value must be positive");  // 错误，value 不是编译时常量
//如果 value 不是 constexpr 或者 const，则编译器无法在编译时进行评估，导致编译错误。