Какого типа лямбда-выражения выводятся с помощью «auto» в C ++ 11?

У меня было ощущение, что тип лямбда - это указатель на функцию. Когда я выполнил следующий тест, я обнаружил, что это неправильно ( демо ).

#define LAMBDA [] (int i) -> long { return 0; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok
  assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

Выше кода не хватает какой-либо точки? Если нет, то каково typeofлямбда-выражение при выводе с autoключевым словом?

Тип лямбда-выражения не указан.

Но они, как правило, просто синтаксический сахар для функторов. Лямбда переводится прямо в функтор. Все, что внутри [], превращается в параметры конструктора и члены объекта функтора, а параметры внутри ()превращаются в параметры для функтора operator().

Лямбда, которая не содержит переменных (ничего внутри []), может быть преобразована в указатель на функцию (MSVC2010 не поддерживает это, если это ваш компилятор, но это преобразование является частью стандарта).

Но фактический тип лямбды не является указателем на функцию. Это некоторый неопределенный тип функтора.

Это уникальная безымянная структура, которая перегружает оператор вызова функции. Каждый экземпляр лямбды вводит новый тип.

В особом случае не захвата лямбды, структура дополнительно имеет неявное преобразование в указатель на функцию.

[C++11: 5.1.2/3]: Тип лямбда-выражения (который также является типом объекта замыкания) является уникальным безымянным типом класса без объединения, называемым типом замыкания , свойства которого описаны ниже. Этот тип класса не является совокупным (8.5.1). Тип замыкания объявляется в самой маленькой области блока, области класса или области пространства имен, которая содержит соответствующее лямбда-выражение . [..]

Предложение продолжает перечислять различные свойства этого типа. Вот некоторые основные моменты:

[C++11: 5.1.2/5]:Тип замыкания для лямбда-выражения имеет открытый inlineоператор вызова функции (13.5.4), параметры и тип возвращаемого значения которого описываются с помощью параметра-объявления- выражения лямбда-выражения и трейлинг-возврата-типа соответственно. [..]

[C++11: 5.1.2/6]:Тип замыкания для лямбда-выражения без лямбда-захвата имеет открытую не виртуальную неявную функцию преобразования констант в указатель на функцию, имеющую тот же параметр и возвращаемые типы, что и оператор вызова функции типа замыкания. Значение, возвращаемое этой функцией преобразования, должно быть адресом функции, которая при вызове имеет тот же эффект, что и вызов оператора вызова функции типа замыкания.

Следствием этого последнего отрывка является то, что, если вы использовали преобразование, вы сможете назначить LAMBDAдля pFptr.

#include <iostream>
#include <typeinfo>

#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok

  std::cout<<typeid( *pAuto ).name() << std::endl;
  std::cout<<typeid( *pFptr ).name() << std::endl;

  std::cout<<typeid( pAuto ).name() << std::endl;
  std::cout<<typeid( pFptr ).name() << std::endl;
}

Типы функций действительно одинаковы, но лямбда вводит новый тип (например, функтор).

Следует также отметить, что лямбда-преобразователь является указателем на функцию. Однако typeid <> возвращает нетривиальный объект, который должен отличаться от лямбды до указателя обобщенной функции. Таким образом, тест для typeid <> не является допустимым предположением. В целом C ++ 11 не хочет, чтобы мы беспокоились о спецификации типа, все это имеет значение, если данный тип может быть преобразован в целевой тип.

Практическое решение из Как я могу сохранить объект boost :: bind в качестве члена класса? , попробуйте boost::function<void(int)>или std::function<void(int)>.