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

这被认为是标准的错误。请改用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...>;

有时您可能需要引用向量中包含的bool。不幸的是，使用vector<char>只能为您提供对字符的引用。如果您确实需要bool&，请查看Boost Containers library。它有一个非专业版的vector<bool>。

Answer 2

您的期望是正常的，但问题是std::vector<bool>是C ++委员会的一种实验。它实际上是一个模板特化，它将紧密打包在内存中的bool值存储起来：每个值一位。

既然你不能引用一点，那就是你的问题。

Answer 3

std::vector<bool>是一个不合格的容器。为了优化空间，它会打包bool并且无法提供参考。

改为使用boost::dynamic_bitset。

Answer 4

std::vector< bool >打包其内容，因此每个布尔值存储在一位，八位到一个字节。这是存储器效率高但计算密集的，因为处理器必须执行算术来访问所请求的位。并且它不适用于bool引用或指针语义，因为一个字节中的位在C ++对象模型中没有地址。

您仍然可以声明std::vector<bool>::reference类型的变量，并将其用作bool&。这允许通用算法兼容。

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

在C ++ 11中，您可以使用auto和&&说明符解决此问题，该说明符会自动选择绑定到向量元素的左值引用或绑定到临时值的右值引用。

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

Answer 5

我的2美分：

std::vector<bool>::reference是struct _Bit_reference的typedef，定义为

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

更改这样的功能，它可以工作（好吧，至少编译，没有测试过）：

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！= v2）改为（v1！= b）。

Answer 6

在其中创建一个bool的结构，并使用该结构类型生成vector<>。

尝试：

vector<struct sb>其中sb为struct {boolean b];

然后你可以说

push_back({true})

DO

typedef struct sbool {bool b;} boolstruct;然后vector<boolstruct> bs;

为什么vector <bool> :: reference不会返回对bool的引用？</bool>

6 个答案: