c ++ 0x: właściwy sposób otrzymania lambdy jako parametru przez referencję

Jaki jest właściwy sposób definiowania funkcji, która otrzymuje int->intparametr lambda przez odniesienie?

void f(std::function< int(int) >& lambda);

lub

void f(auto& lambda);

Nie jestem pewien, czy ostatnia forma jest nawet legalną składnią.

Czy istnieją inne sposoby definiowania parametru lambda?

Nie możesz mieć autoparametru. Zasadniczo masz dwie opcje:

Opcja nr 1: Użyj, std::functionjak pokazano.

Opcja nr 2: użyj parametru szablonu:

template<typename F>
void f(F &lambda) { /* ... */}

Opcja nr 2 może w niektórych przypadkach być bardziej wydajna, ponieważ pozwala uniknąć potencjalnej alokacji sterty dla osadzonego obiektu funkcji lambda, ale jest możliwa tylko wtedy, gdy fmożna ją umieścić w nagłówku jako funkcję szablonu. Może również wydłużyć czas kompilacji i zwiększyć rozmiar pamięci podręcznej I-cache, podobnie jak każdy szablon. Zauważ, że może to również nie mieć żadnego efektu, ponieważ jeśli obiekt funkcji lambda jest wystarczająco mały, może być reprezentowany w std::functionobiekcie.

Użyłbym templatejako:

template<typename Functor>
void f(Functor functor)
{
   cout << functor(10) << endl;
}

int g(int x)
{
    return x * x;
}
int main() 
{
    auto lambda = [] (int x) { cout << x * 50 << endl; return x * 100; };
    f(lambda); //pass lambda
    f(g);      //pass function 
}

Wynik:

500
1000
100

Demo: http://www.ideone.com/EayVq

Wiem, że minęło 7 lat, ale oto sposób, o którym nikt inny nie wspomniał:

void foo(void (*f)(int)){
    std::cout<<"foo"<<std::endl;
    f(1); // calls lambda which takes an int and returns void
}
int main(){
    foo([](int a){std::cout<<"lambda "<<a<<std::endl;});
}

Które wyjścia:

foo
lambda 1

Nie potrzeba szablonów ani funkcji std ::

void f(auto& lambda);

To blisko. Właściwie skompiluje się:

#include <cassert>

/*constexpr optional*/ const auto f = [](auto &&lambda)
{
  lambda();
  lambda();
};

int main()
{
  int counter = 0;
  f([&]{ ++counter; });
  assert(counter == 2);
}