Bilakah Pendakap Luar Diperlukan dalam Senarai Pemula C untuk Agregat?

Kekeliruan mengenai Meninggalkan Pendakap Luar dalam Senarai Pemula untuk Agregat dan Struktur POD

Dalam bidang pengaturcaraan C, persoalan biasa timbul mengenai penggunaan pendakap dalam senarai pemula. Khususnya, pengaturcara mungkin menghadapi senario di mana pendakap luar kelihatan diperlukan untuk jenis agregat tertentu tetapi tidak untuk yang lain. Artikel ini bertujuan untuk mendalami topik dan memberikan penjelasan tentang masa pendakap luar boleh ditinggalkan.

Isunya

Apabila menyusun kod berikut dalam Visual C 2010, mesej ralat dijana:

struct A
{
    int foo;
    double bar;
};

std::array<A, 2> a1 = 
  // error C2078: too many initializers
  {
    {0, 0.1},
    {2, 3.4}
  };

// OK
std::array<double, 2> a2 = {0.1, 2.3};

Ralat menunjukkan bahawa terdapat terlalu banyak pemula untuk a1, mencadangkan bahawa pendakap tambahan diperlukan. Walau bagaimanapun, meninggalkan pendakap luar untuk a2 tidak mengakibatkan ralat. Percanggahan ini menimbulkan persoalan mengapa pendakap luar diperlukan untuk a1 tetapi tidak untuk a2.

Penjelasan

Kunci untuk memahami sebab di sebalik perbezaan ini terletak pada sifat std::array. std::array dikelaskan sebagai agregat dan Jenis Data Lama Biasa (POD), manakala bekas perpustakaan standard lain tidak. Tidak seperti bekas dengan pembina yang ditentukan pengguna, std::array tidak mempunyai satu. Ahli data pertamanya ialah tatasusunan saiz N, dinyatakan sebagai hujah templat. Ahli data ini dimulakan secara langsung menggunakan senarai pemula. Pendakap tambahan diperlukan kerana ia melampirkan tatasusunan dalaman yang sedang dimulakan.

Untuk menggambarkan konsep ini dengan lebih lanjut, pertimbangkan Aarray jenis agregat tersuai, yang ditakrifkan seperti berikut:

// Custom aggregate with no user-defined constructor
struct Aarray
{
   A data[2];  // An internal array
};

Memulakan ini struktur memerlukan penggunaan pendakap untuk menandakan permulaan dan penghujung tatasusunan dalaman dimulakan:

Aarray a1 =
{
  {  // Begins initialization of the internal array

        { // Initializes the first element of the internal array

           0, 0.1

        }, // Ends initialization of the first element

       {2, 3.4}  // Initializes the second element of the internal array

  } // Ends initialization of the internal array
};

// ERROR: Too many initializers if not using braces
Aarray b1 =
{
   0, 0.1,
   2, 3.4
};

Kes Double

Dalam kes std::array, keadaan berbeza kerana double bukan jenis agregat. Sebaliknya, std::array dianggap sebagai agregat primitif. Kod berikut adalah sah tanpa pendakap luar kerana nilai primitif dimulakan secara langsung dalam agregat:

std::array<double, 2> a2 = {0.1, 2.3};

Penjelasan tentang Penggunaan Brace

Piawaian C menyediakan garis panduan mengenai penggunaan pendakap dalam senarai pemula. Bahagian §8.5.1/11 spesifikasi C 11 menyatakan bahawa jika senarai pemula dimulakan dengan pendakap kiri, maka setiap senarai klausa pemula yang dipisahkan koma berikutnya akan memulakan ahli subagregat. Sebaliknya, jika senarai pemula untuk subagregat tidak bermula dengan pendakap kiri, maka hanya klausa pemula yang mencukupi akan diambil untuk memulakan ahli subagregat, dengan mana-mana klausa pemula yang tinggal memulakan ahli agregat seterusnya.

Kesimpulan

Penggunaan pendakap luar dalam senarai pemula adalah penting untuk agregat dan struktur POD, seperti std::array, kerana jenis ini tidak mempunyai pembina yang ditentukan pengguna dan tatasusunan dalaman dimulakan secara langsung. Untuk jenis primitif, sebaliknya, pendakap luar boleh ditinggalkan kerana nilai primitif dimulakan secara langsung dalam agregat. Dengan memahami perbezaan antara kes ini, pengaturcara boleh memastikan pengamulaan yang betul dan mengelakkan ralat pengkompil.

Atas ialah kandungan terperinci Bilakah Pendakap Luar Diperlukan dalam Senarai Pemula C untuk Agregat?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!