c++ - 如何在没有 sizeof 的情况下最好地防止自定义断言中出现未使用的变量警告？

Question

基于 http://cnicholson.net/2009/02/stupid-c-tricks-adventures-in-assert/ 中的建议一段时间以来，我一直在使用我自己的断言版本(称为 emp_assert)。因此，当设置 NDEBUG 时，我的断言如下所示:

#define emp_assert(EXPR) ((void) sizeof(EXPR) )

此定义确保 EXPR 中的任何变量在编译器中仍算作“已使用”，但不会影响运行时性能。

不幸的是，我最近发现在断言中使用 lambda 会产生编译错误，因为 lambda 不能放入 sizeof。

我的选择似乎是:

1. 简单地删除sizeof；我的代码中很少有未使用变量的情况，可以手动处理它们。
2. 避免在断言中使用 labdas。
3. 想出具有相同效果的 sizeof 的替代品。

选项 1 目前是我的首选，但我将此断言系统用于许多项目，并且可能会在未来一段时间内遇到问题。

选项 2 似乎太局限了，尤其是因为我可以想象 future 的意外互动。

选项 3 将是最优雅的直接解决方案，但我可以借助帮助来想出如何实现它的想法。

编辑:这里有一些示例代码来说明问题。

#include <iostream>
#include <algorithm>
#include <vector>

#define NDEBUG

// Relevant excerpt from "emp_assert.h"
#ifdef NDEBUG
#define emp_assert(EXPR) ((void) sizeof(EXPR))
#else
#define emp_assert(EXPR)                           \
  do { if ( !(EXPR) ) {                            \
      std::cerr << "Assert Error (In " << __FILE__ \
                << " line " << __LINE__            \
                << "): " << #EXPR << std::endl;    \
      abort(); }                                   \
  } while (0)
#endif

// Code to trigger the problem (asserting that all ints in a vector are less than 8.)
int main()
{
  std::vector<int> v = {1, 2, 3, 4, 8};
  emp_assert( std::all_of(v.begin(), v.end(), [](int i){return i < 8;}) );
}

注释掉 #define NDEBUG 以查看代码如何正确编译并在运行时触发断言。 (如果您不想断言失败，请从 vector 中删除 8)。

我使用 g++ -std=c++11 file.cc 编译

Answer 1

我相信我找到了解决方案。由于未计算的操作数中不允许使用 lambda 表达式，但常量表达式的未计算部分中允许使用 lambda 表达式，因此我们应该能够利用这一事实。

具体来说，当 NDEBUG 开启时，我将我的#define 设置为:

#define emp_assert(EXPR) {                             \
   constexpr bool __emp_assert_tmp = false && (EXPR);  \
   (void) __emp_assert_tmp;                            \
}

constexpr 确保表达式的其余部分在编译时求值。然而，false && (EXPR) 短路，因此 EXPR 永远不会计算，但其中的变量不会被视为未使用。

变量 __emp_assert_tmp 是在它自己的范围内创建的，因此多个断言不会冲突。高度具体的名称将确保我们不会意外隐藏 EXPR 中使用的变量。任何合理的优化编译器都应该完全删除额外的变量，所以我认为它不会导致优化问题。

在我的测试中，EXPR 中的任何内容都没有执行，lambda 没有使它出错，一切似乎都在正常工作。

如果您发现我遗漏的任何问题，请告诉我。