Question

根据记录here，std::bitset::operator^=会返回*this。从那个和+=, |=, *=等运算符的“通常”解释可以合理地假设给定std::bitset个实例（大小相同）a和b，表达式(a^=b).count()会在XOR中存储按位a操作的结果，count()将返回a中设置为{true的位数1}}。但是，如下面的最小示例所示，发生了意外情况：

#include <iostream>
#include <bitset>

int main()
{
    constexpr unsigned int N=6; 
    std::bitset<N> a; 
    std::bitset<N> b; 

    a.flip();//111111
    b[0]=1;
    b[4]=1;//b is now 010001 (assuming least significan bit on the right end of the string)

    std::cout<<"a=="<<a.to_string()<<std::endl;
    std::cout<<"b=="<<b.to_string()<<std::endl;
    std::cout<<"(a xor b) to string=="<<(a^=b).to_string()<<std::endl;

    //Here is the unexpected part!
    std::cout<<"(a xor b) count=="<<(a^=b).count()<<std::endl;
    //Note that the following lines would produce the correct result
    //a^=b;
    //std::cout<<a.count()<<std::endl;


    return 0;
}

输出

a==111111
b==010001
(a xor b) to string==101110       
(a xor b) count==6                //this is wrong!!!!! It should be 4...

快速查看std::bitset的实现（请参阅here）似乎表明返回的引用确实是对lhs对象的引用（在我的示例中为a）。那么......为什么会这样？

Answer 1

这与bitset无关。请考虑以下代码：

int a = 2;
int b = 3;
std::cout << std::to_string(a *= b) << std::endl; // Prints 6.
std::cout << std::to_string(a *= b) << std::endl; // Prints 18.

您正在使用赋值运算符，因此您的变量/位集会每时间更改。在您的情况下，第二个评估产生((a ^ b) ^ b)，这当然是原始a（确实设置了6位）。

这是std :: bitset :: operator ^ =和std :: bitset :: count的正常行为吗？如果是这样，为什么？

1 个答案: