std::allocator 是否处理 C++17 中的过度对齐类型？答案

【问题标题】：Does std::allocator handle over-aligned types in C++17?std::allocator 是否处理 C++17 中的过度对齐类型？
【发布时间】：2018-03-06 02:08:02
【问题描述】：

C++17 引入了std::aligned_alloc 和对齐感知new，它们可以进行过度对齐的分配，但是std::allocator 呢？它是否处理过度对齐的类型？

【问题讨论】：

【解决方案1】：

在 N4659(C++17 DIS) 中，23.10.9.1 [allocator.members], bullet 2

T* 分配(size_t n);

返回：指向大小为 n * sizeof(T) 的存储数组的初始元素的指针，为 T 类型的对象适当对齐。

对比C++14，这句话

是否支持过度对齐类型由实现定义

已被删除。所以std::allocator 应该支持 C++17 中的过度对齐类型。

【讨论】：

嗯，N4659（我在 www.open-std.org 找到的 pdf 版本）仍然按照我的原始答案逐字阅读，即过度对齐的类型支持是实现定义的......
@MassimilianoJanes 我在github.com/timsong-cpp/cppwp 找到了它，不确定是在 www.open-std.org 上的那个。
好的阅读 Marc Glisse 的评论很明显你是对的（很高兴知道分配函数现在也需要一个对齐参数）。
你能点击接受这个答案吗？这就是为什么不再需要对齐分配器的原因。
@Jamboree 这太棒了。感谢您挖掘这个。