C++基础系列【35】巧用assert

博主介绍：程序喵大人

35- 资深C/C++/Rust/Android/iOS客户端开发
10年大厂工作经验
嵌入式/人工智能/自动驾驶/音视频/游戏开发入门级选手
《C++20高级编程》《C++23高级编程》等多本书籍著译者
更多原创精品文章，首发gzh，见文末
👇👇记得订阅专栏，以防走丢👇👇
😉C++基础系列专栏
😃C语言基础系列专栏
🤣C++大佬养成攻略专栏
🤓C++训练营
👉🏻个人网站

在C/C++里，assert是一种比较常用的调试策略。

定义

assert字面意思是断言，用于判断是否满足某个条件，如果不满足某个条件，则程序会直接崩溃，控制台上会显示崩溃所在的文件名和行号。

看下它的使用：

#include <assert.h>
#include <stdio.h>void func(int a) {assert(a > 0);printf("%d", a);
}int main() { func(-1); }

示例中我用assert来表示函数func的输入一定要>0。

我如果输入了-1，程序运行时会在assert处crash，同时提供了报错的详细：

a.out: test.cc:5: void func(int): Assertion `a > 0' failed.Aborted

注意事项：

我们一定在assert处只做判断，不要添加任何功能逻辑，因为assert只在debug模式下有作用，release模式下，assert这行代码会自动跳过去，会自动被忽略。

assert(++i > 0);

这种改变了i状态的assert代码千万不要写，因为会导致debug模式和release模式下的行为不一致。

什么时候使用`assert`？

期望某块逻辑一定要满足某个前置条件，如果不满足就要crash，这方便于我们在debug模式下调试程序，如果crash，方便我们进一步修复问题，使其满足assert条件。

比如我们要输出某个字符串，做一次判空其实也是耗费性能的，我们期望传进来的串一定非空，如果是空，那就直接crash：

void func(const char* s) {printf("hello %s \n", s);
}

static_assert

上面的assert是运行时断言，C++11之后还有个编译时断言：static_assert，用于在编译时判断某些条件，如果断言失败，则会编译失败，用法和assert类似。

#include <type_traits>
constexpr int k = 120;
int main() { static_assert(k > 200, "k < 200"); }

输出：

test.cc:8:14: error: static_assert failed due to requirement 'k > 200' "k < 200"int main() { static_assert(k > 200, "k < 200"); }
^             ~~~~~~~1 error generated