ทำไมการเริ่มต้นรายการ (โดยใช้เครื่องหมายปีกกาแบบโค้ง) ดีกว่าตัวเลือกอื่น ๆ

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 ถึง int แต่ไม่อนุญาตให้ใช้ถ่าน
• ค่าจุดลอยตัวไม่สามารถแปลงเป็นชนิดจุดลอยตัวอื่นที่ไม่สามารถเก็บค่าได้ ตัวอย่างเช่นอนุญาตให้ใช้ float เพื่อ double แต่ไม่อนุญาตให้ double ลอย
• ค่า floating-point ไม่สามารถแปลงเป็นชนิดจำนวนเต็มได้
• ค่าจำนวนเต็มไม่สามารถแปลงเป็นชนิดทศนิยมได้

ตัวอย่าง:

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 structs อะตอมมิกพอยน์สมาร์ทพอยน์เตอร์ ฯลฯ ) จากนั้นฉันก็ใช้เหล็กดัดฟัน
• หากคอนสตรัคคล้ายกับการเรียกใช้ฟังก์ชั่นปกติ (มันทำการดำเนินการที่ซับซ้อนมากขึ้นหรือน้อยลงที่ parametrized โดยข้อโต้แย้ง) จากนั้นฉันใช้ไวยากรณ์การเรียกฟังก์ชั่นปกติ
• สำหรับการเริ่มต้นฉันมักจะใช้เครื่องมือจัดฟันเป็นลอน
  สำหรับวิธีนี้ฉันมั่นใจเสมอว่าวัตถุนั้นได้รับการเริ่มต้นโดยไม่คำนึงว่ามันเป็นคลาส "ของจริง" ที่มีคอนสตรัคเตอร์เริ่มต้นที่จะได้รับการเรียกว่าต่อไปหรือชนิด builtin / POD ประการที่สองคือ - ในกรณีส่วนใหญ่ - สอดคล้องกับกฎข้อแรกเป็นวัตถุเริ่มต้นเริ่มต้นมักจะหมายถึงวัตถุ "ว่าง"

จากประสบการณ์ของฉันชุดกฎนี้สามารถใช้งานได้อย่างต่อเนื่องมากกว่าการใช้วงเล็บปีกกาโดยปริยาย แต่ต้องจำข้อยกเว้นทั้งหมดอย่างชัดเจนเมื่อไม่สามารถใช้หรือมีความหมายแตกต่างจากไวยากรณ์การเรียกฟังก์ชัน "ปกติ" พร้อมวงเล็บ (เรียกโอเวอร์โหลดที่แตกต่างกัน)

มันเหมาะอย่างยิ่งกับประเภทห้องสมุดมาตรฐานเช่น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<>สร้างต้องการให้ตัวสร้างอื่น ๆยกเว้นว่าเป็นตัวสร้างเริ่มต้น สิ่งนี้นำไปสู่ปัญหากับตัวสร้างและแม่แบบที่ตัว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!!!
}

สมมติว่าคุณไม่พบคลาสดังกล่าวมีเหตุผลเพียงเล็กน้อยที่จะไม่ใช้รายการ intializer

ปลอดภัยกว่าตราบใดที่คุณไม่สร้างด้วย - ไม่ จำกัด ขอบเขตอย่างที่ Google พูดใน Chromium หากคุณทำเช่นนั้นจะปลอดภัยน้อยกว่า หากไม่มีการตั้งค่าสถานะนั้นกรณีที่ไม่ปลอดภัยเท่านั้นที่จะได้รับการแก้ไขภายใน C ++ 20

หมายเหตุ: A) วงเล็บปีกกานั้นปลอดภัยกว่าเพราะไม่อนุญาตให้แคบลง B) เครื่องหมายวงเล็บปีกกามีความปลอดภัยน้อยกว่าเพราะสามารถเลี่ยงผ่านตัวสร้างแบบส่วนตัวหรือแบบลบได้และเรียกสิ่งก่อสร้างที่ทำเครื่องหมายไว้อย่างชัดเจนโดยปริยาย

ทั้งสองรวมกันหมายความว่าพวกเขาปลอดภัยถ้าสิ่งที่อยู่ภายในเป็นค่าคงที่ดั้งเดิม แต่ปลอดภัยน้อยกว่าถ้าพวกเขาเป็นวัตถุ (แม้ว่าแก้ไขใน C ++ 20)