Obciążenie rekurencyjnych lambdas

Question

Czy rekurencyjne funkcje lambda indukują jakiekolwiek obciążenie w porównaniu do zwykłych funkcji rekursywnych (skoro musimy je przechwycić w funkcję std ::)?
Jaka jest różnica między tą funkcją a podobną przy użyciu tylko zwykłych funkcji?

int main(int argc, const char *argv[]) 
{ 
    std::function<void (int)> helloworld = [&helloworld](int count) { 
     std::cout << "Hello world" << std::endl; 
     if (count > 1) helloworld(--count); 
    }; 
    helloworld(2); 
    return 0; 
} 

Answer 1

Istnieje narzut za pomocą lambdy rekurencyjnie poprzez przechowywanie go jako std::function, chociaż są one w zasadzie się funktory. Wygląda na to, że gcc nie jest w stanie zoptymalizować dobrze, co można zaobserwować w bezpośrednim comparison.

Wdrażanie zachowania lambda, czyli tworzenie funktora, umożliwia ponowną optymalizację gcc. Twój Konkretnym przykładem lambda mogą być realizowane jako

struct HelloWorldFunctor 
{ 
    void operator()(int count) const 
    { 
     std::cout << "Hello world" << std::endl; 
     if (count > 1) 
     { 
     this->operator()(count - 1); 
     } 
    } 
}; 
int main() 
{ 
    HelloWorldFunctor functor; 
    functor(2); 
} 

Dla przykładu stworzyłem funktor będzie wyglądać w tym second demo.

Nawet jeśli ktoś wprowadza połączenia do nieczystych funkcji, takich jak std::rand, wydajność bez rekurencyjne lambda lub z niestandardowym funktora jest jeszcze lepiej. Oto third demo.

Wniosek: przy użyciu numeru std::function jest on narzutowy, choć może być pomijalny w zależności od przypadku użycia. Ponieważ to użycie zapobiega optymalizacji niektórych kompilatorów, nie należy tego używać w znacznym stopniu.

Answer 2

lambda w C++ są równoważne funktorów więc byłoby tym samym, że wywołanie operatora() pewnej klasie utworzonego automatycznie przez kompilator. Podczas przechwytywania środowiska, co dzieje się za kulisami, przechwycone zmienne są przekazywane do konstruktora klasy i przechowywane jako zmienne składowe.

Krótko mówiąc, różnica w wydajności powinna być bardzo bliska zeru.

Tu jest jakaś dalsze wyjaśnienie: „Jak lambda Zamknięcia Wdrożone”

Skocz do sekcji http://www.cprogramming.com/c++11/c++11-lambda-closures.html

EDIT:

Po kilku badań i dzięki Stefan odpowiedź i kod, okazało się, że nie ma nad głową na rekurencyjnych lambdas powodu idiomu std :: funkcyjnego. Ponieważ lambda musi być zawijana na funkcji std :: w celu wywoływania samej siebie, wymaga ona wywołania funkcji wirtualnej, która powoduje, żedodaje obciążenie.

Przedmiotem traktuje się na komentarzach tej odpowiedzi: https://stackoverflow.com/a/14591727/1112142

Answer 3

Tak więc std::function jest realizowany polimorficznie. Znaczenie kodu jest mniej więcej odpowiednikiem:

struct B 
{ 
    virtual void do(int count) = 0; 
}; 

struct D 
{ 
    B* b; 
    virtual void do(int count) 
    { 
     if (count > 1) 
      b->do(count--); 
    } 
}; 

int main() 
{ 
    D d; 
    d.b = &d; 
    d.do(10); 
} 

Rzadko zdarza się mieć wystarczająco szczelne rekursji tak, że wirtualna metoda wyszukiwania jest znaczna nad głową, ale w zależności od obszaru zastosowania na pewno jest to możliwe.