std::vector<bool>

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

容器库

顺序容器

array (C++11)

vector

deque

forward_list (C++11)

list

关联容器

set

multiset

map

multimap

无序关联容器

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

容器适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

迭代器失效

成员函数表格

非成员函数表格

 

std::vector<bool>

成员函数

vector::vector

vector::~vector

vector::operator=

vector::assign

vector::get_allocator

元素访问

vector::at

vector::operator[]

vector::front

vector::back

迭代器

vector::beginvector::cbegin (C++11)

vector::endvector::cend (C++11)

vector::rbeginvector::crbegin (C++11)

vector::rendvector::crend (C++11)

容量

vector::empty

vector::size

vector::max_size

vector::reserve

vector::capacity

修改器

vector::clear

vector::insert

vector::emplace (C++11)

vector::erase

vector::push_back

vector::emplace_back (C++11)

vector::pop_back

vector::resize

vector::swap

std::vector<bool> 特定

vector<bool>::flip

vector<bool>::swap

非成员函数

std::swap

eraseerase_if (C++20)(C++20)

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)

辅助类

std::hash (C++11)

推导指引(C++17)

 

在标头 <vector> 定义
template<class Allocator> class vector<bool, Allocator>;

std::vector<bool> 是 std::vector 对类型 bool 为空间提效的特化。

std::vector<bool> 中对空间提效的行为（以及它是否有优化）是实现定义的。一种潜在优化涉及到 vector 的元素联合，使得每个元素占用一个单独的位，而非 sizeof(bool) 字节。

std::vector<bool> 表现类似 std::vector ，但为节省空间，它：

• 不必作为连续数组存储元素
• 暴露类 std::vector<bool>::reference 为访问单个位的方法。尤其是，此类型的类为 operator[] 以值返回。
• 不使用 std::allocator_traits::construct 构造位值。
• 不保证同一容器中的不同元素能由不同线程同时修改。

成员类型

成员类型	定义
value_type	bool
allocator_type	Allocator
size_type	由实现定义
difference_type	由实现定义
reference	表示到单个 bool 的引用的代理类 (类)
const_reference	bool
pointer	由实现定义
const_pointer	由实现定义
iterator	实现定义 (C++20 前) 实现定义的常量表达式迭代器 (ConstexprIterator) (C++20 起)
const_iterator	由实现定义 (C++20 前) 由实现定义的常量表达式迭代器 (ConstexprIterator) (C++20 起)
reverse_iterator	std::reverse_iterator<iterator>
const_reverse_iterator	std::reverse_iterator<const_iterator>

成员函数

(构造函数)	构造 vector (std::vector<T,Allocator> 的公开成员函数)
(析构函数)	析构 vector (std::vector<T,Allocator> 的公开成员函数)
operator=	赋值给容器 (std::vector<T,Allocator> 的公开成员函数)
assign	将值赋给容器 (std::vector<T,Allocator> 的公开成员函数)
get_allocator	返回相关的分配器 (std::vector<T,Allocator> 的公开成员函数)
元素访问
at	访问指定的元素，同时进行越界检查 (std::vector<T,Allocator> 的公开成员函数)
operator[]	访问指定的元素 (std::vector<T,Allocator> 的公开成员函数)
front	访问第一个元素 (std::vector<T,Allocator> 的公开成员函数)
back	访问最后一个元素 (std::vector<T,Allocator> 的公开成员函数)
迭代器
begin cbegin (C++11)	返回指向起始的迭代器 (std::vector<T,Allocator> 的公开成员函数)
end cend (C++11)	返回指向末尾的迭代器 (std::vector<T,Allocator> 的公开成员函数)
rbegincrbegin (C++11)	返回指向起始的逆向迭代器 (std::vector<T,Allocator> 的公开成员函数)
rendcrend (C++11)	返回指向末尾的逆向迭代器 (std::vector<T,Allocator> 的公开成员函数)
容器
empty	检查容器是否为空 (std::vector<T,Allocator> 的公开成员函数)
size	返回容纳的元素数 (std::vector<T,Allocator> 的公开成员函数)
max_size	返回可容纳的最大元素数 (std::vector<T,Allocator> 的公开成员函数)
reserve	预留存储空间 (std::vector<T,Allocator> 的公开成员函数)
capacity	返回当前存储空间能够容纳的元素数 (std::vector<T,Allocator> 的公开成员函数)
修改器
clear	清除内容 (std::vector<T,Allocator> 的公开成员函数)
insert	插入元素 (std::vector<T,Allocator> 的公开成员函数)
emplace (C++11)	原位构造元素 (std::vector<T,Allocator> 的公开成员函数)
erase	擦除元素 (std::vector<T,Allocator> 的公开成员函数)
push_back	将元素添加到容器末尾 (std::vector<T,Allocator> 的公开成员函数)
emplace_back (C++11)	在容器末尾就地构造元素 (std::vector<T,Allocator> 的公开成员函数)
pop_back	移除末元素 (std::vector<T,Allocator> 的公开成员函数)
resize	改变容器中可存储元素的个数 (std::vector<T,Allocator> 的公开成员函数)
swap	交换内容 (std::vector<T,Allocator> 的公开成员函数)
vector<bool> 特定修改器
flip	翻转所有位 (公开成员函数)
swap [静态]	交换二个 std::vector<bool>::reference (公开静态成员函数)

非成员函数

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20 中移除)(C++20 中移除)(C++20 中移除)(C++20 中移除)(C++20 中移除)(C++20)	按照字典顺序比较 vector 中的值 (函数模板)
std::swap(std::vector)	特化 std::swap 算法 (函数模板)
erase(std::vector)erase_if(std::vector) (C++20)	擦除所有满足特定判别标准的元素 (函数模板)

辅助类

std::hash<std::vector<bool>> (C++11)

std::vector<bool> 的哈希支持 (类模板特化)

注解

若位集的大小在编译时已知，可使用 std::bitset ，它提供一组更丰富的成员函数。另外， boost::dynamic_bitset 作为 std::vector<bool> 的替用者存在。

因为 std::vector<bool> 的表示可以优化，故它不需要满足所有容器 (Container) 或序列容器 (SequenceContainer) 要求。例如，因为 std::vector<bool>::iterator 是实现定义的，故它可以不满足老式向前迭代器 (LegacyForwardIterator) 要求。使用要求老式向前迭代器 (LegacyForwardIterator) 的算法，例如 std::search 可能导致编译时或运行时错误。

vector 的 Boost.Container 版本不对 bool 特化。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2187	C++11	对 bool 的特化缺少 emplace 与 emplace_back 成员函数	已添加