Использование auto в лямбда-функции

#include <vector>
#include <algorithm>

void foo( int )
{
}

int main()
{
  std::vector< int > v( { 1,2,3 } );

  std::for_each( v.begin(), v.end(), []( auto it ) { foo( it+5 ); } );
}

При компиляции приведенный выше пример запускает вывод ошибки следующим образом:

h4.cpp: In function 'int main()':
h4.cpp:13:47: error: parameter declared 'auto'
h4.cpp: In lambda function:
h4.cpp:13:59: error: 'it' was not declared in this scope

Означает ли это, что ключевое слово auto не должно использоваться в лямбда-выражениях?

Это работает:

std::for_each( v.begin(), v.end(), []( int it ) { foo( it+5 ); } );

Почему версия с ключевым словом auto не работает?

Ответ 1

auto ключевое слово не работает как тип аргументов функции. Если вы не хотите использовать фактический тип в лямбда-функциях, вы можете использовать код ниже.

 for_each(begin(v), end(v), [](decltype(*begin(v)) it ){
       foo( it + 5);         
 });

Ответ 2

Это было кратко обсуждено Хербом Саттером во время интервью. Ваше требование для аргументов auto на самом деле не отличается от требования, чтобы любая функция была декларируемой с помощью auto, например:

auto add(auto a, auto b) -> decltype(a + b) { return a + b; }

Однако обратите внимание, что это вообще не функция, а скорее функция шаблона, сродни:

template <typename S, typename T>
auto add(S a, T b) -> decltype(a + b) { return a + b; }

Итак, вы, по сути, просите объект превратить любую функцию в шаблон, изменив ее аргументы. Поскольку шаблоны - это совсем другой тип сущности в системе типов С++ (подумайте обо всех специальных правилах для шаблонов, таких как двухфазный поиск и вывод), это будет радикальное изменение дизайна с непредвиденными последствиями, что, безусловно, t скоро будет в стандарте.

Ответ 3

С++ 14 позволяет объявлять параметры лямбда-функции (Generic lambda function) с помощью авто.

auto multiply = [](auto a, auto b) {return a*b;};

Подробнее: http://en.cppreference.com/w/cpp/language/lambda

Ответ 4

Тип лямбда должен быть известен до того, как компилятор может даже создать экземпляр std::for_each. С другой стороны, даже если бы это было теоретически возможно, что auto можно было бы вывести только после того, как for_each был создан, увидев, как вызван функтор.

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

for (int it : v) { 
   foo(it + 5); 
}

Это также должно хорошо сочетаться с auto (и auto& и const auto&).

for (auto it : v) { 
   foo(it + 5); 
}