Який тип лямбда виводиться з "авто" в 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]:Тип закриття для лямбда-виразу без відсутності лямбда-захоплення має публічну невіртуальну не явну функцію перетворення const в покажчик на функцію, що має той самий параметр і типи повернення, що і оператор виклику функцій типу закриття. Значення, повернене цією функцією перетворення, є адресою функції, яка при виклику справляє той же ефект, що і виклик оператора виклику функцій типу закриття.

Наслідком цього остаточного уривку є те, що якби ви використали конверсію, ви зможете призначити 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)>.