Рекурсивный вызов в лямбда (C ++ 11) [дубликат]

На этот вопрос уже есть ответы здесь :

Закрыто 6 лет назад .

Возможный дубликат:
Рекурсивные лямбда-функции в C ++ 0x

Почему я не могу вызвать лямбда-выражение рекурсивно, если я пишу его как:

auto a = [&]
{ 
   static int i = 0; i++;
   std::cout << i << std::endl; 
   if (i<10) 
     a(); //recursive call
};

Выдает ошибку компиляции ( ideone ):

prog.cpp:8:18: error: '((const main()::*)this)->main()::::a' cannot be used as a function

prog.cpp: In function 'int main()':
prog.cpp:9:9: error: variable 'auto a' with 'auto' type used in its own initializer

Что означает ошибка?

Я понимаю причину, по которой я не могу написать это:

auto i=i+1; //error: unable to deduce 'auto' from ''

Мы не можем написать это, потому что тип i должен быть выведен из его инициализации, что означает, что тип не может быть определен, если сам i появляется в инициализации ( ideone ). Но какое это имеет значение в случае лямбды? Если я не ошибаюсь, тип лямбда определяется его параметром (ами) и типом возвращаемого значения; он не зависит от тела, если он ничего не возвращает (в этом случае тип возвращаемого значения определяется как void , независимо от других операторов в лямбда-теле).

В любом случае, у меня есть обходной путь, и я могу использовать std :: function вместо:

std::function a = [&] 
{ 
   static int i = 0; i++;
   std::cout << i << std::endl; 
   if (i<10) 
      a();
};

, который скомпилирует штрафы ( ideone ). Но мне все еще интересно узнать причину, по которой версия auto не компилируется.

задан Community 23 May 2017 в 12:25

0 ответов

Другие вопросы по тегам:

c++ lambda c++11 type-inference auto

Рекурсивный вызов в лямбда (C ++ 11) [дубликат]

0 ответов

Похожие вопросы: