C11关键字_Static_assert

最新推荐文章于 2025-06-08 20:46:33 发布

Shy_tom

最新推荐文章于 2025-06-08 20:46:33 发布

阅读量1.8k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： C 文章标签：编程语言 c语言

本文链接：https://blog.youkuaiyun.com/qq_38877888/article/details/104536347

C 专栏收录该内容

9 篇文章

订阅专栏

本文介绍了C11标准中新引入的关键字_Static_assert，详细解析了其用法及注意事项。与传统的assert()不同，_Static_assert在编译期间进行检查，能够更早地发现错误，且不会对运行时性能造成影响。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C11新增关键字_Static_assert

C11标准新增了一个关键字_Static_assert,下面来介绍一下它的相关用法和注意事项。

用法

和C11以前的断言assert()表达式有些类似。assert()表达式是在运行时检查。而C11新增的_Static_assert声明可以在编译时检查assert()表达式。因此，assert()可以导致正在运行的函数中止，而_Static_assert()可以在导致程序无法通过编译。_Static_assert()接受两个参数。第一个参数是一个整型常量表达式，第二个参数是一个字符串。如果第一个表达式求值为0（或_False）,编译会显示字符串，而且不编译该程序。

例程

下面是一个使用_Static_assert的例程：

#include <stdio.h>
#include <limits.h>

_Static_assert(CHAR_BIT == 16, "16-bit char falsely assumed");
int main(void)
{
    puts("char is 16 bits.");
    return 0;
}

编译结果

statasrt.c:4:1:Error:static assertion failed: "16-bit char falsely assumed"
_Static_assert(CHAR_BIT == 16, "16-bit char falsely assumed");
^              ~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.

注意事项

性能方面：assert()是运行期断言，它用来发现运行期间的错误，不能提前到编译期发现错误，也不具有强制性，也谈不上改善编译信息的可读性。既然是运行期检查，对性能肯定是有影响的，所以经常在发行版本中，assert都会被关掉。由于static_assert是编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。
使用范围：static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。
常量表达式：static_assert的断言表达式的结果必须是在编译时期可以计算的表达式，即必须是常量表达式。如果使用变量会导致错误。