c++ - 断言返回值，但以任何一种方式运行

Question

通常，当我从集合中删除一个元素时，我想断言它实际上已被删除:即

assert(s.erase(e));

但是当设置 NDEBUG 时元素不会被删除。但是如果我写

bool removed = s.erase(e);
assert(removed);

编译器提示在设置 NDEBUG 时未使用 'removed'。

我怎样才能正确地做到这一点？

---

我最终只是创建了一个实用方法:

inline void run_and_assert(bool b) {
    assert(b);
}

现在我可以说

run_and_assert(s.erase(e));

这样做有什么缺点吗？这对我来说似乎比 luiscubal 的解决方案更简单

Answer 1

第一个例子是错误的，因为在定义 NDEBUG 时断言表达式将被删除，所以 s.erase(e) 根本不会被调用。

assert 的参数不应该有副作用。

第二种方法更好，虽然警告可能确实很烦人，但是 there are ways to silence the warning .

或者，您可以想出始终执行代码的自己的断言语句。

#ifdef NDEBUG
#define assert_always_execute(x) (x)
#else
#define assert_always_execute(x) assert(x)
#endif