std::stack 的推导指南
来自 cppreference.cn
| 定义于头文件 <stack> |
||
| template< class Container > stack( Container ) |
(1) | (C++17 起) |
| template< class Container, class Alloc > stack( Container, Alloc ) |
(2) | (C++17 起) |
| template< class InputIt > stack( InputIt, InputIt ) |
(3) | (C++23 起) |
| template< class InputIt, class Alloc > stack( InputIt, InputIt, Alloc ) |
(4) | (C++23 起) |
| template< ranges::input_range R > stack( std::from_range_t, R&& ) |
(5) | (C++23 起) |
| template< ranges::input_range R, class Allocator > stack( std::from_range_t, R&&, Allocator ) |
(6) | (C++23 起) |
为 stack 提供了这些推导指南，以允许从底层容器类型进行推导。
1) 从参数推导底层容器类型。
2) 与 (1) 相同，但提供了分配器。
3) 使用 std::deque<typename std::iterator_traits<InputIt>::value_type> 作为底层容器类型，从迭代器推导元素类型。
4) 与 (3) 相同，但提供了分配器。
6) 与 (5) 相同，但提供了分配器。
这些重载只有在以下情况下才参与重载决议：
-
InputIt（如果存在）满足 LegacyInputIterator， -
Container（如果存在）不满足 Allocator， - 对于 (3)(直到 C++23)(4)(自 C++23 起)，
Alloc满足 Allocator，并且 - 如果
Container和Alloc都存在，则 std::uses_allocator_v<Container, Alloc> 为 true。
注意：库确定类型不满足 LegacyInputIterator 的程度未指定，但至少整数类型不符合输入迭代器的条件。同样，它确定类型不满足 Allocator 的程度未指定，但至少成员类型 Alloc::value_type 必须存在，并且表达式 std::declval<Alloc&>().allocate(std::size_t{}) 在被视为未求值操作数时必须格式良好。
[编辑] 注意
| 特性测试宏 | 值 | 标准 | 特性 |
|---|---|---|---|
__cpp_lib_adaptor_iterator_pair_constructor |
202106L |
(C++23) | std::queue 和 std::stack 的迭代器对构造函数；重载 (2) 和 (4) |
__cpp_lib_containers_ranges |
202202L |
(C++23) | 范围感知构造和插入；重载 (5) 和 (6) |
[编辑] 示例
运行此代码
#include <stack> #include <vector> int main() { std::vector<int> v = {1, 2, 3, 4}; std::stack s{v}; // guide #1 deduces std::stack<int, vector<int>> }
