如何使用 C++ 11 樣式的非默認構造分配器指定初始大小？

Question

在之前關於更新 Visual Studio 2015 std::list::sort處理沒有默認分配器的列表的線程中，這是用於創建此類列表的示例之一，基於 Microsoft 的無默認分配器示例。

我試圖弄清楚如何創建具有初始（非零）大小的std::list實例，而不必在創建空列表后調整大小。

// this part of the code based on Microsoft example
template <class T>  
struct Mallocator  
{  
    typedef T value_type;  
    Mallocator(T) noexcept {} //default ctor not required by STL  

    // A converting copy constructor:  
    template<class U> Mallocator(const Mallocator<U>&) noexcept {}  
    template<class U> bool operator==(const Mallocator<U>&) const noexcept  
    {  
        return true;  
    }  
    template<class U> bool operator!=(const Mallocator<U>&) const noexcept  
    {  
        return false;  
    }  
    T* allocate(const size_t n) const;  
    void deallocate(T* const p, size_t) const noexcept;  
};  

template <class T>  
T* Mallocator<T>::allocate(const size_t n) const  
{
    if (n == 0)  
    {  
        return nullptr;  
    }  
    if (n > static_cast<size_t>(-1) / sizeof(T))  
    {  
        throw std::bad_array_new_length();  
    }  
    void* const pv = malloc(n * sizeof(T));  
    if (!pv) { throw std::bad_alloc(); }  
    return static_cast<T*>(pv);  
}  

template<class T>  
void Mallocator<T>::deallocate(T * const p, size_t) const noexcept  
{  
    free(p);  
}  

typedef unsigned long long uint64_t;

#define COUNT (4*1024*1024-1)   // number of values to sort

int main(int argc, char**argv)
{
    // this line from a prior answer
    // the (0) is needed to prevent compiler error, but changing the
    // (0) to (COUNT) or other non-zero value has no effect, the size == 0
    std::list <uint64_t, Mallocator<uint64_t>> ll(Mallocator<uint64_t>(0));
    // trying to avoid having to resize the list to get an initial size.
    ll.resize(COUNT, 0);

Answer 1

我嘗試了更多的變化，這觸發了 Visual Studio 顯示參數的各種組合，12 個變化中的第 12 個以正確的順序顯示參數：（計數、值、分配器）。 請注意，在 VS 2015 的情況下，(count, allocator) 沒有選項，需要包含該值。 最后一個參數 <uint64_t>(0) 中的值無關緊要，它只需要是正確的類型。

    std::list <uint64_t, Mallocator<uint64_t>> ll(COUNT, 0, Mallocator<uint64_t>(0));