なぜラムダ式なのか?
次のステートメントを検討してください。
intmyInt= 52;ここで、myIntは識別子、左辺値です。 52はリテラル、prvalueです。現在、関数を特別にコーディングして52の位置に配置することができます。このような関数はラムダ式と呼ばれます。次の短いプログラムも検討してください。
#含む
を使用して 名前空間時間;
intfn((int使って)。
{{
int答え=使って+ 3;
戻る答え;
}
int主要(()。
{{
fn((5)。;
戻る 0;
}
現在、関数を特別にコーディングして、関数呼び出しfn(5)の引数5の位置に配置することができます。このような関数はラムダ式と呼ばれます。その位置のラムダ式(関数)はprvalueです。
文字列リテラル以外のリテラルはすべてprvalueです。ラムダ式は、コード内のリテラルとして適合する特殊関数の設計です。これは匿名(名前のない)関数です。この記事では、ラムダ式と呼ばれる新しいC ++プライマリ式について説明します。この記事を理解するには、C ++の基本的な知識が必要です。
記事の内容
ラムダ式のイラスト
次のプログラムでは、ラムダ式である関数が変数に割り当てられています。
#含む
を使用して 名前空間時間;
自動fn= []((intストップ)。
{{
int答え=ストップ+ 3;
戻る答え;
};
int主要(()。
{{
自動variab=fn((2)。;
費用 <<variab<< 'NS';
戻る 0;
}
出力は次のとおりです。
5main()関数の外に、変数fnがあります。そのタイプは自動です。この状況での自動とは、intやfloatなどの実際の型が、代入演算子(=)の右オペランドによって決定されることを意味します。代入演算子の右側にはラムダ式があります。ラムダ式は、先行する戻り型のない関数です。角括弧[]の使用法と位置に注意してください。この関数は、fnの型を決定するintである5を返します。
main()関数には、次のステートメントがあります。
自動variab=fn((2)。;つまり、main()の外側のfnは、最終的に関数の識別子になります。その暗黙のパラメーターは、ラムダ式のパラメーターです。 variabのタイプはautoです。
クラスまたは構造体の定義と同様に、ラムダ式はセミコロンで終わることに注意してください。
次のプログラムでは、5の値を返すラムダ式である関数は、別の関数への引数です。
#含むを使用して 名前空間時間;
空所otherfn((intno1、int ((*ptr)。((int)。)。
{{
intno2= ((*ptr)。((2)。;
費用 <<no1<< '' <<no2<< 'NS';
}
int主要(()。
{{
otherfn((4、[]((intストップ)。
{{
int答え=ストップ+ 3;
戻る答え;
})。;
戻る 0;
}
出力は次のとおりです。
フォーファイブここには、ラムダ式とotherfn()関数の2つの関数があります。ラムダ式は、main()で呼び出されるotherfn()の2番目の引数です。ラムダ関数(式)は、ここでは引数(スタンドアロン関数ではない)であるため、この呼び出しではセミコロンで終わらないことに注意してください。
otherfn()関数の定義にあるラムダ関数パラメーターは、関数へのポインターです。ポインタの名前はptrです。名前ptrは、ラムダ関数を呼び出すためにotherfn()定義で使用されます。
声明、
intno2= ((*ptr)。((2)。;otherfn()定義では、引数2を指定してラムダ関数を呼び出します。ラムダ関数からの呼び出しの戻り値 '(* ptr)(2)'はno2に割り当てられます。
上記のプログラムは、ラムダ関数をC ++コールバック関数スキームで使用する方法も示しています。
ラムダ式の一部
典型的なラムダ関数の部分は次のとおりです。
[] (()。 {{}- []はキャプチャ句です。それはアイテムを持つことができます。
- ()はパラメータリストです。
- {}は関数本体用です。関数がスタンドアロンの場合は、セミコロンで終了する必要があります。
キャプチャ
ラムダ関数の定義は、変数に割り当てることも、別の関数呼び出しの引数として使用することもできます。このような関数呼び出しの定義には、ラムダ関数の定義に対応する関数へのポインターがパラメーターとして含まれている必要があります。
ラムダ関数の定義は、通常の関数の定義とは異なります。グローバルスコープ内の変数に割り当てることができます。この変数に割り当てられた関数は、別の関数内にコーディングすることもできます。グローバルスコープ変数に割り当てられると、その本体はグローバルスコープ内の他の変数を見ることができます。通常の関数定義内の変数に割り当てられた場合、その本体は、キャプチャ句のヘルプ[]を使用した場合にのみ、関数スコープ内の他の変数を表示できます。
ラムダイントロデューサーとも呼ばれるキャプチャ句[]を使用すると、変数を周囲の(関数)スコープからラムダ式の関数本体に送信できます。ラムダ式の関数本体は、オブジェクトを受け取ったときに変数をキャプチャすると言われています。キャプチャ句[]がないと、変数を周囲のスコープからラムダ式の関数本体に送信できません。次のプログラムは、main()関数スコープを周囲のスコープとして使用してこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5;
自動fn= [id](()。
{{
費用 <<id<< 'NS';
};
fn(()。;
戻る 0;
}
出力は 5 。 []内に名前idがないと、ラムダ式はmain()関数スコープの変数idを認識できませんでした。
参照によるキャプチャ
上記のcapture句の使用例は、値によるキャプチャです(以下の詳細を参照)。参照によるキャプチャでは、周囲のスコープの変数(上記のidなど)の場所(ストレージ)がラムダ関数本体内で使用可能になります。したがって、ラムダ関数本体内の変数の値を変更すると、周囲のスコープ内の同じ変数の値が変更されます。これを実現するために、capture句で繰り返される各変数の前には、アンパサンド(&)が付きます。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に';
自動fn= [&id、&フィート、&ch](()。
{{
id= 6;フィート= 3.43.4;ch= 'NS';
};
fn(()。;
費用 <<id<< '、' <<フィート<< '、' <<ch<< 'NS';
戻る 0;
}
出力は次のとおりです。
6、3.4、Bラムダ式の関数本体内の変数名が、ラムダ式外の同じ変数のものであることを確認します。
価値によるキャプチャ
値によるキャプチャでは、周囲のスコープの変数の場所のコピーがラムダ関数本体内で利用可能になります。ラムダ関数本体内の変数はコピーですが、現時点では本体内でその値を変更することはできません。値によるキャプチャを実現するために、capture句で繰り返される各変数の前には何もありません。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に';
自動fn= [id、ft、ch](()。
{{
// id = 6; ft = 3.4; ch = 'B';
費用 <<id<< '、' <<フィート<< '、' <<ch<< 'NS';
};
fn(()。;
id= 6;フィート= 3.43.4;ch= 'NS';
費用 <<id<< '、' <<フィート<< '、' <<ch<< 'NS';
戻る 0;
}
出力は次のとおりです。
5、2.3、A6、3.4、B
コメントインジケータが削除されると、プログラムはコンパイルされません。コンパイラは、ラムダ式の関数本体の定義内の変数を変更できないというエラーメッセージを発行します。上記のプログラムの出力が示すように、変数はラムダ関数内で変更することはできませんが、ラムダ関数外で変更することはできます。
キャプチャの混合
次のプログラムが示すように、参照によるキャプチャと値によるキャプチャを混在させることができます。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に'; ブールbl= NS;
自動fn= [id、ft、&ch、&bl](()。
{{
ch= 'NS';bl= NS;
費用 <<id<< '、' <<フィート<< '、' <<ch<< '、' <<bl<< 'NS';
};
fn(()。;
戻る 0;
}
出力は次のとおりです。
5、2.3、B、0すべてキャプチャされた場合、参照によるものです。
キャプチャされるすべての変数が参照によってキャプチャされる場合、キャプチャ句では1つの&で十分です。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に'; ブールbl= NS;
自動fn= [&](()。
{{
id= 6;フィート= 3.43.4;ch= 'NS';bl= NS;
};
fn(()。;
費用 <<id<< '、' <<フィート<< '、' <<ch<< '、' <<bl<< 'NS';
戻る 0;
}
出力は次のとおりです。
6、3.4、B、0次のプログラムが示すように、一部の変数が参照によってキャプチャされ、他の変数が値によってキャプチャされる場合、1つの&はすべての参照を表し、残りの変数の前には何も表示されません。
を使用して 名前空間時間;int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に'; ブールbl= NS;
自動fn= [&、id、ft](()。
{{
ch= 'NS';bl= NS;
費用 <<id<< '、' <<フィート<< '、' <<ch<< '、' <<bl<< 'NS';
};
fn(()。;
戻る 0;
}
出力は次のとおりです。
5、2.3、B、0&だけ(つまり、&の後に識別子がない)は、キャプチャ句の最初の文字である必要があることに注意してください。
すべてキャプチャされた場合、値によるものです。
キャプチャするすべての変数を値でキャプチャする場合は、キャプチャ句で1つの=で十分です。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に'; ブールbl= NS;
自動fn= [=](()。
{{
費用 <<id<< '、' <<フィート<< '、' <<ch<< '、' <<bl<< 'NS';
};
fn(()。;
戻る 0;
}
出力は次のとおりです。
5、2.3、A、1ノート :=現時点では、読み取り専用です。
次のプログラムが示すように、一部の変数が値によってキャプチャされ、他の変数が参照によってキャプチャされる場合、1つの=はすべての読み取り専用のコピーされた変数を表し、残りはそれぞれ&を持ちます。
#含むを使用して 名前空間時間;
int主要(()。
{{
intid= 5; 浮くフィート= 2.3; charch= 'に'; ブールbl= NS;
自動fn= [=、&ch、&bl](()。
{{
ch= 'NS';bl= NS;
費用 <<id<< '、' <<フィート<< '、' <<ch<< '、' <<bl<< 'NS';
};
fn(()。;
戻る 0;
}
出力は次のとおりです。
5、2.3、B、0=のみが、capture句の最初の文字である必要があることに注意してください。
ラムダ式を使用した古典的なコールバック関数スキーム
次のプログラムは、ラムダ式を使用して従来のコールバック関数スキームを実行する方法を示しています。
#含むを使用して 名前空間時間;
char *出力;
自動cba= []((charアウト[])。
{{
出力=アウト;
};
空所mainFunc((char入力[]、空所 ((*にとって)。((char[])。)。
{{
((*にとって)。((入力)。;
費用<<「主な機能のために」<<'NS';
}
空所fn(()。
{{
費用<<'今'<<'NS';
}
int主要(()。
{{
char入力[] = 'コールバック関数用';
mainFunc((入力、cba)。;
fn(()。;
費用<<出力<<'NS';
戻る 0;
}
出力は次のとおりです。
主な機能のために今
コールバック関数用
ラムダ式の定義がグローバルスコープ内の変数に割り当てられている場合、その関数本体は、capture句を使用せずにグローバル変数を表示できることを思い出してください。
トレーリングリターンタイプ
ラムダ式の戻り型はautoです。つまり、コンパイラーは戻り式(存在する場合)から戻り型を決定します。プログラマーが本当に戻り型を示したい場合は、次のプログラムのようにそれを行います。
#含むを使用して 名前空間時間;
自動fn= []((intストップ)。 ->> int
{{
int答え=ストップ+ 3;
戻る答え;
};
int主要(()。
{{
自動variab=fn((2)。;
費用 <<variab<< 'NS';
戻る 0;
}
出力は5です。パラメーターリストの後に、矢印演算子を入力します。この後に戻り型(この場合はint)が続きます。
閉鎖
次のコードセグメントについて考えてみます。
構造体クラ{{
intid= 5;
charch= 'に';
}obj1、obj2;
ここで、Claは構造体クラスの名前です。 Obj1とobj2は、structクラスからインスタンス化される2つのオブジェクトです。ラムダ式は実装が似ています。ラムダ関数の定義は一種のクラスです。ラムダ関数が呼び出される(呼び出される)と、オブジェクトはその定義からインスタンス化されます。このオブジェクトはクロージャと呼ばれます。ラムダが期待する作業を行うのはクロージャです。
ただし、上記の構造体のようにラムダ式をコーディングすると、obj1とobj2が対応するパラメーターの引数に置き換えられます。次のプログラムはこれを示しています。
#含むを使用して 名前空間時間;
自動fn= []((intparam1、intparam2)。
{{
int答え=param1+param2;
戻る答え;
} ((2、3)。;
int主要(()。
{{
自動どこ=fn;
費用 <<どこ<< 'NS';
戻る 0;
}
出力は5です。引数は括弧内の2と3です。ラムダ関数の定義の最後に引数が既にコーディングされているため、ラムダ式の関数呼び出しfnは引数をとらないことに注意してください。
結論
ラムダ式は無名関数です。クラスとオブジェクトの2つの部分に分かれています。その定義は一種のクラスです。式が呼び出されると、定義からオブジェクトが形成されます。このオブジェクトはクロージャと呼ばれます。ラムダが期待する作業を行うのはクロージャです。
ラムダ式が外部関数スコープから変数を受け取るには、関数本体に空でないキャプチャ句が必要です。