C 库 - static_assert() 宏

❮ C 标准库 - <assert.h>

C assert 库中的 static_assert() 宏是 C11 标准中引入的一个强大工具，它允许您执行编译时断言。这意味着您可以在编译时而不是运行时检查某些条件，从而在开发过程的早期捕获潜在错误。

语法

以下是 static_assert() 宏的 C 库语法 -

static_assert (boolean_expression, message);

参数

此宏接受以下参数 -

• boolean_expression - 这是一个常量表达式，编译器会在编译时对其进行求值。如果此表达式求值为 0(false)，则编译失败。

• message - 这是一个字符串字面量，用于描述断言失败时的错误。如果断言失败，则会在编译期间显示此消息。

返回值

此宏不返回任何值。相反，如果断言为真，它允许编译继续进行;如果断言为假，则引发编译时错误。

示例 1:确保数据类型的大小

此示例检查 int 的大小是否为 4 个字节。如果不是，则编译失败并显示消息"int 必须是 4 个字节"。

#include <assert.h>
static_assert(sizeof(int) == 4, "int must be 4 bytes");
int main() {
   return 0;
}

输出

上述代码产生以下结果:

error: static assertion failed: "int must be 4 bytes"

示例 2:检查结构对齐

在此示例中，我们使用 offsetof 宏来确保 MyStruct 的 int b 成员与 4 字节边界对齐。否则，编译失败。

#include <assert.h>
struct MyStruct {
   char a;
   int b;
};
static_assert(offsetof(struct MyStruct, b) % 4 == 0, "int b must be aligned to 4 bytes");
int main() {
   return 0;
}

输出

执行上述代码后，我们得到以下结果

error: static assertion failed: "int b must be aligned to 4 bytes"

❮ C 标准库 - <assert.h>