なぜ離接代入演算子| =はboolのベクトルでは機能しないのですか？

Question

vector<bool> vec_boolがある場合、|=割り当て演算子を使用してベクトルの内容を変更することはできません。ライン

bool a = false; 
a |= true; 
a |= vec_bool[0]; 
vec_bool[0] = vec_bool[0] | vec_bool[1]; 
vec_bool[0] = vec_bool[0] || vec_bool[1]; 

vector<int> vec_int(3); 
vec_int[0] |= vec_int[1]; 

がいないのに対し、ライン

vec_bool[0] |= true; 
vec_bool[0] |= vec_bool[1]; 

所与のコンパイルエラーです。これの理由は何ですか？

（GCCによって）指定されたエラーがある：それはstd::vectorの主要専門のためのものであるように

test.cpp:21:17: error: no match for ‘operator|=’ (operand types are ‘std::vector::reference {aka std::_Bit_reference}’ and ‘bool’)

Answer 1

std::vector<bool>のoperator[]から返さreferenceは、bool&の別名ではありません。むしろC++ standard as thisによって指定されています

// bit reference: 
class reference { 
    friend class vector; 
    reference() noexcept; 
public: 
    ~reference(); 
    operator bool() const noexcept; 
    reference& operator=(const bool x) noexcept; 
    reference& operator=(const reference& x) noexcept; 
    void flip() noexcept;  // flips the bit 
}; 

そして、あなたが見ることができるように、宣言されたoperator |=はありません。したがって、vec_bool[0]から返された参照には適用できません。

vec_bool[0] = vec_bool[0] | vec_bool[1];が動作する理由は、上記のオーバーロードがそれを容易にするであるということです。 operator bool()は、組み込みの|の2つのオペランドをboolの値に変換します。そして、代入演算子referenceは、結果をvec_bool[0]に戻します。

C++標準で指定されているように、std::vector<bool>は特に優れた抽象化ではありません。