静态断言 (C11 起)

 

C

编译器支持

语言

头文件

类型支持

程序实用工具

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间实用工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键字

预处理器

语句

表达式

初始化

声明

函数

杂项

C 语言的历史

技术规范

 

声明

指针

数组

枚举

结构体

联合体

位域

原子类型 (C11)

const

constexpr (C23)

volatile

restrict (C99)

对齐说明符

存储期和链接

外部定义和暂定定义

typedef

静态断言

属性 (C23)

 

语法

_Static_assert ( expression , message )		(C11 起)(C23 中已弃用)
static_assert ( expression , message )		(C23 起)
_Static_assert ( expression )		(C23 起)(C23 中已弃用)
static_assert ( expression )		(C23 起)

expression	-	任何整型常量表达式
message	-	任何字符串字面量

此关键字也可用作便捷宏 static_assert，在头文件 <assert.h> 中可用。	(C23 前)
static_assert 和 _Static_assert 具有相同的效果。_Static_assert 是已弃用的拼写，保留用于兼容性。 实现也可能将 static_assert 和/或 _Static_assert 定义为预定义宏，并且 <assert.h> 不再提供 static_assert。	(C23 起)

解释

常量表达式在编译时求值并与零进行比较。如果它比较等于零，则会发生编译时错误，并且编译器必须显示 message 作为错误消息的一部分（除非基本字符集之外的字符不需要显示）(C23 前)应显示 message （如果提供）作为错误消息的一部分(C23 起)。

否则，如果 expression 不等于零，则什么也不会发生；不发出任何代码。

关键字

_Static_assert, static_assert

示例

运行此代码

#include <assert.h> // no longer needed since C23
 
int main(void)
{
    // Test if math works, C23:
    static_assert((2 + 2) % 3 == 1, "Whoa dude, you knew!");
    // Pre-C23 alternative:
    _Static_assert(2 + 2 * 2 == 6, "Lucky guess!?");
 
    // This will produce an error at compile time.
    // static_assert(sizeof(int) < sizeof(char), "Unmet condition!");
 
    constexpr int _42 = 2 * 3 * 2 * 3 + 2 * 3;
    static_assert(_42 == 42); // the message string can be omitted.
 
    // const int _13 = 13;
    // Compile time error - not an integer constant expression:
    // static_assert(_13 == 13);
}

参考

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

• 6.7.11 静态断言 (页码：待定)

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

• 6.7.10 静态断言 (页码：105)

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

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

• 6.7.10 静态断言 (页码：145)

• 7.2 诊断 <assert.h> (页码：186-187)

参见

assert	如果用户指定的条件不为 true，则中止程序。可能在发布版本中禁用 (函数宏)
C++ 文档，关于 static_assert declaration