C++中使用std::stack和std::queue适配器可高效实现栈和队列,二者默认以std::deque为底层容器,提供语义清晰、类型安全的接口,并支持替换底层容器以优化性能;在多线程环境下需通过互斥锁等机制确保线程安全。

在C++中,要实现队列(Queue)和栈(Stack)这两种基本的数据结构,最简洁、最符合现代C++实践的方式就是利用标准模板库(STL)中提供的适配器容器
std::queue
std::stack
std::deque
std::list
std::vector
使用
std::queue
std::stack
std::deque
std::deque
实现栈 (Stack)
栈是一种“后进先出”(LIFO, Last In, First Out)的数据结构。
std::stack
push
pop
top
empty
size
立即学习“C++免费学习笔记(深入)”;
#include <iostream>
#include <stack> // 包含stack头文件
#include <string>
void demonstrateStack() {
std::stack<std::string> myStack;
// 入栈操作
myStack.push("Apple");
myStack.push("Banana");
myStack.push("Cherry");
std::cout << "当前栈顶元素: " << myStack.top() << std::endl; // Cherry
// 栈的大小
std::cout << "栈中元素数量: " << myStack.size() << std::endl; // 3
// 遍历并出栈
std::cout << "开始出栈: " << std::endl;
while (!myStack.empty()) {
std::cout << "弹出: " << myStack.top() << std::endl;
myStack.pop();
}
std::cout << "栈是否为空? " << (myStack.empty() ? "是" : "否") << std::endl; // 是
}实现队列 (Queue)
队列是一种“先进先出”(FIFO, First In, First Out)的数据结构。
std::queue
push
pop
front
back
empty
size
#include <iostream>
#include <queue> // 包含queue头文件
#include <string>
void demonstrateQueue() {
std::queue<int> myQueue;
// 入队操作
myQueue.push(10);
myQueue.push(20);
myQueue.push(30);
std::cout << "当前队头元素: " << myQueue.front() << std::endl; // 10
std::cout << "当前队尾元素: " << myQueue.back() << std::endl; // 30
// 队列的大小
std::cout << "队列中元素数量: " << myQueue.size() << std::endl; // 3
// 遍历并出队
std::cout << "开始出队: " << std::endl;
while (!myQueue.empty()) {
std::cout << "出队: " << myQueue.front() << std::endl;
myQueue.pop();
}
std::cout << "队列是否为空? " << (myQueue.empty() ? "是" : "否") << std::endl; // 是
}将这两个示例代码放在
main
这是一个很棒的问题,它触及了软件设计中的一个核心原则:接口与实现的分离。STL之所以提供
std::stack
std::queue
std::vector
std::list
首先,语义清晰性。当你看到代码中使用了
std::stack
std::vector
push_back
pop_back
std::vector
operator[]
insert
erase
其次,类型安全和约束。适配器容器通过封装底层容器,只暴露了特定数据结构所需的操作。这是一种“最少知识原则”的应用。它降低了出错的可能性,因为你无法执行不属于栈或队列的操作。这在大型项目或团队协作中尤为重要,它为开发者提供了一个明确且受限的接口,减少了心智负担和潜在的bug。
再者,底层实现的可替换性。
std::stack
std::queue
std::deque
std::list
std::vector
std::vector
std::queue
std::deque
std::list
所以,与其说STL“没有直接使用”,不如说它提供了一个更高层次的抽象,让开发者能够以更清晰、更安全、更灵活的方式使用这些经典数据结构。这是一种设计上的优雅,它让我们的代码不仅能工作,而且能更好地表达意图。
虽然
std::stack
std::queue
std::deque
std::list
std::vector
1. std::deque
std::deque
std::deque
std::vector
std::deque
operator[]
std::vector
std::deque
std::stack
std::queue
2. std::list
std::list
push
pop
std::vector
std::list
operator[]
push
pop
std::list
std::list
std::list
std::list
3. std::vector
std::vector
std::vector
push_back
pop_back
push
pop
push_back
std::vector
push
push_back
pop
std::vector
std::queue
reserve
std::vector
std::stack
std::vector
std::queue
pop
如何指定底层容器:
#include <stack> #include <queue> #include <vector> // 用于作为底层容器 #include <list> // 用于作为底层容器 #include <deque> // 默认,但也可以显式指定 // 使用std::list作为底层容器的栈 std::stack<int, std::list<int>> myStackWithList; // 使用std::vector作为底层容器的栈 // 注意:std::vector作为栈的底层,其push_back和pop_back操作是高效的 std::stack<int, std::vector<int>> myStackWithVector; // 使用std::list作为底层容器的队列 std::queue<int, std::list<int>> myQueueWithList; // 使用std::deque作为底层容器的队列(显式指定,与默认行为一致) std::queue<int, std::deque<int>> myQueueWithDeque;
选择合适的底层容器,需要根据你的具体需求(性能、内存、操作模式)进行权衡。大多数时候,
std::deque
当我们将STL的
std::queue
std::stack
std::queue
std::stack
push
pop
top
front
back
size
为什么它们不是线程安全的?
STL容器的设计哲学是“提供高效且通用的数据结构,将线程安全留给用户去实现”。容器内部的操作,例如在
push
pop
举个例子,一个线程正在
push
pop
如何实现线程安全?
要让
std::queue
std::stack
std::mutex
一个基本的线程安全队列或栈通常会是这样的:
#include <mutex>
#include <queue>
#include <condition_variable> // 对于阻塞队列/栈很有用
#include <stdexcept> // 用于异常处理
// 示例:一个简单的线程安全队列
template <typename T>
class ThreadSafeQueue {
private:
std::queue<T> q;
mutable std::mutex mtx; // mutable allows const methods to lock
std::condition_variable cv; // 用于等待和通知
public:
void push(const T& value) {
std::lock_guard<std::mutex> lock(mtx); // 自动加锁解锁
q.push(value);
cv.notify_one(); // 通知一个等待的线程有新数据了
}
T pop() {
std::unique_lock<std::mutex> lock(mtx); // 允许在等待时解锁
// 等待直到队列不为空
cv.wait(lock, [this]{ return !q.empty(); });
T value = q.front();
q.pop();
return value;
}
bool try_pop(T& value) { // 非阻塞式pop
std::lock_guard<std::mutex> lock(mtx);
if (q.empty()) {
return false;
}
value = q.front();
q.pop();
return true;
}
bool empty() const {
std::lock_guard<std::mutex> lock(mtx);
return q.empty();
}
size_t size() const {
std::lock_guard<std::mutex> lock(mtx);
return q.size();
}
};
// 线程安全栈的实现类似,只是操作接口不同初步考量和注意事项:
pop
pop
std::condition_variable
try_pop
false
std::lock_guard
std::unique_lock
top()
front()
top()
front()
pop
pop
pop
std::lock
std::adopt_lock
在实际项目中,尤其是在高性能或高并发场景,直接手写一个完美无缺的线程安全容器是很有挑战的。通常,我们会倾向于使用成熟的并发库,例如Intel TBB (Threading Building Blocks) 中的
concurrent_queue
std::mutex
std::condition_variable
以上就是C++如何使用STL容器实现队列和栈的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号