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

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

同样如上所述，如果上述还不够，那么一个愚蠢的编译器可能会“加载”表达式0（进入寄存器或其他东西），然后忽略它。

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

Answer 2

嗯，如果没有查看编译器的源代码，就不可能100％确定地说，但如果在现代编译器中生成任何代码，我会感到非常惊讶。

在一天结束时，如果您担心任何特定实例，那么您可以随时查看生成的汇编代码。

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

2 个答案: