stack.hpp

//
// Copyright 2014 Felix Petriconi
//
// License: http://boost.org/LICENSE_1_0.txt, Boost License 1.0
//
// Authors: http://petriconi.net, Felix Petriconi
//
#pragma once

#include <type_traits>
#include <boost/type_traits.hpp>

namespace alb {
  inline namespace v_100 {
    namespace internal {

      template <typename T, unsigned MaxSize> 
      class stack {
        static_assert(boost::has_trivial_assign<T>::value, "T must be trivially copyable");
        static_assert(boost::has_trivial_destructor<T>::value, "T must be trivially destroyable");

        T elements_[MaxSize];
        int pos_;

      public:
        using value_type = T;
        static const size_t max_size = MaxSize;

        stack() noexcept
          : pos_(-1)
        {}

        bool push(T v) noexcept
        {
          if (pos_ < static_cast<int>(MaxSize) - 1) {
            pos_++;
            elements_[pos_] = std::move(v);
            return true;
          }
          return false;
        }

        bool pop(T &v) noexcept
        {
          if (pos_ >= 0) {
            v = std::move(elements_[pos_]);
            pos_--;
            return true;
          }
          return false;
        }

        bool empty() const noexcept
        {
          return pos_ == -1;
        }
      };
    }
  }

  using namespace v_100;
}