C ++ではローカル関数を使用できません。ただし、C ++ 11にはラムダがあります。ラムダは基本的に関数のように機能する変数です。
ラムダにはタイプがありますstd::function（実際にはそうではありませんが、ほとんどの場合はそうです）。このタイプを使用するには、以下を行う必要があり#include <functional>ます。std::functionはテンプレートで、構文を使用して、戻り値の型と引数の型をテンプレート引数として受け取りますstd::function<ReturnType(ArgumentTypes)。例えば、std::function<int(std::string, float)>ラムダ戻っているintと二つの引数、1服用std::stringして1を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;
}
名前を指定して、特定の変数をキャプチャすることもできます。それらの名前を指定するだけで値によってそれらをキャプチャし、&beforeでそれらの名前を指定すると参照によってそれらをキャプチャします。たとえば、[=, &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;
}