Я люблю auto в С++ 11. Это замечательно. Но у него есть одно несоответствие, которое действительно действует мне на нервы, потому что я все время спотыкаюсь об него:
int i = 3; // i is an int with value 3
int i = int{3}; // i is an int with value 3
int i(3); // i is an int with value 3 (possibly narrowing, not in this case)
int i{3}; // i is an int with value 3
auto i = 3; // i is an int with value 3
auto i = int{3}; // i is an int with value 3
auto i(3); // i is an int with value 3
auto i{3}; // wtf, i is a std::initializer_list<int>?!
Это странное поведение сбивает с толку новичков и раздражает опытных пользователей — в C++ достаточно мелких несоответствий и краеугольных случаев, которые нужно всегда иметь в виду. Кто-нибудь может объяснить, почему комитет по стандартам решил ввести новый в данном случае?
Я мог бы понять это, если бы объявление переменной типа std::initializer_list было чем-то полезным или делалось часто, но по моему опыту это почти никогда не делается преднамеренно — и в тех редких случаях, когда вы действительно хотели это сделать, любой из
std::initializer_list<int> l{3};
auto l = std::initializer_list<int>{3};
auto l = {3}; // No need to specify the type
будет работать нормально. Так в чем причина особого случая для auto x{i}?
