Tại sao vector <bool> :: tham chiếu không trả về tham chiếu đến bool?

Question

#include <vector> 

struct A 
{ 
    void foo(){} 
}; 

template< typename T > 
void callIfToggled(bool v1, bool &v2, T & t) 
{ 
    if (v1 != v2) 
    { 
     v2 = v1; 
     t.foo(); 
    } 
} 

int main() 
{ 
    std::vector<bool> v= { false, true, false }; 

    const bool f = false; 
    A a; 

    callIfToggled(f, v[0], a); 
    callIfToggled(f, v[1], a); 
    callIfToggled(f, v[2], a); 
} 

Việc biên soạn các ví dụ trên tạo ra lỗi tiếp theo:

dk2.cpp: In function 'int main()': 
dk2.cpp:29:28: error: no matching function for call to 'callIfToggled(const bool&, std::vector<bool>::reference, A&)' 
dk2.cpp:29:28: note: candidate is: 
dk2.cpp:13:6: note: template<class T> void callIfToggled(bool, bool&, T&) 

tôi biên soạn sử dụng g ++ (phiên bản 4.6.1) như thế này:

g++ -O3 -std=c++0x -Wall -Wextra -pedantic dk2.cpp 

Câu hỏi đặt ra là tại sao điều này xảy ra? Có phải vector<bool>::reference không phải là bool&? Hay là lỗi của trình biên dịch?
Hoặc, tôi đang thử điều gì đó ngu ngốc? :)

Answer 1

Vector is specialized for bool.

Nó được coi là sai lầm của tiêu chuẩn. Sử dụng vector<char> thay vì:

template<typename t> 
struct foo { 
    using type = t; 
}; 
template<> 
struct foo<bool> { 
    using type = char; 
}; 

template<typename t, typename... p> 
using fixed_vector = std::vector<typename foo<t>::type, p...>; 

---

Đôi khi bạn có thể cần tham chiếu đến một bool chứa bên trong vector. Thật không may, việc sử dụng vector<char> chỉ có thể cung cấp cho bạn các tham chiếu đến ký tự. Nếu bạn thực sự cần bool&, hãy xem Boost Containers library. Nó có phiên bản không chuyên biệt của vector<bool>.

Answer 2

std::vector<bool> là một vùng chứa không phù hợp. Để tối ưu hóa dung lượng, gói này có kích thước bool và không thể cung cấp tham chiếu.

Sử dụng boost::dynamic_bitset thay thế.

Answer 3

Kỳ vọng của bạn là bình thường, nhưng vấn đề ở đây là std::vector<bool> là một loại thử nghiệm bởi ủy nhiệm C++. Nó thực sự là một chuyên môn mẫu lưu trữ các giá trị bool được đóng gói chặt chẽ trong bộ nhớ: một bit cho mỗi giá trị.

Và vì bạn không thể tham chiếu một chút, có vấn đề của bạn.

Answer 4

Chỉ cần tôi 2 xu:

std::vector<bool>::reference là một typedef cho struct _Bit_reference được định nghĩa là

typedef unsigned long _Bit_type; 

struct _Bit_reference 
    { 
    _Bit_type * _M_p; 
    _Bit_type _M_mask; 

    // constructors, operators, etc... 

    operator bool() const 
    { return !!(*_M_p & _M_mask); } 
    }; 

Thay đổi chức năng như thế này, nó hoạt động (tốt, biên dịch ít nhất, đã không kiểm tra) :

template< typename T > 
void callIfToggled(bool v1, std::vector<bool>::reference v2, T & t) 
{ 
    bool b = v2; 
    if (v1 != b) 
    { 
     v2 = v1; 
     t.foo(); 
    } 
} 

CHỈNH SỬA: Tôi đã thay đổi điều kiện từ (v1! = V2), ý kiến ​​hay là (v1! = B).

Answer 5

std::vector<bool> gói nội dung của nó sao cho mỗi giá trị Boolean được lưu trữ trong một bit, tám bit đến một byte. Đây là bộ nhớ hiệu quả nhưng tính toán chuyên sâu, vì bộ vi xử lý phải thực hiện số học để truy cập bit được yêu cầu. Và nó không hoạt động với tham chiếu bool hoặc ngữ nghĩa con trỏ, vì các bit trong một byte không có địa chỉ trong mô hình đối tượng C++.

Bạn vẫn có thể khai báo biến số std::vector<bool>::reference và sử dụng biến số đó như là bool&. Điều này cho phép các thuật toán chung tương thích.

std::vector<bool> bitvec(22); 
std::vector<bool>::reference third = bitvec[ 2 ]; 
third = true; // assign value to referenced bit 

Trong C++ 11, bạn có thể làm việc xung quanh này bằng auto và && specifier tự động lựa chọn một tài liệu tham khảo giá trị trái bị ràng buộc vào các yếu tố vector hoặc một tham chiếu rvalue ràng buộc với một tạm thời.

std::vector<bool> bitvec(22); 
auto &&third = bitvec[ 2 ]; // obtain a std::vector<bool>::reference 
third = true; // assign value to referenced bit 

Answer 6

Thực hiện một cấu trúc với một bool trong nó, và làm cho vector<> sử dụng kiểu struct.

Hãy thử:

vector<struct sb> nơi sb là struct {boolean b];

sau đó bạn có thể nói

push_back({true})

làm

typedef struct sbool {bool b;} boolstruct; và sau đó vector<boolstruct> bs;