Ви не можете мати локальні функції в C ++. Однак C ++ 11 має лямбда . Лямбди - це в основному змінні, які працюють як функції.
Лямбда має тип std::function( насправді це не зовсім вірно , але в більшості випадків ви можете припустити, що це так). Щоб використовувати цей тип, вам потрібно #include <functional>. std::functionє шаблоном, беручи за аргумент шаблону тип повернення та типи аргументів із синтаксисом std::function<ReturnType(ArgumentTypes). Наприклад, std::function<int(std::string, float)>це лямбда, що повертається intі приймає два аргументи, один std::stringі один float. Найпоширеніший з них - це те std::function<void()>, що нічого не повертає і не приймає аргументів.
Після оголошення лямбда він називається так само, як і звичайна функція, використовуючи синтаксис lambda(arguments).
Щоб визначити лямбда, використовуйте синтаксис [captures](arguments){code}(є й інші способи цього зробити, але я їх тут не згадую). arguments- це які аргументи бере лямбда, і codeце код, який слід запускати, коли лямбда викликається. Зазвичай ви ставите [=]або [&]як захоплюєте. [=]означає, що ви захоплюєте всі змінні в тій області, в якій значення визначається значенням, а значить, вони зберігатимуть значення, яке вони мали при оголошенні лямбда. [&]означає, що ви захоплюєте всі змінні в області за посиланням, це означає, що вони завжди матимуть своє поточне значення, але якщо їх стерти з пам'яті, програма вийде з ладу. Ось кілька прикладів:
#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;
}
Ви також можете захоплювати конкретні змінні, вказуючи їх імена. Щойно вказавши їх ім'я, вони захоплять їх за значенням, вказавши їх ім'я разом із значком " &попередній", зафіксувавши їх за посиланням. Наприклад, [=, &foo]буде fooохоплено всі змінні за значенням, за винятком того, що будуть захоплені посиланням, і [&, foo]буде охоплювати всі змінні за посиланням, за винятком того, fooщо будуть захоплені за значенням. Ви також можете захоплювати лише конкретні змінні, наприклад [&foo], фіксуватимете fooза посиланням і не буде охоплювати жодних інших змінних. Також ви можете взагалі не захоплювати змінних, використовуючи []. Якщо ви спробуєте використати змінну в лямбда, яку ви не захопили, вона не складеться. Ось приклад:
#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;
}
Ви не можете змінити значення змінної, яка була захоплена значенням всередині лямбда (змінні, захоплені значенням, мають constтип всередині лямбда). Для цього вам потрібно захопити змінну за посиланням. Ось іспит:
#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;
}
Крім того, виклик неініціалізованих лямбдаз - це невизначена поведінка і зазвичай призведе до збою програми. Наприклад, ніколи цього не роби:
std::function<void()> lambda;
lambda(); //Undefined behavior because lambda is uninitialized
Приклади
Ось код того, що ви хотіли зробити у своєму запитанні за допомогою лямбда:
#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;
}
Ось більш досконалий приклад лямбда:
#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;
}