将一个“variableName;” C ++语句是一个没有

在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宏一起使用， DEBUG_LOG宏在非调试配置中展开为空字符串。 因此，注释或删除签名中的iid变量名称不是一种选择。 当编译非调试配置时，编译器会生成一个C4100: 'iid' : unreferenced formal parameter警告，所以为了消除iid;的警告iid; 声明被认为是不适用的。

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

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

将在C ++代码中使用以下语句：

variableName;

在任何时候独立于CSomeType是否是一个无操作？

---

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

标准的做法是： (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 （加载到寄存器或其他内容）中，然后忽略它。

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

---

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

在一天结束时，如果你担心任何特定的实例，那么你总是可以自由地查看生成的汇编代码。

链接地址: http://www.djcxy.com/p/73611.html

上一篇: Will a "variableName;" C++ statement be a no

下一篇: Universally compiler independent way of implementing an UNUSED macro in C/C++