关于分配器重新绑定的查询答案

【问题标题】：A query regarding allocator rebind关于分配器重新绑定的查询
【发布时间】：2018-05-10 02:54:43
【问题描述】：

希望了解以下内容：

A::template rebind::other (optional1)

注意：1 rebind 只是可选的（由std::allocator_traits 提供）如果此分配器是SomeAllocator<T, Args> 形式的模板，其中Args 是零个或多个附加模板参数。

为什么rebind 在上述情况下是可选的？

【问题讨论】：

在这种情况下它是“生成的”（成为SomeAllocator<U, Args>）。
相关：stackoverflow.com/questions/14148756/… 和 stackoverflow.com/questions/12362363/…

【解决方案1】：

标准库总是通过std::allocator_traits 模板访问分配器。此模板提供rebind 的默认定义，如果它符合Alloc<U, Args> 的形式

rebind_alloc<T> Alloc::rebind<T>::other 如果存在，否则Alloc<T, Args> 如果这个Alloc 是Alloc<U, Args> - cppreference.com : std::allocator_traits

【讨论】：