Nie możesz mieć funkcji lokalnych w C ++. Jednak C ++ 11 ma lambdas . Lambda to zasadniczo zmienne, które działają jak funkcje.
Lambda ma typ std::function( właściwie to nie do końca prawda , ale w większości przypadków można przypuszczać, że tak). Aby użyć tego typu, musisz #include <functional>. std::functionjest szablonem, przyjmującym jako argument szablonu typ zwracany i typy argumentów ze składnią std::function<ReturnType(ArgumentTypes). Na przykład, std::function<int(std::string, float)>lambda zwraca inti przyjmuje dwa argumenty, jeden std::stringi jeden float. Najczęstszym jest ten std::function<void()>, który nic nie zwraca i nie przyjmuje argumentów.
Po zadeklarowaniu lambda jest ona wywoływana tak jak normalna funkcja, przy użyciu składni lambda(arguments).
Aby zdefiniować lambda, użyj składni [captures](arguments){code}(są na to inne sposoby, ale nie wspomnę o nich tutaj). argumentsto argumenty, które przyjmuje lambda, i codeto kod, który powinien być uruchamiany, gdy lambda jest wywoływana. Zwykle wkładasz [=]lub [&]jako przechwytywanie. [=]oznacza, że przechwytujesz wszystkie zmienne w zakresie, w którym wartość jest zdefiniowana przez wartość, co oznacza, że zachowają wartość, którą mieli, kiedy zadeklarowano lambda. [&]oznacza, że przechwytujesz wszystkie zmienne w zakresie przez odniesienie, co oznacza, że zawsze będą miały swoją bieżącą wartość, ale jeśli zostaną usunięte z pamięci, program się zawiesi. Oto kilka przykładów:
#include <functional>
#include <iostream>
int main(){
int x = 1;
std::function<void()> lambda1 = [=](){
std::cout << x << std::endl;
};
std::function<void()> lambda2 = [&](){
std::cout << x << std::endl;
};
x = 2;
lambda1(); //Prints 1 since that was the value of x when it was captured and x was captured by value with [=]
lambda2(); //Prints 2 since that's the current value of x and x was captured by value with [&]
std::function<void()> lambda3 = [](){}, lambda4 = [](){}; //I prefer to initialize these since calling an uninitialized lambda is undefined behavior.
//[](){} is the empty lambda.
{
int y = 3; //y will be deleted from the memory at the end of this scope
lambda3 = [=](){
std::cout << y << endl;
};
lambda4 = [&](){
std::cout << y << endl;
};
}
lambda3(); //Prints 3, since that's the value y had when it was captured
lambda4(); //Causes the program to crash, since y was captured by reference and y doesn't exist anymore.
//This is a bit like if you had a pointer to y which now points nowhere because y has been deleted from the memory.
//This is why you should be careful when capturing by reference.
return 0;
}
Możesz także uchwycić określone zmienne, podając ich nazwy. Wystarczy podać ich nazwę, aby uchwycić je według wartości, a określenie ich za pomocą &wcześniej spowoduje przechwycenie ich przez odniesienie. Na przykład [=, &foo]przechwyci wszystkie zmienne według wartości, z wyjątkiem tych, fooktóre zostaną przechwycone przez odniesienie, i [&, foo]przechwyci wszystkie zmienne przez odniesienie, z wyjątkiem tych, fooktóre zostaną przechwycone przez wartość. Możesz także przechwytywać tylko określone zmienne, na przykład [&foo]przechwytuje się fooprzez odniesienie i nie przechwytuje żadnych innych zmiennych. Za pomocą można także przechwytywać żadnych zmiennych []. Jeśli spróbujesz użyć zmiennej w lambdzie, której nie przechwyciłeś, nie zostanie skompilowana. Oto przykład:
#include <functional>
int main(){
int x = 4, y = 5;
std::function<void(int)> myLambda = [y](int z){
int xSquare = x * x; //Compiler error because x wasn't captured
int ySquare = y * y; //OK because y was captured
int zSquare = z * z; //OK because z is an argument of the lambda
};
return 0;
}
Nie można zmienić wartości zmiennej, która została przechwycona przez wartość wewnątrz lambda (zmienne przechwycone przez wartość mają consttyp wewnątrz lambda). Aby to zrobić, musisz uchwycić zmienną przez odniesienie. Oto przykład:
#include <functional>
int main(){
int x = 3, y = 5;
std::function<void()> myLambda = [x, &y](){
x = 2; //Compiler error because x is captured by value and so it's of type const int inside the lambda
y = 2; //OK because y is captured by reference
};
x = 2; //This is of course OK because we're not inside the lambda
return 0;
}
Ponadto wywoływanie niezainicjowanych lambd jest nieokreślonym zachowaniem i zwykle powoduje awarię programu. Na przykład nigdy nie rób tego:
std::function<void()> lambda;
lambda(); //Undefined behavior because lambda is uninitialized
Przykłady
Oto kod tego, co chcesz zrobić w swoim pytaniu za pomocą lambdas:
#include <functional> //Don't forget this, otherwise you won't be able to use the std::function type
int main(){
std::function<void()> a = [](){
// code
}
a();
return 0;
}
Oto bardziej zaawansowany przykład lambda:
#include <functional> //For std::function
#include <iostream> //For std::cout
int main(){
int x = 4;
std::function<float(int)> divideByX = [x](int y){
return (float)y / (float)x; //x is a captured variable, y is an argument
}
std::cout << divideByX(3) << std::endl; //Prints 0.75
return 0;
}