<bool> :: referenceが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); 
} 

コンパイルは上記の次のエラーを生成します。

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&) 

私はこのように、G ++（バージョン4.6.1）を使用してコンパイル：これはなぜ起こるか疑問がある

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

？ vector<bool>::referenceはbool&ではありませんか？それともコンパイラのバグですか？
または、私は何か愚かな試みですか？ :)

Answer 1

Vector is specialized for bool

stdの間違いとみなされます。代わりにvector<char>を使用してください：

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

---

時にはあなたは、ベクター内に含まれるブール値への参照が必要な場合があります。残念ながら、vector<char>を使用すると、charへの参照のみを与えることができます。 bool&が本当に必要な場合は、Boost Containers libraryをご覧ください。それはvector<bool>の未特定バージョンを持っています。

Answer 2

std::vector<bool>は不適合コンテナです。スペースを最適化するために、boolをパックし、参照を提供することはできません。

代わりにboost::dynamic_bitsetを使用してください。

Answer 3

あなたの期待は普通ですが、問題はstd::vector<bool>がC++コミットによる実験の一種であるということです。これは、実際にテンプレートの特殊化であり、メモリに緊密にパックされたブール値を格納します。値ごとに1ビットです。

ビットへの参照ができないため、問題があります。

Answer 4

ちょうど私の2セント：

std::vector<bool>::referenceは、このような機能を変更する

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); } 
    }; 

として定義されてstruct _Bit_referenceのtypedefである、それは動作します（まあ、少なくともコンパイル、テストしていません） ：

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

編集：私は（！V1 = B）に、良いアイデアではなかった、（！V1 = V2）から状態を変更しました。

Answer 5

std::vector<bool>は、それぞれのブール値が1ビット、すなわち8ビットから1バイトに格納されるようにその内容をパックする。これは、プロセッサが要求されたビットにアクセスするために算術演算を実行しなければならないので、メモリ効率は高いが計算集約型である。バイト内のビットはC++オブジェクトモデルのアドレスを持たないため、bool参照またはポインタのセマンティクスでは機能しません。

タイプstd::vector<bool>::referenceの変数を宣言して、そのままbool&のように使用できます。これにより、ジェネリックアルゴリズムが互換性を持つようになります。C++ 11では

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

、あなたはautoと、自動的にベクトル要素または一時的に結合された右辺値参照にバインドされた左辺値参照を選択&&指定子を使用してこの問題を回避することができます。

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

Answer 6

それでboolと構造を作成し、その構造体のタイプを使用してvector<>を作ります。

試してみてください。sbはstruct {boolean b];

である、あなたが

push_back({true})

が

typedef struct sbool {bool b;} boolstruct;、その後vector<boolstruct> bs;

を行うと言うことができ