如何获得“基于堆栈”的 std::stack？ （具有固定的最大尺寸）

Question

根据std::stack参考：

用于存储元素的底层容器的类型。 容器必须满足 SequenceContainer 的要求。 此外，它必须提供以下具有通常语义的函数：

 back() push_back() pop_back()

标准容器 std::vector、std::deque 和 std::list 满足这些要求。 默认情况下，如果没有为特定堆栈 class 实例化指定容器 class，则使用标准容器 std::deque。

所有这些都是基于堆的容器。

以下实际编译（ clang ）：

std::stack<int, std::array<int, 12> > stack_of_months;

直到push被调用。

是否有一些技巧可以轻松包装std::array以支持这些方法，以便可以在堆栈中使用它？

Answer 1

您应该能够使用 Boost 的static_vector ：

static_vector是一个序列容器，类似于可以改变大小的连续存储，以及static 分配、低开销和固定容量。

一个工作示例：

std::stack<int, boost::container::static_vector<int, 4>> s;
s.push(1);
s.push(2);
s.push(3);
s.push(4);
// s.push(5); // would throw

---

@PaulMcKenzie 是的，它使用堆栈作为存储（当然，如果 object 本身存储在堆栈中）：

static_vector中的元素数量可以动态变化，直至达到固定容量，因为元素存储在 object 本身中，类似于数组。

现场演示： https://wandbox.org/permlink/Gi40FrB0yX8dIwfA 。

Answer 2

将std::array包装成std::stack可用的东西并不难，您只需要跟踪有多少元素被推送和弹出：

#include <array>
#include <stack>
#include <iostream>

template < typename T, size_t Size >
struct static_vector
{
  using value_type = T;
  using reference = T&;
  using const_reference = const T &;
  using size_type = size_t;

  static_vector()
    : size( 0 )
  {
  }

  std::array< T, Size > data;
  size_t size;

  void push_back( const_reference value )
  {
    data.at( size ) = value;
    size++;
  }

  void pop_back()
  {
    if ( size == 0 )
    {
      throw std::runtime_error( "empty" );
    }
    size--;
  }

  const_reference back() const
  {
    if ( size == 0 )
    {
      throw std::runtime_error( "empty" );
    }
    return data[ size - 1 ];
  }

  reference back()
  {
    if ( size == 0 )
    {
      throw std::runtime_error( "empty" );
    }
    return data[ size - 1 ];
  }
};

int main()
{
  std::stack< int, static_vector< int, 4 > > stack;
  stack.push( 1 );
  std::cout << stack.top() << "\n";
  stack.push( 2 );
  std::cout << stack.top() << "\n";
  stack.pop();
  std::cout << stack.top() << "\n";
  stack.pop();
}