static_assert与C_ASSERT选哪个？Windows C++编译断言选型疑问

核心选型建议 #

• 只要你的项目编译标准是C11及以上，直接用static_assert就对了，这是现代C的标准方案，没什么好纠结的。
• 只有当你必须兼容C++03（或更早）的老旧编译器/代码时，再考虑C_ASSERT。

各自的优势 #

static_assert的优势 #

• 跨平台通用：属于C++11及以后的语言标准，不仅在Windows的MSVC上能用，GCC、Clang等其他编译器也完全支持，代码移植性更强。
• 语义清晰，可读性高：作为语言原生关键字，一眼就能识别是编译时断言，不用去查宏的实现细节。
• 错误提示更精准：支持自定义错误信息，比如写static_assert(sizeof(int) == 4, "当前平台int不是4字节，不符合要求");，编译失败时编译器会直接显示这条提示，问题一目了然。
• 无宏陷阱：不会出现宏嵌套冲突、展开异常这类问题，编译期处理逻辑透明可靠。

C_ASSERT的优势 #

• 适配老旧环境：如果项目还在使用不支持C11的老编译器（比如MSVC 2010之前的版本），C_ASSERT能通过宏实现编译时断言能力，填补C03没有原生编译断言的空白。
• Windows项目风格统一：属于Windows SDK的一部分，老的Windows专属代码里可能已经广泛使用，维护这类代码时用它能保持风格一致。

错误提示差异的原因 #

你测试发现的提示差异，是因为两者的实现机制完全不同：

• static_assert是编译器原生支持的特性，错误提示直接指向断言本身，比如MSVC会输出类似error C2338: 当前平台int不是4字节，不符合要求的清晰提示。
• C_ASSERT是通过宏模拟的，底层大概是这样：

  #define C_ASSERT(expr) typedef char __C_ASSERT__[(expr) ? 1 : -1]
  

  断言失败时，会尝试定义一个长度为负数的数组，触发编译错误，提示信息会是类似error C2118: 负下标的数组相关错误，需要你结合宏的位置去判断是断言失败了，远不如static_assert直观。

内容的提问来源于stack exchange，提问作者Dominik Weber