组合 std::vector 默认值和填充构造函数

Question

我有一个相当快的问题。std：：vector 提供以下两个构造函数：

explicit vector( const Allocator& alloc = Allocator());      // default constructor
explicit vector( size_type count,                            // fill constructor
const T& value = T(),
const Allocator& alloc = Allocator());

对于填充构造函数中的第一个参数，默认构造函数未以默认值 0 实现，是否有任何特殊原因？我可以想象一定有一个原因，但我不能立即看到一个。

Answer 1

因为你不能只传递一个allocator，而不提供count或默认元素(又名value)？

将count置于0将导致歧义错误。

如果C++命名像 Python 这样的参数会简单得多。Boost 有这样一个库，但这同样会产生一些运行时开销:((现在不记得多少了)我经常在测试中使用这个 Lib，但不是在性能很重要的地方......

Answer 2

原因是构造函数对向量中包含的类型提出了不同的要求。要使用第二个，类型必须可复制可构造，并且如果您使用value的默认参数，它也必须是默认可构造的。第一个构造函数对包含的类型没有这样的要求。

请注意，您在问题中显示的构造函数仅在 C++11 之前存在。在那里，区分这两种情况就足够了(因为存储在std::vector中的任何类型都必须是可复制的)。C++11 引入了移动语义，第二个构造函数进一步拆分：

explicit vector(size_type count);
vector(
size_type count,
const T& value,
const Allocator& alloc = Allocator()
);

这是因为std::vector不再要求其包含的类型是复制构造的;移动可构造性就足够了。因此，仅计数构造函数需要默认可构造性(但不是复制可构造性)，计数 + 原型构造函数需要复制可构造性(但不是默认可构造性)。

---

std::vector构造函数的演变确实非常复杂。查看他们在 cpppreferences 上的页面，看看他们进化了多少。这种演变包括在 C++14 中向仅计数构造函数添加一个可选的allocator参数，该参数(我假设)被错误地省略了。