#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&
吗?或者是编译器的bug?
或者,我在做一些愚蠢的事情?:)
发布于 2011-12-06 19:54:14
您的期望是正常的,但问题是std::vector<bool>
已经成为C++委员会的一种实验。它实际上是一个模板专门化,将布尔值紧密地存储在内存中:每个值一位。
既然你不能引用比特,这就是你的问题所在。
发布于 2011-12-06 20:34:00
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
发布于 2011-12-06 19:53:41
std::vector<bool>
是不符合规范的容器。为了优化空间,它打包了bool
s,并且无法提供参考。
https://stackoverflow.com/questions/8399417
复制相似问题