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> 不再提供它。

参考文献

• 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++ 文档 for 静态断言