リストの初期化（中括弧を使用）が他の方法よりも優れているのはなぜですか？

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

どうして？

SOで答えが見つからなかったので、自分の質問に答えましょう。

基本的にBjarne Stroustrupの「The C ++ Programming Language 4th Edition」からコピーして貼り付けます。

リストの初期化では、絞り込みは許可されません（§iso.8.5.4）。あれは：

• 整数を、その値を保持できない別の整数に変換することはできません。たとえば、char to intは許可されていますが、int to charは許可されていません。
• 浮動小数点値は、その値を保持できない別の浮動小数点型に変換できません。たとえば、floatからdoubleは許可されていますが、doubleからfloatは許可されていません。
• 浮動小数点値は整数型に変換できません。
• 整数値は浮動小数点型に変換できません。

例：

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)

}

のみ使用する場合=が好まれる状況は、{}でauto初期化することによって決定タイプを取得するキーワード。

例：

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

結論

特別な理由がない限り、代替手段よりも{}初期化を優先してください。

リストの初期化を使用することの利点についてはすでにすばらしい答えがありますが、私の個人的な経験則では、可能な限り中括弧を使用せず、代わりに概念的な意味に依存させます。

• 作成しているオブジェクトが、コンストラクターで渡す値（コンテナー、POD構造体、アトミック、スマートポインターなど）を概念的に保持している場合は、中かっこを使用しています。
• コンストラクターが通常の関数呼び出しに似ている（引数によってパラメーター化される多少複雑な操作を実行する）場合は、通常の関数呼び出し構文を使用しています。
• デフォルトの初期化では、常に中括弧を使用します。
  その方法の1つとして、オブジェクトが、たとえば、とにかく呼び出されるデフォルトコンストラクターを持つ「実際の」クラスであるか、組み込み/ PODタイプであるかに関係なく、オブジェクトが初期化されることを常に確信しています。2つ目は、デフォルトの初期化オブジェクトが「空の」オブジェクトを表すことが多いため、ほとんどの場合、最初のルールと一致しています。

私の経験では、このルールセットはデフォルトで中括弧を使用するよりもはるかに一貫して適用できますが、例外を使用できない場合、または括弧付きの「通常の」関数呼び出し構文とは異なる意味を持つ場合は、すべての例外を明示的に覚えておく必要があります。 （別のオーバーロードを呼び出します）。

たとえば、次のような標準のライブラリタイプとうまく適合しますstd::vector。

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

ブレースの初期化を使用する多くの理由がありますが、initializer_list<>コンストラクターは他のコンストラクターよりも優先されることに注意してください。例外はdefault-constructorです。これは、型Tコンストラクターが初期化リストまたは単純な古いctorのいずれかである可能性があるコンストラクターおよびテンプレートで問題を引き起こします。

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!!!
}

そのようなクラスに遭遇しないと仮定すると、初期化リストを使用しない理由はほとんどありません。

GoogleがChromiumで行うように-Wno-narrowingで構築しない限り、より安全です。そうした場合、安全性は低下します。ただし、このフラグがなければ、安全でないケースはC ++ 20で修正されるだけです。

注：A）中括弧は狭めることができないため、より安全です。B）中括弧は、プライベートまたは削除されたコンストラクターをバイパスし、明示的にマークされたコンストラクターを暗黙的に呼び出すことができるため、安全性が低くなります。

これらの2つの組み合わせは、内部がプリミティブ定数の場合は安全であることを意味しますが、オブジェクトの場合は安全ではありません（C ++ 20では修正されています）。