Dlaczego zachowanie inicjalizatora listy C++ dla std :: vector i std :: array jest inne?

Question

Kod:

std::vector<int> x{1,2,3,4}; 
std::array<int, 4> y{{1,2,3,4}}; 

Dlaczego muszę podwójnych nawiasów klamrowych dla std :: tablicy?

Answer 1

std::array<T, N> jest agregatem: nie ma żadnych konstruktorów zadeklarowanych przez użytkownika, ani jednego, który pobiera std::initializer_list. Inicjalizacji za pomocą szelek odbywa się za pomocą łączną inicjalizacji, funkcja C++, który został odziedziczony z C

w „starym stylu” kruszywa inicjalizacji używa =:

std::array<int, 4> y = { { 1, 2, 3, 4 } }; 

Z tym starym stylu kruszywo inicjalizacji, dodatkowe szelki mogą być pomijana, więc jest to równoznaczne z:

std::array<int, 4> y = { 1, 2, 3, 4 }; 

jednak te dodatkowe szelki mogą być pomijana tylko „w deklaracji formularza T x = { a }; "(C++ 11 §8.5.1/11), to znaczy, gdy używany jest stary styl =. Ta reguła umożliwiająca eliminację klamr nie ma zastosowania do bezpośredniej inicjalizacji list. Przypis w tym miejscu brzmi: "Szelki nie mogą zostać usunięte z innych sposobów inicjowania listy".

Istnieje raport o usterce dotyczący tego ograniczenia: CWG defect #1270. Jeśli proponowana uchwała zostanie przyjęta, klamra elizja zostaną dopuszczone do innych form liście inicjalizacji, oraz dodaje się będzie dobrze uformowane: (. Cynk kapelusza do Ville Voutilainen za znalezienie raport awaryjności)

std::array<int, 4> y{ 1, 2, 3, 4 }; 

Answer 2

Ponieważ std::vector oferuje konstruktora, że ​​trwa w std::initializer_list<T>, natomiast std::array ma konstruktorów i usztywnione startowe lista {1, 2, 3, 4} w rzeczywistości nie jest interpretowany jako std::initializer_list, ale łączna inicjalizacji do wewnętrznej tablicy C-styl std::array (to gdzie drugi zestaw nawiasów pochodzi z: Jeden dla std::array, jeden dla th e wewnętrzna tablica członków w stylu C).