c++ - "variableName;"C++ 语句在任何时候都是无操作的吗？

Question

在 C++ 中，有时会定义一个变量，但不会使用它。这是一个示例 - 用于 COM_INTERFACE_ENTRY_FUNC_BLIND 的函数ATL 宏:

HRESULT WINAPI blindQuery( void* /*currentObject*/, REFIID iid, void** ppv, DWORD_PTR /*param*/ ) 
{
    DEBUG_LOG( __FUNCTION__ ); //DEBUG_LOG macro expands to an empty string in non-debug
    DEBUG_LOG( iid );
    iid; // <<<<<<<----silence compiler warning
    if( ppv == 0 ) {
        return E_POINTER;
    }
    *ppv = 0;
    return E_NOINTERFACE;
}

在上面的示例中，iid 参数与 DEBUG_LOG 宏一起使用，该宏在非调试配置中扩展为空字符串。因此，注释掉或删除签名中的 iid 变量名不是一种选择。当编译非调试配置时，编译器会产生 C4100: 'iid' : unreferenced form parameter 警告，因此为了使警告静音，iid; 语句是添加了被认为是无操作的。

问题如下:如果我们有以下任何声明:

 CSomeType variableName; //or
 CSomeType& variableName; //or
 CSomeType* variableName;

将C++代码中的如下语句:

variableName;

始终不依赖于 CSomeType 是什么？

Answer 1

是的，但您可能会收到另一个警告。

执行此操作的标准方法是:(void)iid;.

---

从技术上讲，这仍然可以将 iid 加载到寄存器中并且什么都不做。当然，这在编译器部分是非常愚蠢的(我怀疑是否有人会这样做，如果它确实删除了编译器)，但如果要忽略的表达式与可观察的行为有关，例如调用 IO 函数或volatile变量的读写。

这带来了一个有趣的问题:我们可以接受一个表达式并完全忽略它吗？

也就是说，我们现在拥有的是这样的:

#define USE(x) (void)(x)

// use iid in an expression to get rid of warning, but have no observable effect
USE(iid); 

// hm, result of expression is gone but expression is still evaluated
USE(std::cout << "hmmm" << std::endl);

这接近于解决方案:

// 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!

也就是说，如果表达式 (x) 的类型将逗号运算符重载为无法转换为 int 的内容，则解决方案将失败。当然，不太可能，但为了完全过火，我们可以通过以下方式解决它:

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

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

---

同样如上所述，如果以上还不够，那么愚蠢的编译器可能会“加载”表达式 0(到寄存器或其他东西中)，然后忽略它。

我认为摆脱它是不可能的，因为我们最终需要一个表达式来产生某种可以忽略的类型，但如果我想到它，我会添加它。