assert用于运行时调试，static_assert用于编译时类型检查，二者结合提升C++代码健壮性。
在C++开发中，assert 是一种常用的调试工具，用于在程序运行时检查条件是否满足预期。它帮助开发者尽早发现逻辑错误，提升代码的健壮性。结合 static_assert，C++提供了运行时和编译时双重断言机制，是防御式编程的重要组成部分。
assert：运行时断言
assert 是 C 标准库中的宏，定义在 cassert 头文件中。它在调试阶段非常有用，用来验证程序中的假设条件。
基本用法如下：
#include <cassert>void func(int* ptr) {
assert(ptr != nullptr); // 如果ptr为空，程序终止并报错
// 安全地使用ptr
}
当 assert 的条件为 false 时，程序会输出错误信息（包括文件名、行号、失败的表达式），然后调用 std::abort() 终止执行。
立即学习“C++免费学习笔记（深入）”；
需要注意的是：assert 只在调试模式下生效。如果编译时定义了 NDEBUG 宏（例如使用 -DNDEBUG 编译选项），所有 assert 都会被忽略。因此它适合用于开发阶段的内部检查，而不应用于处理用户输入或外部错误。
static_assert：编译时断言
与运行时断言不同，static_assert 在编译期间进行检查，适用于模板编程和类型约束等场景。
语法格式为：
static_assert(常量表达式, "提示信息");示例：
static_assert(sizeof(int) == 4, "int must be 4 bytes");template<typename T>
void process() {
static_assert(std::is_integral_v<T>, "T must be an integral type");
}
如果条件不成立，编译器会直接报错，并显示提供的提示信息。这能有效防止错误类型的使用，尤其在泛型编程中非常关键。
从 C++17 开始，第二个参数（提示字符串）可以省略，只要第一个表达式是常量上下文即可：
static_assert(std::is_floating_point_v<float>); // 合法（C++17起）assert 与 static_assert 的使用建议
两者用途不同，应根据场景合理选择：
- assert 适合检查运行时状态，如指针非空、数组索引合法、函数前置条件等。仅用于捕捉程序内部逻辑错误，不能替代正常的错误处理流程。
- static_assert 用于确保类型特性、常量值、模板参数满足要求。能在编译期发现问题，避免无效代码生成。
- 在调试过程中启用 assert，在发布版本中通过 -DNDEBUG 屏蔽，不影响性能。
- 写 assert 时尽量让条件清晰明确，配合注释说明为何该条件必须成立。
基本上就这些。合理使用 assert 和 static_assert，能让代码更安全、更容易维护，是高质量 C++ 编程的习惯之一。
