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> (p: 待定)

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

• 7.2/3 诊断 <assert.h> (p: 135)

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

• 7.2/3 诊断 <assert.h> (p: 186)

另请参阅

C++ 文档 关于 静态断言