通用初始化器的 C++0x 非歧义性

Question

我找到了几个使用 {...} 的新 Initializer Syntax 示例。但是这些例子已经很老了。我只是想核对一下——目前的情况是否仍然如所描述的那样？

在每个上下文（尤其是模板）中，以下源代码片段始终是明确的——无论T 和v 是什么。

• T{v}; -- 总是构造一个类型为 T 的临时变量，并使用值 v 对其进行初始化。
• T x{v}; -- 使用值 v 初始化了 T 类型的变量 x。
• T x = {v}; -- 相同，因为 = 在这里只是可选的。
• T a[] = {v}; -- 使用值 v 初始化数组的所有元素。
• p = new T{v}; -- 在堆上分配一个T 类型的对象，并用值v 对其进行初始化。

所以还是这样，告诉人们“更喜欢{}-syntax，你的源代码不会有不同的含义，这取决于T和v是什么” .

Answer 1

• T x{v}; -- 用值 v 初始化了一个 T 类型的变量 x。
• T x = {v}; -- 相同，因为 = 在这里只是可选的。

就 N3291（最终标准之前的最后一个工作草案）而言，对于所有可能的 v 和 T，这些都不相同。

主要区别如下。第一个是显式构造函数调用，因此它可以选择声明为explicit 的构造函数。第二个是 not 显式构造函数调用（即使它会调用构造函数）。因此它不能选择explicit构造函数。

从 13.3.1.7 开始：

在copy-list-initialization中，候选函数都是T的构造函数。但是，如果选择显式构造函数，则初始化格式不正确。

这样做的目的是确保您在使用复制初始化时不会意外地执行值的explicit 转换，即使使用{} 语法也是如此。