initializer_list с авто содержит несколько выражений - программирование
Подтвердить что ты не робот

initializer_list с авто содержит несколько выражений

Довольно простой вопрос,

auto x11 {1,2,3,4};
auto x1 = {1,2,3,4};
auto x22 {1.0, 2.25, 3.5};
auto x2 = {1.0, 2.25, 3.5};

Насколько я понимаю, здесь не должно быть никакой разницы в отношении наличия = или нет. Однако, используя llvm/clang 6.0.0 (с --std = C++ 17), я получаю:

main1.cpp:35:17: error: initializer for variable 'x11' with type 'auto' contains multiple
  expressions
auto x11 {1,2,3,4};
~~~~~~~~    ^

main1.cpp:37:20: error: initializer for variable 'x22' with type 'auto' contains multiple
  expressions
auto x22 {1.0, 2.25, 3.5};

Из книги Stroustroup C++, стр.162:

auto x1 {1,2,3,4}; // x1 is an initializer_list<int>
auto x2 {1.0, 2.25, 3.5 }; // x2 is an initializer_list of<double>

Итак, действительно ли проблема в отсутствии = там?

4b9b3361

Ответ 1

Правило вывода автоматического типа изменилось с С++ 17.

(поскольку С++ 17)
При инициализации с прямым списком (но не в инициализации списка копий) при выводе значения auto из списка с привязкой к init-init-list-list должен содержать только один элемент, а тип auto будет быть типом этого элемента:

auto x1 = {3}; // x1 is std::initializer_list<int>
auto x2{1, 2}; // error: not a single element
auto x3{3};    // x3 is int
               // (before C++17 x2 and x3 were both std::initializer_list<int>)

Поэтому перед С++ 17 все переменные в вашем примере работают нормально и имеют тип std::initializer_list<int>. Но так как С++ 17 для прямой инициализации (т. x11 Для x11 и x22), бит-инициализатор должен содержать только один элемент (и их тип будет типом элемента), а затем станет плохо сформированным кодом.

Подробнее см. N3922 и N3681.