std::stack

在标头 `<stack>` 定义
template< class T, class Container = std::deque<T> > class stack;

std::stack 类是一种容器适配器，它给予程序员栈的功能——特别是 FILO（先进后出）数据结构。

该类模板用处为底层容器的包装器——只提供特定函数集合。栈从被称作栈顶的容器尾部推弹元素。

模板形参

T - 存储的元素类型。T 与 Container::value_type 不是同一类型时非良构。

Container

-

用于存储元素的底层容器类型。容器必须满足序列容器 (SequenceContainer) 的要求。另外，它必须提供拥有通常语义的下列函数：

back()，例如 std::vector::back()，
push_back()，例如 std::deque::push_back()，
pop_back()，例如 std::list::pop_back()。

标准容器 std::vector（包括 std::vector<bool>）、std::deque 和 std::list 满足这些要求。如果没有为特定的 stack 类特化指定容器类，那么就会使用标准容器 std::deque。

成员类型

成员类型	定义
`container_type`	`Container`
`value_type`	`Container::value_type`
`size_type`	Container::size_type
`reference`	`Container::reference`
`const_reference`	`Container::const_reference`

成员对象

成员名称	定义
Container c	底层容器 (受保护成员对象)

成员函数

非成员函数

(构造函数)	构造 `stack` (公开成员函数)
(析构函数)	析构 `stack` (公开成员函数)
operator=	将值赋给容器适配器 (公开成员函数)
元素访问
top	访问栈顶元素 (公开成员函数)
容量
empty	检查容器适配器是否为空 (公开成员函数)
size	返回元素数 (公开成员函数)
修改器
push	向栈顶插入元素 (公开成员函数)
push_range (C++23)	在栈顶插入元素范围 (公开成员函数)
emplace (C++11)	在顶部原位构造元素 (公开成员函数)
pop	移除栈顶元素 (公开成员函数)
swap (C++11)	交换内容 (公开成员函数)

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20)	按照字典顺序比较两个 `stack` 的值 (函数模板)
std::swap(std::stack) (C++11)	特化 std::swap 算法 (函数模板)

辅助类

std::uses_allocator<std::stack> (C++11)	特化 std::uses_allocator 类型特征 (类模板特化)
std::formatter<std::stack> (C++23)	`std::stack` 的格式化支持 (类模板特化)

推导指引

(C++17 起)

注解

功能特性测试宏	值	标准	功能特性
`__cpp_lib_containers_ranges`	202202L	(C++23)	容器的范围构造和插入

示例

Comment

运行此代码

#include <iostream>
#include <stack>
 
int main()
{
    struct Point
    {
        int x, y;
    };
    std::stack<Point> stack;
 
    // push
    stack.push({1, 1});
    stack.push({2, 1});
    stack.push({.x = 3, .y = 0});
 
    // emplace -  (C++11)
    stack.emplace(4, 4);
    auto [x, y] = stack.emplace(Point{5, 5}); // c++17
    std::cout << "x: " << x << ",y: " << y << '\n';
 
    // pop
    stack.pop();
 
    while (!stack.empty())
    {
        auto [a, b] = stack.top();
        std::cout << "a: " << a << ",b: " << b << '\n';
        stack.pop();
    }
 
    return 0;
}

输出：

x: 5,y: 5
a: 4,b: 4
a: 3,b: 0
a: 2,b: 1
a: 1,b: 1

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
LWG 307	C++98	`Container` 不能是 `std::vector<bool>`	可以是
LWG 2566	C++98	缺少对 `Container::value_type` 的要求	`T` 和 `Container::value_type` 不同时非良构

参阅

vector	动态的连续数组 (类模板)
vector<bool>	节省空间的动态 bitset (类模板特化)
deque	双端队列 (类模板)
list	双链表 (类模板)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

序列
array (C++11)
vector
vector<bool>
inplace_vector (C++26)
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)
表格
迭代器失效
成员函数表格
非成员函数表格

成员函数
stack::stack
stack::~stack
stack::operator=
元素访问
stack::top
容量
stack::empty
stack::size
修改器
stack::push
stack::push_range (C++23)
stack::emplace (C++11)
stack::pop
stack::swap (C++11)
非成员函数
swap(std::stack) (C++11)
operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20)
辅助类
uses_allocator<std::stack> (C++11)
formatter<std::stack> (C++23)
推导指引(C++17)