这些向量定义是“不断初始化”吗？

Question

这个问题是关于代码（在命名空间范围内）：

std::vector<int> v1;
std::vector<int> v2(4);

在 C++14 (N4140) 的第 3.6.2 节中定义了一个术语常量初始化：

不断初始化：

• [省略 - 关于引用初始化]
• 如果具有静态或线程存储持续时间的对象由构造函数调用初始化，并且初始化完整表达式是该对象的常量初始化器；
• 如果具有静态或线程存储持续时间的对象未通过构造函数调用进行初始化，并且该对象是值初始化的，或者出现在其初始化程序中的每个完整表达式都是常量表达式。

此外，术语常量初始化器在前面定义过：

对象o 的常量初始化器是一个表达式，它是 常量表达式，除了它还可以为 o 及其子对象调用 constexpr 构造函数，即使这些对象是非文字类类型。

所以，看看std::vector<int> v2(4)。

此对象由构造函数调用初始化，因此它被第二个要点覆盖。初始化完整表达式为4。 4 是一个常量表达式，因此它是一个常量初始化器。所以满足了第二个要点，这应该是常量初始化的情况。

但是，我用一些编译器进行了测试，它们似乎都将v2 视为动态初始化。

对于v1 的情况，不清楚这是否算作“由构造函数调用初始化”；如果是这样，初始化完整表达式会是什么。

我的问题是：v1和v2是常量初始化，还是动态初始化；如果是后者，能否解释一下标准中的这些引用是如何解释的？

Answer 1

根据 1.9/10，初始化的完整表达式包括对构造函数的调用：

full-expression 是不是另一个表达式的子表达式的表达式。 ...如果定义语言构造以产生函数的隐式调用，则使用该语言 就本定义而言，construct 被认为是一个表达式。 ... 应用于表达式结果的转换以满足语言的要求 出现表达式的结构也被认为是完整表达式的一部分。
[ 例子：
...

S s1(1); // full-expression is call of S::S(int)

然后，根据 8.5/17，直接初始化（v1 和 v2 都使用）涉及构造函数调用。

因此，根据您引用的第二个要点，构造函数调用是“初始化完整表达式”的一部分。所以构造函数调用，而不仅仅是4，是完整的表达式。这反过来意味着这样的构造函数必须是 constexpr 才能成为 constant initializer （根据它的定义，正如你所引用的那样）。而且由于std::vector的默认构造函数和size_t构造函数都不是constexpr，所以初始化不是常量。