直接列表初始化的自动规则

Question

我只是想了解与“直接列表初始化的自动规则”相关的新 c++17 更改

stackoverflow 问题线程中很少有答案像这样做不安全 Why is direct-list-initialization with auto considered bad or not preferred?

尝试了选择的答案之一来理解

#include <typeinfo>
#include <iostream>

struct Foo{};

void eatFoo (const Foo& f){}

int main() {
    Foo a;
    auto b{a};
    eatFoo(b);
    std::cout << "a " << typeid(a).name() << '\n';
    std::cout << "b " << typeid(b).name() << '\n';

}

但令我惊讶的是，它编译时没有任何警告或编译错误 输出

a 3Foo
b 3Foo
Program ended with exit code: 0

这是否意味着现在可以安全地使用 auto 进行直接初始化

比如这样的

auto x { 1 };

Answer 1

“安全”在旁观者的眼中。

C++14 的行为是“安全的”，因为它明确定义了结果。 auto var_name{expr} 将创建一个元素的 initializer_list。

C++17 使得auto var_name{expr} 产生与auto var_name = expr; 相同的类型推导。只要您期望是这种情况，那么它就是“安全的”。但它并不比旧行为更“安全”。

再一次，这是一种与 C++14 行为向后不兼容的语言更改。按照该标准，它不是“安全的”，因为 C++14 用户会期望您的代码执行与在 C++17 编译器下不同的操作。所以它会造成一些微妙的混乱，这可能并不安全。

然后是“统一初始化”应该是“统一”的问题（即：在所有地方在相同的规则下执行相同类型的初始化），但 auto var_name{expr} 会做一些与 auto var_name = {expr} 非常不同的事情.后者仍然是initializer_list；前者将是复制/移动。因此，假设“统一初始化”是统一的并不“安全”。

再一次，C++17 的行为有时是你真正想要的。对您而言，从单个值初始化变量意味着复制/移动它。毕竟，如果你做了decltype(expr) var_name{expr}，这就是你会得到的行为。所以从这个角度来看，这似乎是一种“安全”的行为。

至少，我们可以说，通过两条规则可以更好地教导这种情况：

1. auto 变量的直接列表初始化意味着“将表达式复制/移动到变量中，如果您提供多个表达式，则说明您使用了错误的语法。”
2. auto 变量的复制列表初始化意味着“创建一个 initializer_list，如果您提供的值无法做到这一点，则说明您使用了错误的语法。”

也许简单会创造一种“安全感”。

The document 引发了这些更改，这表明您通过遵守上述规则返回堆栈绑定的initializer_list 不太可能意外 UB。这是“安全”的一种定义。

所以这完全取决于你所说的“安全”是什么意思。