列表初始化（使用大括号）的优点是什么？

Question

MyClass a1 {a};     // clearer and less error-prone than the other three
MyClass a2 = {a};
MyClass a3 = a;
MyClass a4(a);

为什么？

Answer 1

使用大括号初始化有很多原因，但您应该知道initializer_list

struct Foo {
    Foo() {}

    Foo(std::initializer_list<Foo>) {
        std::cout << "initializer list" << std::endl;
    }

    Foo(const Foo&) {
        std::cout << "copy ctor" << std::endl;
    }
};

int main() {
    Foo a;
    Foo b(a); // copy ctor
    Foo c{a}; // copy ctor (init. list element) + initializer list!!!
}

假设您没有遇到这样的类，没有什么理由不使用intiezer列表。

Answer 2

关于使用列表初始化的优点，已经有了很好的答案，但是我个人的经验法则是尽可能不要使用花括号，而是让它依赖于概念上的含义:

• 如果我正在创建的对象在概念上包含我在构造函数中传递的值（例如容器、POD结构、原子、智能指针等），那么我正在使用大括号。
• 如果构造函数类似于普通函数调用（它执行一些或多或少复杂的操作，这些操作由参数参数化），那么我使用的是普通函数调用语法。
• 对于默认初始化，我总是使用花括号。
  首先，这样我总是确保对象被初始化，而不管它是例如一个“真实”类，它具有无论如何都会被调用的默认构造函数还是内置/POD类型。其次，在大多数情况下，它与第一条规则一致，因为默认初始化对象通常表示一个“空”对象。

根据我的经验，这个规则集可以比默认使用花括号更一致地应用，但是当它们不能使用或者与带括号的“正常”函数调用语法有不同的含义时，必须明确记住所有异常（调用不同的重载）。

例如，它非常适合标准库类型，如std::向量：

vector<int> a{10, 20};   //Curly braces -> fills the vector with the arguments

vector<int> b(10, 20);   //Parentheses -> uses arguments to parametrize some functionality,                          
vector<int> c(it1, it2); //like filling the vector with 10 integers or copying a range.

vector<int> d{};      //empty braces -> default constructs vector, which is equivalent
                      //to a vector that is filled with zero elements

Answer 3

基本上是从Bjarne Stroustrup的“C编程语言第4版”中复制和粘贴的：

列表初始化不允许缩小范围（§iso.8.5.4）。那是：

< li >一个整数不能转换为另一个不能保存其值的整数。例如，允许char到int，但不允许int到char。 < li >浮点值不能转换为不能保存其值的另一种浮点类型。例如，允许float to double，但不允许double to float。 < li >浮点值不能转换为整数类型。 < li >整数值不能转换为浮点类型。

示例:

void fun(double val, int val2) {

    int x2 = val;    // if val == 7.9, x2 becomes 7 (bad)

    char c2 = val2;  // if val2 == 1025, c2 becomes 1 (bad)

    int x3 {val};    // error: possible truncation (good)

    char c3 {val2};  // error: possible narrowing (good)

    char c4 {24};    // OK: 24 can be represented exactly as a char (good)

    char c5 {264};   // error (assuming 8-bit chars): 264 cannot be 
                     // represented as a char (good)

    int x4 {2.0};    // error: no double to int value conversion (good)

}

只有在使用< code>auto关键字来获取由初始值设定项确定的类型时，才会优先使用=而不是{}。

示例:

auto z1 {99};   // z1 is an int
auto z2 = {99}; // z2 is std::initializer_list<int>
auto z3 = 99;   // z3 is an int

除非有充分的理由，否则最好使用{}初始化。