如何创建c++ 11非默认构造分配器
How to create a C++ 11 non-default-constructible allocator?
这个主题出现在这个线程关于std::list::sort()的变化Visual Studio 2015:
' std::list<>::sort() ' -为什么突然切换到自上而下的策略?
新版本的std::list::sort不需要一个默认的可构造std::list,因为它只使用迭代器,并且不创建任何局部列表,所以列表不能默认构造也没关系。以前的版本使用本地列表(注意-列表的每个实例都涉及到一个哨兵节点的动态分配):
typedef list<_Ty, _Alloc> _Myt;
// ...
const size_t _MAXBINS = 25;
_Myt _Templist, _Binlist[_MAXBINS];
我试图创建一个非默认的可构造列表,与Visual Studio 2015版本来测试如何改变std::list::sort()处理这个
首先,我尝试了Microsoft c++ 11最小分配器的例子。 update -为了让Jonathan Wakely的答案能够工作并演示问题,我不得不更改一行:
template <class T>
struct Mallocator
{
typedef T value_type;
// Mallocator() noexcept {} // replaced this line from the Microsoft example
Mallocator(T) noexcept {} // no default constructor
// 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);
}
update - Mallocator更改为没有默认构造函数,这现在会导致编译错误:
typedef unsigned long long uint64_t;
std::list <uint64_t, Mallocator<uint64_t>> dll; // doubly linked list
使用Jonathan Wakely建议的修改可以正常工作,并重现了旧的std::list::sort由于局部列表而导致编译错误的问题,并显示没有局部列表的新std::list::sort在没有默认构造函数的情况下工作:
std::list<uint64_t, Mallocator<uint64_t>> dll(Mallocator<uint64_t>(0));
我也尝试了这个方法基于线程这里在SO:
struct Allocator {
void construct(void* p, const void* container) const {};
void destruct(void* p, const void* container) const {};
};
void* operator new (size_t size, const Allocator& alloc, const void* container)
{
void* allocated_memory = std::malloc(size);
if (!allocated_memory) {
throw std::bad_alloc();
}
alloc.construct(allocated_memory, container);
return allocated_memory;
}
void operator delete(void* p, const Allocator& alloc, const void* container)
{
alloc.destruct(p, container);
std::free(p);
}
主要typedef unsigned long long uint64_t;
// ...
Allocator alloc;
std::list<uint64_t> *dll = new(alloc, NULL)std::list<uint64_t>;
// ...
operator delete(dll, alloc, NULL);
,但这适用于新旧版本的std::list::sort,所以它得到了一个默认构造函数。
问题是如何创建一个非默认的可构造分配器?
感谢Igor Tandetni的演示和Jonathan Wakely的回答,我能够更改上面的Microsoft示例分配器(在评论中注意到),使其没有默认构造函数,并重现与旧std::list::sort相关的问题。
如果你默认构造一个std::list
,那么它将默认构造它的分配器,所以这个变量定义仍然需要一个默认构造函数:
std::list <uint64_t, Mallocator<uint64_t>> dll; // doubly linked list
如果你想测试没有默认构造函数的分配器,你需要做不同的操作,例如
std::list <uint64_t, Mallocator<uint64_t>> dll(Mallocator<uint64_t>(args));
或:
Mallocator<uint64_t> alloc(some, args, for, your, allocator);
std::list <uint64_t, Mallocator<uint64_t>> dll(alloc);
- 如何创建一个CMake变量,除非显式重写,否则使用默认值
- 如何使用默认参数等选择模板专业化
- 具有默认模板参数的多态类的模板推导失败
- 为什么在没有显式默认构造函数的情况下,将另一个结构封装在联合中作为成员的结构不能编译
- 当函数模板参数是具有默认参数的类模板时,函数模板参数的推导如何执行
- 使用 std::分配器在 constexpr 中进行默认初始化
- 如何使用C 11样式非默认构造分配器指定初始大小
- 为什么我的自定义分配器比默认分配器慢
- 自定义分配器和默认成员
- 构造函数在哪里获取/设置默认分配器
- 除了默认分配器之外,stl现在还有其他分配器吗
- 使用分配器unordered_map非默认构造函数
- 带有容器和默认分配器的模板模板参数:我可以让我的声明更紧凑吗
- 应该分配器 construct() 默认初始化而不是值初始化
- 默认分配器将int清零
- 默认stl分配器如何分配
- 分配器作为向量和列表中的默认参数
- 如何创建c++ 11非默认构造分配器
- 替换默认的STL分配器
- GCC为STL使用的默认分配器是什么