请问"variableName;" C++声明在任何时候都是无操作的？

Question

在C++中,有时会定义一个变量,但不会使用.这是一个示例 - 与COM_INTERFACE_ENTRY_FUNC_BLINDATL宏一起使用的函数:

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 formal 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)))

确保我们真的最终为零.这个技巧由约翰内斯带给你.

同样如上所述,如果上述还不够,那么一个愚蠢的编译器可能会"加载"表达式0(进入寄存器或其他东西),然后忽略它.

我认为不可能摆脱它,因为我们最终需要一个表达式来导致某种类型忽略,但如果我想到它,我会添加它.