Question

标准是否保证以下代码有效（假设st不为空）？

#include <vector>
#include <stack>
int main()
{
   extern std::stack<int, std::vector<int> > st;
   int* end   = &st.top() + 1;
   int* begin = end - st.size();
   std::vector<int> stack_contents(begin, end);
}

Answer 1

是

std::stack只是一个容器适配器。

您可以看到.top()实际上是（§23.3.5.3.1）

reference top() { return c.back(); }

c是容器，在这种情况下是std::vector

这意味着您的代码基本上已翻译成：

   extern std::vector<int> st;
   int* end   = &st.back() + 1;
   int* begin = end - st.size();
   std::vector<int> stack_contents(begin, end);

由于std::vector保证是连续的，所以应该没有问题。

然而，这并不意味着这是一个好主意。如果你需要使用这样的“黑客”，它通常是糟糕设计的一个指标。您可能希望从头开始使用std::vector。

Answer 2

C ++ 03只保证std::vector具有连续元素（23.4.1）。在C ++ 1x中，这也将扩展到std::string（defect #530）。

Answer 3

是的，这是有保障的。保证向量使用连续存储，因此您的代码将起作用。虽然它有点笨拙 - 如果有人更改了堆栈的基础容器类型，您的代码将继续编译而不会出现错误，但运行时行为将被破坏。

Answer 4

遗憾的是，我没有参考标准来支持这一点，但我认为没有多少方法可以解决这个问题：

指定std::vector<int>作为容器类型意味着元素必须存储在std::vector<int>中。
st.top()必须返回对基础容器中元素的引用（即std::vector<int>中的元素。由于容器的要求是它支持back()，{{1 }}和push_back()，我们可以合理地假设pop_back()返回对向量中最后一个元素的引用。
top()因此指向最后一个元素之后的一个。
end因此指向了开头。

结论：除非假设错误，否则它必须有效。

编辑：鉴于另一个答案是对标准的引用，假设是正确的，所以它有效。

Answer 5

根据this page，std::stack使用容器类来存储元素。

我猜你的建议只有当包含者以线性方式（std::vector）存储其元素时才有效。

默认情况下，std::stack使用std::deque，据我所知，该std::vector不符合此要求。但是如果你指定一个{{1}}作为容器类，我就看不出它为什么不起作用的原因了。

Answer 6

编辑：初始语句编辑，标准实际上确实提供了堆栈适配器的完整定义，没有任何剩余给实现者。见最佳答案。

您需要一个具有push和pop方法的容器，并允许您检查容器中任何位置的元素，并使用std::vector进行存储。标准模板库中有这样的容器

它被称为std::vector。

仅将std::stack用于束缚目的

将std :: stack复制到std :: vector中

6 个答案: