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는 람다 내부 에 유형이 있음). 그렇게하려면 참조로 변수를 캡처해야합니다. 다음은 exampmle입니다.
#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;
}