c++ static_assert 和 assert

在 C++ 中，static_assert 和 assert 是两种不同的断言机制，用于在不同的上下文中进行错误检查。它们各自的使用场景和特点如下：

static_assert

static_assert 是一种编译时断言机制，用于在编译期间检查条件是否成立。它在 C++11 中引入，主要用于进行编译时的检查，以确保代码在编译时就能发现潜在的问题。

特点:

1. 编译时检查: static_assert 仅在编译阶段执行，确保条件在编译时满足。
2. 语法:

static_assert(condition, "error message");

• condition 是一个常量表达式，必须在编译时能够求值。
• 如果 condition 为 false，编译器会生成错误消息 "error message"。

示例:

#include <iostream>

template <typename T>
void check_size() {
   static_assert(sizeof(T) == 4, "Type T must be 4 bytes.");
}

int main() {
   check_size<int>(); // This will pass if sizeof(int) == 4.
   // check_size<char>(); // This will fail if sizeof(char) != 4.
   return 0;
}

assert

assert 是一种运行时断言机制，用于在程序运行时检查条件是否成立。它在 C++ 中通常由 <cassert> 头文件提供。

特点:

1. 运行时检查: assert 在程序运行时执行，因此可以检查运行时条件。
2. 语法:

#include <cassert>
assert(condition);

• condition 是一个表达式，如果为 false，程序会终止，并输出错误信息。
• 可以选择定义 NDEBUG 宏来禁用 assert，在这种情况下，assert 调用将被忽略。

示例:

#include <cassert>

int divide(int a, int b) {
   assert(b != 0 && "Division by zero is not allowed");
   return a / b;
}

int main() {
   int result = divide(10, 2); // This will pass
   // int result = divide(10, 0); // This will fail and terminate the program
   return 0;
}

主要区别

1. 检查时机:

• static_assert 在编译时进行检查，适用于需要在编译期间验证的条件。
• assert 在运行时进行检查，适用于需要在程序运行时验证的条件。

2. 编译环境对程序的影响:

• static_assert 的失败会阻止程序编译通过。
• assert 的失败会导致程序在运行时中断，除非 NDEBUG 被定义。

3. 使用场景:

• 使用 static_assert 主要用于模板编程、类型检查、常量表达式等编译时条件检查。
• 使用 assert 主要用于检查代码逻辑中的不变量、假设或运行时的错误条件。