Определения функций C++ 11 с ключевым словом auto

Question

Мне интересно узнать об использовании ключевого слова auto в C++ 11.

для определения функции, вы должны написать возвращаемый тип функции:

auto f (int x) -> int { return x + 3; }; //success 
auto f (int x) { return x + 3; }; //fail 

, но в этом примере оба они будут работать:

auto f = [](int x) { return x + 3; }; //expect a failure but it works 
auto f = [](int x) -> int { return x + 3; }; // this is expected code 

спасибо.

Answer 1

В C++ 11 выражение лямбда может опускать свой возвращаемый тип, если он может выводить точный без двусмысленности. Однако это правило не применяется к регулярной функции.

int f() { return 0; } // a legal C++ function 

auto f() -> int { return 0; } // a legal C++ function only in C++11 

auto f() { return 0; } // an illegal C++ function even if in C++11 

Answer 2

1. Если вам необходимо указать тип возвращаемого после «->» (как в C + 11) - то, что это точка, чтобы иметь «авто» в объявлении функции? Это как бы сказать: «Эта функция может что-то вернуть, но на самом деле это только этот тип». Э-э?

2. Тогда, если вам не требуется указывать тип возвращаемого значения после «->» (как в C++ 14): представьте, что у вас нет исходного кода функции, но объектный файл и заголовок. Откуда вы знаете, что возвращает функция (тип возврата)?

До сих пор кажется, что «auto» в объявлении функции является еще одним способом записи нечитаемого кода. Как будто в C++ уже недостаточно способов сделать это.

Внутри тела функции «авто» является приятным «синтаксическим сахаром».

Или я что-то упускаю?