Std :: pair içindeki başlatıcı listesi

Bu kod:

#include <iostream>
#include <string>

std::pair<std::initializer_list<std::string>, int> groups{ { "A", "B" }, 0 };

int main()
{
    for (const auto& i : groups.first)
    {
        std::cout << i << '\n';
    }
    return 0;
}

derler ancak segfault döndürür. Neden?

Gcc 8.3.0 ve çevrimiçi derleyiciler üzerinde test edilmiştir.

std::initializer_listdepolanması değil, sadece ... iyi başlatılması içindir. Dahili olarak sadece ilk öğeye ve boyuta bir işaretçi saklar. Kodunuzda std::stringnesneler geçicidir ve initializer_listikisi de sahiplenmez, ikisi de yaşamlarını uzatmaz, ikisi de kopyalamaz (çünkü bir kap değil), bu yüzden yaratımdan hemen sonra kapsam dışına çıkarlar, ancak initializer_listhala onlara bir işaretçi tutarlar. Bu yüzden segmentasyon hatası alıyorsunuz.

Depolama için std::vectorveya gibi bir kap kullanmalısınız std::array.

Sadece biraz daha ayrıntı eklerdim. Altta yatan bir dizi, std::initializer_listgeçici olarak benzer şekilde davranır. Aşağıdaki sınıfı düşünün:

struct X
{
   X(int i) { std::cerr << "ctor\n"; }
   ~X() { std::cerr << "dtor\n"; }
};

ve aşağıdaki kodda kullanımı:

std::pair<const X&, int> p(1, 2);
std::cerr << "barrier\n";

Çıktı

ctor
dtor
barrier

çünkü ilk satırda geçici bir tür örneği Xoluşturulur (yapıcıyı dönüştürerek 1) ve yok eder. Saklanan referans pdaha sonra sarkar.

Gelince std::initializer_list, bu şekilde kullanırsanız:

{
   std::initializer_list<X> l { 1, 2 };
   std::cerr << "barrier\n";
}

ardından, altta yatan (geçici) dizi, lçıkışlar olduğu sürece mevcuttur . Bu nedenle, çıktı:

ctor
ctor
barrier
dtor
dtor

Ancak,

std::pair<std::initializer_list<X>, int> l { {1}, 2 };
std::cerr << "barrier\n";

Çıktı yine

ctor
dtor
barrier

çünkü temel (geçici) dizi sadece ilk satırda bulunur. İmlecin öğelerinin kaydının silinmesi, ltanımlanmamış davranışla sonuçlanır.

Canlı demo burada .