Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/container/vector bool"

From cppreference.com
< cpp‎ | container
(rm template parameter)
m (Notes: +FTM)
 
(47 intermediate revisions by 16 users not shown)
Line 1: Line 1:
 
{{cpp/title|vector<bool>}}
 
{{cpp/title|vector<bool>}}
{{cpp/container/vector_bool/sidebar}}
+
{{cpp/container/vector_bool/navbar}}
{{ddcl | header=vector |
+
{{ddcl|header=vector|
template<class Allocator {{=}} std::allocator<bool>>
+
template<
class vector<bool, Allocator>;
+
    class Allocator
}}  
+
> class vector<bool, Allocator>;
 +
}}
  
{{tt|std::vector<bool>}} is a space-efficient specialization of {{cpp|std::vector}} for the type {{cpp|bool}}.
+
{{c|std::vector<bool>}} is a possibly space-efficient specialization of {{lc|std::vector}} for the type {{c|bool}}.
  
It behaves similarly to {{cpp|std::vector}}, but in order to be space efficient, {{tt|std::vector<bool>}}:
+
The manner in which {{c|std::vector<bool>}} is made space efficient (as well as whether it is optimized at all) is implementation defined.  One potential optimization involves coalescing vector elements such that each element occupies a single bit instead of {{c|sizeof(bool)}} bytes.
  
* Does not necessarily store its data in a single contiguous chunk of memory.
+
{{c|std::vector<bool>}} behaves similarly to {{lc|std::vector}}, but in order to be space efficient, it:
* Exposes {{tt|std::vector<bool>::reference}} as a method of accessing individual bits.
+
 
* Does not use {{cpp|std::allocator_traits::construct}} to construct bit values.
+
* Does not necessarily store its elements as a contiguous array.
 +
* Exposes class {{c|std::vector<bool>::reference}} as a method of accessing individual bits. In particular, objects of this class are returned by {{ltt|cpp/container/vector/operator_at|operator[]}} by value.
 +
* Does not use {{c|std::allocator_traits::construct}} to construct bit values.
 +
* Does not guarantee that different elements in the same container can be modified concurrently by different threads.
  
 
===Member types===
 
===Member types===
{{tdcl list begin}}
+
{{dsc begin}}
{{tdcl list hitem | Member type | Definition}}
+
{{dsc hitem|Member type|Definition}}
{{tdcl list template | cpp/container/tdcl list value_type | vector_bool}}
+
{{dsc inc|cpp/container/dsc value_type|vector_bool}}
{{tdcl list template | cpp/container/tdcl list allocator_type | vector_bool}}
+
{{dsc inc|cpp/container/dsc allocator_type|vector_bool}}
{{tdcl list template | cpp/container/tdcl list size_type | vector_bool}}
+
{{dsc inc|cpp/container/dsc size_type|vector_bool}}
{{tdcl list template | cpp/container/tdcl list difference_type | vector_bool}}
+
{{dsc inc|cpp/container/dsc difference_type|vector_bool}}
{{dcl list class | cpp/container/vector_bool/reference | proxy class representing a reference to a single bool}}
+
{{dsc class|cpp/container/vector_bool/reference|proxy class representing a reference to a single bool}}
{{tdcl list template | cpp/container/tdcl list const_reference | vector_bool}}
+
{{dsc inc|cpp/container/dsc const_reference|vector_bool}}
{{tdcl list template | cpp/container/tdcl list pointer | vector_bool}}
+
{{dsc inc|cpp/container/dsc pointer|vector_bool}}
{{tdcl list template | cpp/container/tdcl list const_pointer | vector_bool}}
+
{{dsc inc|cpp/container/dsc const_pointer|vector_bool}}
{{tdcl list template | cpp/container/tdcl list iterator | vector_bool}}
+
{{dsc inc|cpp/container/dsc iterator|vector_bool}}
{{tdcl list template | cpp/container/tdcl list const_iterator | vector_bool}}
+
{{dsc inc|cpp/container/dsc const_iterator|vector_bool}}
{{tdcl list template | cpp/container/tdcl list reverse_iterator | vector_bool}}
+
{{dsc inc|cpp/container/dsc reverse_iterator|vector_bool}}
{{tdcl list template | cpp/container/tdcl list const_reverse_iterator | vector_bool}}
+
{{dsc inc|cpp/container/dsc const_reverse_iterator|vector_bool}}
{{tdcl list end}}
+
{{dsc end}}
  
 
===Member functions===
 
===Member functions===
{{dcl list begin}}
+
{{dsc begin}}
{{dcl list template | cpp/container/dcl list constructor | vector}}
+
{{dsc inc|cpp/container/dsc constructor|vector}}
{{dcl list template | cpp/container/dcl list destructor | vector}}
+
{{dsc inc|cpp/container/dsc destructor|vector}}
{{dcl list template | cpp/container/dcl list operator{{=}} | vector}}
+
{{dsc inc|cpp/container/dsc operator{{=}}|vector}}
{{dcl list template | cpp/container/dcl list assign | vector}}
+
{{dsc inc|cpp/container/dsc assign|vector}}
{{dcl list template | cpp/container/dcl list get_allocator | vector}}
+
{{dsc inc|cpp/container/dsc get_allocator|vector}}
  
{{dcl list h2 | Element access}}
+
{{dsc h2|Element access}}
{{dcl list template | cpp/container/dcl list at | vector}}
+
{{dsc inc|cpp/container/dsc at|vector}}
{{dcl list template | cpp/container/dcl list operator_at | vector}}
+
{{dsc inc|cpp/container/dsc operator_at|vector}}
{{dcl list template | cpp/container/dcl list front | vector}}
+
{{dsc inc|cpp/container/dsc front|vector}}
{{dcl list template | cpp/container/dcl list back | vector}}
+
{{dsc inc|cpp/container/dsc back|vector}}
{{dcl list template | cpp/container/dcl list data | vector}}
+
  
{{dcl list h2 | Iterators}}
+
{{dsc h2|Iterators}}
{{dcl list template | cpp/container/dcl list begin | vector}}
+
{{dsc inc|cpp/container/dsc begin|vector}}
{{dcl list template | cpp/container/dcl list end | vector}}
+
{{dsc inc|cpp/container/dsc end|vector}}
{{dcl list template | cpp/container/dcl list rbegin | vector}}
+
{{dsc inc|cpp/container/dsc rbegin|vector}}
{{dcl list template | cpp/container/dcl list rend | vector}}
+
{{dsc inc|cpp/container/dsc rend|vector}}
  
{{dcl list h2 | Capacity}}
+
{{dsc h2|Capacity}}
{{dcl list template | cpp/container/dcl list empty | vector}}
+
{{dsc inc|cpp/container/dsc empty|vector}}
{{dcl list template | cpp/container/dcl list size | vector}}
+
{{dsc inc|cpp/container/dsc size|vector}}
{{dcl list template | cpp/container/dcl list max_size | vector}}
+
{{dsc inc|cpp/container/dsc max_size|vector}}
{{dcl list template | cpp/container/dcl list reserve | vector}}
+
{{dsc inc|cpp/container/dsc reserve|vector}}
{{dcl list template | cpp/container/dcl list capacity | vector}}
+
{{dsc inc|cpp/container/dsc capacity|vector}}
{{dcl list template | cpp/container/dcl list shrink_to_fit | vector}}
+
  
{{dcl list h2 | Modifiers}}
+
{{dsc h2|Modifiers}}
{{dcl list template | cpp/container/dcl list clear | vector}}
+
{{dsc inc|cpp/container/dsc clear|vector}}
{{dcl list template | cpp/container/dcl list insert | vector}}
+
{{dsc inc|cpp/container/dsc insert|vector}}
{{dcl list template | cpp/container/dcl list emplace | vector}}
+
{{dsc inc|cpp/container/dsc emplace|vector}}
{{dcl list template | cpp/container/dcl list erase | vector}}
+
{{dsc inc|cpp/container/dsc erase|vector}}
{{dcl list template | cpp/container/dcl list push_back | vector}}
+
{{dsc inc|cpp/container/dsc push_back|vector}}
{{dcl list template | cpp/container/dcl list emplace_back | vector}}
+
{{dsc inc|cpp/container/dsc emplace_back|vector}}
{{dcl list template | cpp/container/dcl list pop_back | vector}}
+
{{dsc inc|cpp/container/dsc pop_back|vector}}
{{dcl list template | cpp/container/dcl list resize | vector}}
+
{{dsc inc|cpp/container/dsc resize|vector}}
{{dcl list template | cpp/container/dcl list swap | vector}}
+
{{dsc inc|cpp/container/dsc swap|vector}}
{{dcl list template | cpp/container/vector_bool/dcl list flip}}
+
 
{{dcl list end}}
+
{{dsc h2|{{tt|vector<bool>}} specific modifiers}}
 +
{{dsc inc|cpp/container/vector_bool/dsc flip}}
 +
{{dsc inc|cpp/container/vector_bool/dsc swap}}
 +
{{dsc end}}
  
 
===Non-member functions===
 
===Non-member functions===
{{dcl list begin}}
+
{{dsc begin}}
{{dcl list template | cpp/container/dcl list operator_cmp | vector}}
+
{{dsc inc|cpp/container/dsc operator_cmp|vector}}
{{dcl list template | cpp/container/vector_bool/dcl list swap2}}
+
{{dsc inc|cpp/container/dsc swap2|vector}}
{{dcl list end}}
+
{{dsc inc|cpp/container/dsc erase seq|vector}}
 +
{{dsc end}}
 +
 
 +
===Helper classes===
 +
{{dsc begin}}
 +
{{dsc inc|cpp/container/vector_bool/dsc hash}}
 +
{{dsc end}}
 +
 
 +
===[[cpp/container/vector/deduction guides|Deduction guides]] {{mark c++17}}===
 +
 
 +
===Notes===
 +
If the size of the bitset is known at compile time, {{lc|std::bitset}} may be used, which offers a richer set of member functions. In addition, [https://www.boost.org/doc/libs/release/libs/dynamic_bitset/dynamic_bitset.html {{tt|boost::dynamic_bitset}}] exists as an alternative to {{tt|std::vector<bool>}}.
 +
 
 +
Since its representation may be optimized, {{c|std::vector<bool>}} does not necessarily meet all {{named req|Container}} or {{named req|SequenceContainer}} requirements. For example, because {{c|std::vector<bool>::iterator}} is implementation-defined, it may not satisfy the {{named req|ForwardIterator}} requirement.  Use of algorithms such as {{lc|std::search}} that require {{named req|ForwardIterator}}s may result in [https://www.boost.org/doc/libs/release/libs/dynamic_bitset/dynamic_bitset.html#rationale either compile-time or run-time errors].
 +
 
 +
The [https://www.boost.org/doc/libs/release/doc/html/boost/container/vector.html Boost.Container version of {{tt|vector}}] does not specialize for {{c|bool}}.
 +
 
 +
===Notes===
 +
{{ftm begin|std=1|comment=1}}
 +
{{ftm|__cpp_lib_containers_ranges|value=202202L|std=C++23|Ranges construction and insertion for containers}}
 +
{{ftm end}}
 +
 
 +
===Defect reports===
 +
{{dr list begin}}
 +
{{dr list item|wg=lwg|dr=2187|std=C++11|before=specializations for {{c|bool}} lacked {{tt|emplace}} and {{tt|emplace_back}} member functions|after=added}}
 +
{{dr list end}}
 +
 
 +
{{langlinks|de|es|fr|it|ja|pt|ru|zh}}

Latest revision as of 10:50, 29 April 2023

 
 
 
 
Defined in header <vector>
template<

    class Allocator

> class vector<bool, Allocator>;

std::vector<bool> is a possibly space-efficient specialization of std::vector for the type bool.

The manner in which std::vector<bool> is made space efficient (as well as whether it is optimized at all) is implementation defined. One potential optimization involves coalescing vector elements such that each element occupies a single bit instead of sizeof(bool) bytes.

std::vector<bool> behaves similarly to std::vector, but in order to be space efficient, it:

  • Does not necessarily store its elements as a contiguous array.
  • Exposes class std::vector<bool>::reference as a method of accessing individual bits. In particular, objects of this class are returned by operator[] by value.
  • Does not use std::allocator_traits::construct to construct bit values.
  • Does not guarantee that different elements in the same container can be modified concurrently by different threads.

Contents

[edit] Member types

Member type Definition
value_type bool[edit]
allocator_type Allocator[edit]
size_type implementation-defined[edit]
difference_type implementation-defined[edit]
proxy class representing a reference to a single bool
(class)
const_reference bool[edit]
pointer implementation-defined[edit]
const_pointer implementation-defined[edit]
iterator

implementation-defined

(until C++20)

implementation-defined ConstexprIterator

(since C++20)
[edit]
const_iterator

implementation-defined

(until C++20)

implementation-defined ConstexprIterator

(since C++20)
[edit]
reverse_iterator std::reverse_iterator<iterator>[edit]
const_reverse_iterator std::reverse_iterator<const_iterator>[edit]

[edit] Member functions

constructs the vector
(public member function of std::vector<T,Allocator>) [edit]
destructs the vector
(public member function of std::vector<T,Allocator>) [edit]
assigns values to the container
(public member function of std::vector<T,Allocator>) [edit]
assigns values to the container
(public member function of std::vector<T,Allocator>) [edit]
returns the associated allocator
(public member function of std::vector<T,Allocator>) [edit]
Element access
access specified element with bounds checking
(public member function of std::vector<T,Allocator>) [edit]
access specified element
(public member function of std::vector<T,Allocator>) [edit]
access the first element
(public member function of std::vector<T,Allocator>) [edit]
access the last element
(public member function of std::vector<T,Allocator>) [edit]
Iterators
returns an iterator to the beginning
(public member function of std::vector<T,Allocator>) [edit]
(C++11)
returns an iterator to the end
(public member function of std::vector<T,Allocator>) [edit]
returns a reverse iterator to the beginning
(public member function of std::vector<T,Allocator>) [edit]
(C++11)
returns a reverse iterator to the end
(public member function of std::vector<T,Allocator>) [edit]
Capacity
checks whether the container is empty
(public member function of std::vector<T,Allocator>) [edit]
returns the number of elements
(public member function of std::vector<T,Allocator>) [edit]
returns the maximum possible number of elements
(public member function of std::vector<T,Allocator>) [edit]
reserves storage
(public member function of std::vector<T,Allocator>) [edit]
returns the number of elements that can be held in currently allocated storage
(public member function of std::vector<T,Allocator>) [edit]
Modifiers
clears the contents
(public member function of std::vector<T,Allocator>) [edit]
inserts elements
(public member function of std::vector<T,Allocator>) [edit]
(C++11)
constructs element in-place
(public member function of std::vector<T,Allocator>) [edit]
erases elements
(public member function of std::vector<T,Allocator>) [edit]
adds an element to the end
(public member function of std::vector<T,Allocator>) [edit]
constructs an element in-place at the end
(public member function of std::vector<T,Allocator>) [edit]
removes the last element
(public member function of std::vector<T,Allocator>) [edit]
changes the number of elements stored
(public member function of std::vector<T,Allocator>) [edit]
swaps the contents
(public member function of std::vector<T,Allocator>) [edit]
vector<bool> specific modifiers
flips all the bits
(public member function) [edit]
[static]
swaps two std::vector<bool>::references
(public static member function) [edit]

[edit] Non-member functions

(removed in C++20)(removed in C++20)(removed in C++20)(removed in C++20)(removed in C++20)(C++20)
lexicographically compares the values of two vectors
(function template) [edit]
specializes the std::swap algorithm
(function template) [edit]
erases all elements satisfying specific criteria
(function template) [edit]

[edit] Helper classes

hash support for std::vector<bool>
(class template specialization) [edit]

[edit] Deduction guides (C++17)

[edit] Notes

If the size of the bitset is known at compile time, std::bitset may be used, which offers a richer set of member functions. In addition, boost::dynamic_bitset exists as an alternative to std::vector<bool>.

Since its representation may be optimized, std::vector<bool> does not necessarily meet all Container or SequenceContainer requirements. For example, because std::vector<bool>::iterator is implementation-defined, it may not satisfy the LegacyForwardIterator requirement. Use of algorithms such as std::search that require LegacyForwardIterators may result in either compile-time or run-time errors.

The Boost.Container version of vector does not specialize for bool.

[edit] Notes

Feature-test macro Value Std Feature
__cpp_lib_containers_ranges 202202L (C++23) Ranges construction and insertion for containers

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 2187 C++11 specializations for bool lacked emplace and emplace_back member functions added