位算子，而不是在分支中使用XOR

在问这个问题之后，我收到了 @andonm.coleman的一条非常有趣的评论，我必须验证。

由于您的拆卸代码是为X86编写的，因此值得指出的是，XOR会设置/清除零标志，而不会（如果您想在不影响依赖于从中依靠标志的跳跃条件的位置操作）执行位置操作的情况下，则没有用以前的操作）。现在，考虑到您不是直接编写组件，您确实无法以有意义的方式访问此标志，所以我怀疑这是一个偏爱另一个标志的原因。

他的评论让我好奇以下代码是否会产生相同的大会说明

#include <iostream>
int main()
{
    unsigned int val = 0;
    std::cout << "Enter a numeric value: ";
    std::cin >> val;
    if ( (val ^ ~0U) == 0)
    {
        std::cout << "Value inverted is zero" << std::endl;
    } else
    {
        std::cout << "Value inverted is not zero" << std::endl;
    }
    if ( (~val) == 0)
    {
        std::cout << "Value inverted is zero" << std::endl;
    } else
    {
        std::cout << "Value inverted is not zero" << std::endl;
    }
    return 0;
}

以下两个操作

if ( (val ^ ~0U) == 0 )

和

if ( (~val) == 0 )

未在Visual Studio 2010中进行优化提供以下拆卸：

    if ( (val ^ ~0U) == 0)
00AD1501  mov         eax,dword ptr [val]  
00AD1504  xor         eax,0FFFFFFFFh  
00AD1507  jne         main+86h (0AD1536h)  

    if ( (~val) == 0)
00AD1561  mov         eax,dword ptr [val]  
00AD1564  not         eax  
00AD1566  test        eax,eax  
00AD1568  jne         main+0E7h (0AD1597h)  

我的问题涉及优化。写

if ( (val ^ ~0U) == 0)

或

if ( (~val) == 0)