最終更新：2026-10-12

C++20 Lambda 式（前編）¶

C++20 における lambda テンプレート¶

C++14 は汎用ラムダ式をサポートしており、ラムダは任意の型の引数を受け取れます。例えば：

auto func = [](auto a, auto b) {
    return a + b;
};

これは次のように展開されます：

struct Func {
    template <typename T1, typename T2>
    auto operator()(T1 a, T2 b) const {
        return a + b;
    }
};

しかし、次のような展開形は実現できません：

1つ目：同じ型

template <class T>
auto operator()(T t1, T t2) const;

2つ目：std::array だけ

template <class T, std::size_t N>
auto operator()(std::array<T, N> const &) const;

3つ目：推論なし

template <class T>
auto operator()() const;

C++14 のラムダは優れていますが、C++20 はこれらのケースを簡単に実現できるようにします。C++20 ではラムダ式の定義内でテンプレート型パラメータを使えます。基本構文は以下の通りです：

[]<typename T>(){}

以下、いくつかの例でその利点を説明します。

次のような例で、C++14 では以下のコードを書けますが、使用時に渡されるものが vector とは限らず、期待される動作と不一致になり、エラーが発生する可能性があります。

auto print = [](auto vec) {
  for (auto x : vec) {
    std::cout << x << std::endl;
  }
};

C++20 以降、その型を制限できます：

auto print2 = []<typename T>(std::vector<T>& vec){
    //使用 std::vector<T> 执行操作
};

さて問題です。面接問題を出しましょう：C++14 で vector に制限するには、どうすれば安全を保証できるか知っていますか？

C++20 では完全転送を非常に簡単に使えます。例えば：

auto lambdaFunc = []<typename T>(T&& number) {
  processFunction(std::forward<T>(number));
};

さて問題です。C++14 と比べてどんな利点がありますか？あるいは、C++14 で完全転送を実現するには何が必要でしょうか？

本節終わり