微不足道的分配器感知容器？

Question

我正在研究/玩分配器，试图了解它是如何工作的。但是我在尝试实现接受分配器的琐碎容器时遇到了问题。现在我结束了：

template<class T, class Allocator =std::allocator<T>> class Container {
public:
    using allocator_type    = Allocator;
    using value_type        = T;
    using pointer           = typename std::allocator_traits<allocator_type>::pointer;
    using reference         = value_type&;
    using size_type         = std::size_t;

    Container( size_type n =0 , const allocator_type& allocator =allocator_type() ){
        std::cout << "ctor" << std::endl;
        allocator.allocate(n);
    };
};

int main(int argc, const char* argv[]){
    Container<int> c {5};
    return 0;
}

它给了我一个错误member function 'allocate' not viable: 'this' argument has type 'const allocator_type' (aka 'const std::__1::allocator<int>'), but function is not marked const

请问如何解决这个错误？我错过了什么吗？ 我打算稍后使用特征，但想先使用旧方法使其工作。

Answer 1

你的线路

allocator.allocate(n);

尝试调用allocator 的allocate 方法，该方法未定义为const 方法。但是，如果您看一下，allocator 的类型是 const allocator_type&，即对 allocator_type 的 const 引用。

那你怎么用呢？您通常可以对 const 对象（或对一个对象的引用）做的一件事是从它构造一个不同的非常量对象。例如，这会构建：

allocator_type(allocator).allocate(n);

正如 SergeyA 在 cmets 中正确指出的那样，不构建临时临时 allocator_type 而是创建这样的成员是相当普遍的：

    allocator_type m_alloc; // Should probably be private

    Container( size_type n =0 , const allocator_type& allocator =allocator_type() ) : 
            m_alloc{allocator}{
        std::cout << "ctor" << std::endl;
        m_alloc.allocate(n);
    };