c++ - 一个有大小限制的类STL容器应该如何实现？

Question

在重构时，我想更改一个数组，其中将条目添加到 std::vector，但为了兼容性(持久性、降级...)，它仍然需要有一个上限。
拥有大小有限的类似 STL 的容器的最佳方式是什么(优雅的、类似 STL 的、有限的额外代码)，因此您知道插入条目失败？

编辑:
澄清一下:我想要一个类似 STL 的容器，它开始是空的，您可以填充条目并可能删除条目并迭代填充的条目，但不允许放入超过例如50 个条目，几乎就像一个顺序容器，但有一个上限。

Answer 1

一个简单的解决方案是将 vector 封装在您自己的有限大小容器中。您可以使用私有(private)组合或私有(private)继承——请注意，私有(private)继承模型根据实现，并且没有公共(public)继承的一些缺点。

编辑:私有(private)继承解决方案草图

template <typename T, unsigned int N>
class fixed_vector : std::vector<T>
{
    typedef std::vector<T> vector_type;
public:
    typedef typename vector_type::reference reference;
    typedef typename vector_type::const_reference const_reference;
    typedef typename vector_type::iterator iterator;
    typedef typename vector_type::const_iterator const_iterator;
    typedef typename vector_type::value_type value_type;
    typedef typename vector_type::size_type size_type;

    fixed_vector() : vector_type() {}
    fixed_vector( size_type size, value_type const & value = value_type() )
       : vector_type(size,value)
    {}      

    void push_back( value_type v ) {
        ensure_can_grow();
        vector_type::push_back( v );
    }
    iterator insert( iterator position, value_type const & v ) {
        ensure_can_grow();
        vector_type::insert( position, v );
    }
    void reserve( size_type size ) {
        if ( size > N ) throw std::invalid_argument();
        vector_type::reserve( size );
    }
    size_type capacity() const {
        // In case the default implementation acquires by default 
        // more than N elements, or the vector grows to a higher capacity
        return std::min( vector_type::capacity(), N );
    }
    // provide other insert methods if required, with the same pattern
    using vector_type::begin;
    using vector_type::end;
    using vector_type::operator[];
    using vector_type::erase;
    using vector_type::size;
    using vector_type::empty;
private:
    void ensure_can_grow() const {
        // probably a different exception would make sense here: 
        if ( this->size() == N ) throw std::bad_alloc();
    }
};

那里有相当多的挥手...... std::vector 接受更多可以添加到外观的参数。如果您需要任何其他方法或 typedef，您只需使用 using 声明将它们引入范围，重新定义 typedef，或使用您的特定测试实现适配器。

此外，在这个实现中，大小是一个编译时常量，但将它修改为构造函数参数会非常简单。