静态断言 (自 C11 起)

 

C

编译器支持

语言

头文件

类型支持

程序实用程序

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间实用程序

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键字

预处理器

语句

表达式

初始化

声明

函数

其他

C 语言的历史

技术规范

 

声明

指针

数组

枚举

结构体

联合体

位域

原子类型 (C11)

常量

常量表达式 (C23)

易变

限制 (C99)

对齐说明符 (C11)

存储期和链接

外部和暂定定义

类型定义

静态断言 (C11)

属性 (C23)

 

语法

_Static_assert ( 表达式 , 消息 )		(自 C11 起)(在 C23 中已弃用)
static_assert ( 表达式 , 消息 )		(自 C23 起)
_Static_assert ( 表达式 )		(自 C23 起)(在 C23 中已弃用)
static_assert ( 表达式 )		(自 C23 起)

表达式	-	任何 整型常量表达式
消息	-	任何 字符串字面量

此关键字也可用作便利宏 static_assert，它在头文件 <assert.h> 中可用。	(直到 C23)
static_assert 和 _Static_assert 的效果相同。_Static_assert 是一种已弃用的拼写，为了兼容性而保留。 实现也可以将 static_assert 和/或 _Static_assert 定义为预定义宏，而 static_assert 不再由 <assert.h> 提供。	(自 C23 起)

解释

常量表达式在编译时求值并与零比较。如果它与零相等，则会发生编译时错误，编译器 必须显示 消息 作为错误消息的一部分（但字符集中不在 基本字符集 中的字符不需要显示）(直到 C23)应该显示 消息（如果提供）作为错误消息的一部分(自 C23 起).

否则，如果 表达式 不等于零，则不会发生任何事情；不会发出任何代码。

关键字

_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 静态断言 (p: TBD)

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

• 6.7.10 静态断言 (p: 105)

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

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

• 6.7.10 静态断言 (p: 145)

• 7.2 诊断 <assert.h> (p: 186-187)

另请参阅

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