std::dynarray 与 std::vector

Question

C++14 呈现std::dynarray:

std::dynarray 是一个序列容器，它用 尺寸在施工时固定，在整个施工过程中不会改变 对象的生命周期。

std::dynarray 必须与std::vector 一样在运行时分配。

那么std::dynarray 有什么好处和用途，而我们可以使用更具动态性（并且还可以调整大小）的std::vector？

Answer 1

那么std::dynarray 有什么好处和用途，什么时候我们可以使用更动态（Re-sizable）的std::vector？

dynarray 比vector 更小更简单，因为它不需要管理单独的大小和容量值，也不需要存储分配器。

然而，主要的性能优势在于鼓励实现尽可能在堆栈上分配dynarray，避免任何堆分配。例如

std::dynarray<int> d(5);   // can use stack memory for elements
auto p = new std::dynarray<int>(6);  // must use heap memory for elements

这种优化需要编译器的配合，它不能作为纯库类型来实现，而且必要的编译器魔法还没有实现，没有人知道它是多么容易做到。由于缺乏实现经验，上周在芝加哥举行的 C++ 委员会会议上，决定将 std::dynarray 从 C++14 中拉出，并发布单独的数组扩展 TS（技术规范）文档，定义 std::experimental::dynarray 和数组运行时绑定（ARB，类似于 C99 VLA。）这意味着std::dynarray 几乎肯定不会出现在 C++14 中。

Answer 2

正如您自己所说，std::dynarray 用于 固定大小 动态数组。它不可调整大小。粗略地说，它比new T[N] 和std::unique_ptr<T[]>(new T[N]) 有了改进。

无需调整大小或管理容量意味着您可以实现数据结构的复杂性和空间更少。

此外，std::dynarray 是一种奇怪的动物，它允许实现以不同的、非特定的方式实现它，例如可以将数组放在堆栈上。调用分配函数是“可选的”。你可以指定一个分配器来构造数组的元素，但这不是类型的一部分。

您可能还想知道为什么我们需要std::dynarray 和 可变长度数组。 C++14 中的 VLA 限制性更强；它们只能是本地的自动变量，无法指定分配策略，当然它们也没有标准的容器接口。

---

“当前草案”的 23.3.4.2 中的一些示例（以 Google 缓存为例）：

explicit dynarray(size_type c);

效果：为c 元素分配存储空间。 可能会或可能不会调用全局operator new。

template <class Alloc>
dynarray(size_type c, const Alloc& alloc);

效果：除了每个元素都是用uses-allocator构造来构造之外，等价于前面的构造函数。

您是否可以使用给定的分配器来构造数组元素是一个全局特征：

模板 struct uses_allocator, Alloc> : true_type { };

要求： Alloc 应为分配器 (17.6.3.5)。 [注意：此 trait 的特化通知其他库组件 dynarray 可以使用分配器构造，即使它没有嵌套的 allocator_type。]

编辑：乔纳森·韦克利的回答一定会更有权威性和洞察力。