static_assert

 

C

编译器支持

语言

头文件

类型支持

程序实用工具

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间实用工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

错误处理

错误代码

错误代码

errno

断言

assert

static_assert (C11)(C23 中移除)

边界检查

set_constraint_handler_s (C11)

abort_handler_s (C11)

ignore_handler_s (C11)

 

定义于头文件 <assert.h>
#define static_assert _Static_assert		(始于 C11) (C23 中移除)

这个便利宏展开为关键字 _Static_assert。

示例

运行此代码

#include <assert.h>
 
int main(void)
{
    static_assert(2 + 2 == 4, "2+2 isn't 4");   // well-formed
 
    static_assert(sizeof(int) < sizeof(char),   // compile-time error
                  "this program requires that int is less than char");
}

注释

自 C23 起，static_assert 本身就是一个关键字，它也可能是一个预定义的宏，因此 <assert.h> 不再提供它。

参考文献

• C23 标准 (ISO/IEC 9899:2024)

• 7.2/3 诊断 <assert.h> (页码：待定)

• C17 标准 (ISO/IEC 9899:2018)

• 7.2/3 诊断 <assert.h> (页码：135)

• C11 标准 (ISO/IEC 9899:2011)

• 7.2/3 诊断 <assert.h> (页码：186)

参见

C++ 文档 关于 静态断言