Tại sao toán tử gán phân chia | = không hoạt động với vectơ của bool?

Question

Nếu tôi có vector<bool> vec_bool thì tôi không thể sửa đổi nội dung của véc tơ bằng cách sử dụng toán tử gán |=. Đó là, các dòng

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

lỗi Hãy cho trình biên dịch, trong khi các dòng

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]; 

thì không. Lý do cho điều này là gì?

Các lỗi nhất định (bằng gcc) là:

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

Answer 1

Các reference trở về từ operator[] của std::vector<bool> không phải là một bí danh cho bool&, vì nó là dành cho chuyên môn chính của std::vector. Nó khá được xác định bởi các 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 
}; 

Và như bạn có thể thấy, không có operator |= tuyên bố. Vì vậy, bạn không thể áp dụng nó trên tài liệu tham khảo trở về từ vec_bool[0].

Lý do mà vec_bool[0] = vec_bool[0] | vec_bool[1]; hoạt động là ở đó có là quá tải ở trên tạo điều kiện thuận lợi cho nó. operator bool() chuyển đổi hai toán hạng của giá trị | được tích hợp thành bool giá trị. Và sau đó toán tử gán của reference gán kết quả trở lại vec_bool[0].

Theo quy định của tiêu chuẩn C++, std::vector<bool> không phải là một trừu tượng đặc biệt tốt, IMO.