powrót i auto wywieść std :: initializer_list

Question

W poniższym:

auto x = {0}; // auto deduction of std::initializer_list<int> 
auto y = []() -> std::initializer_list<int> { return {0}; }(); //explicit 
auto z = []() { return {0}; }(); // won't compile 

dlaczego nie jest możliwe, aby powrócić i auto wywnioskować typ std :: initializer_list?

Answer 1

Cóż, ponieważ Standard tak mówi, a także dlatego, żeusztywniona lista inicjująca nie jest wyrażeniem. Zgodnie z pkt 5.1.2/4 C++ 11 Standard:

[...] Jeśli lambda wyrażenie nie obejmuje tylną zwrotny typu, to tak jakby wzdłużny zwrotny typu oznacza typu:

- jeśli związek instrukcja_select ma postać

{atrybut specyfikator-nast (opcjonalnie)returnekspresji; }

typu zwróconej ekspresji po lwartość do RValue konwersji (4,1) Tablica do wskaźnika konwersji (4,2), a konwersja funkcji do wskaźnika (4.3);

- w przeciwnym razie, void.

Powyższe wyjaśnia, że ​​zwracany typ będzie wywnioskować, że nic innego następnie void wtedy i tylko wtedy, gdy oświadczenie return następuje przez ekspresji oraz usztywnione-init-listy nie jest samo w sobie wyrażenie - nie ma typu i nie daje wartości. Jest to tylko konstrukcja językowa, która może być użyta w kontekście inicjalizacji.

Powyższy ust stanowi również przykład:

[Przykład:

auto x1 = [](int i){ return i; }; // OK: return type is int 
auto x2 = []{ return { 1, 2 }; }; // error: the return type is void (a 
            // braced-init-list is not an expression) 

- przykład koniec]

Na koniec, jeśli chodzi o to:

"Dlaczego specjalny przepis został wprowadzony do wydedukowania type auto zmiennej inicjowane z usztywnione-init-listy, podczas gdy podobna zasada była nie wprowadzona do wyciągania typ zwracanej lambda gdy return następuje wzmocniona lista początkowa? "

To pytanie nie jest konstruktywne.Również zauważyć, że typ odliczenie szablonów nie działa z usztywnione inicjalizacji listach albo:

template<typename T> 
void foo(T); 

foo({1, 2}); // ERROR! T is NOT deduced to be std::initializer_list<int>