一个“变量名”C++语句是否始终是一个“否”?

// sizeof doesn't evaluate the expression
#define USE(x) (void)(sizeof(x))

但失败的原因是:

void foo();

// oops, cannot take sizeof void
USE(foo());

解决办法是简单地:

// use expression as sub-expression,
// then make type of full expression int, discard result
#define USE(x) (void)(sizeof((x), 0))

这保证了没有任何操作。

编辑: 上面确实保证没有效果,但我没有测试就发布了。在测试时,它会再次生成警告,至少在MSVC 2010中是这样,因为 价值

提醒:我们想“使用”一个表达式,而不是对它进行求值。怎么能做到?这样地:

#define USE(x) ((void)(true ? 0 : (x)))

这有一个简单的问题,就像上次一样(实际上更糟),就是 (x) int . 这又是一个微不足道的问题:

#define USE(x) ((void)(true ? 0 : ((x), 0)))

我们又回到了上次的效果(没有),但这次 x

这个解决方案实际上还有一个问题(在上一个联合国解决方案中也存在,但没有被注意到),在这个例子中出现了这个问题:

struct foo {};
void operator,(const foo&, int) {}

foo f;
USE(f); // oops, void isn't convertible to int!

(十) 将逗号运算符重载为不可转换为 内景

#define USE(x) ((void)(true ? 0 : ((x), void(), 0)))

以确保我们真的以零结束。 This trick brought to you by Johannes .

另外,如前所述,如果以上还不够,一个足够愚蠢的编译器可能会潜在地“加载”表达式 0 (在登记簿上或其他地方),然后忽略它。