lambda式を引数として受け取る関数の自作はできますか？

Question

algorithmライブラリのsortのようなものを自作してみたいと思い、いろいろやってます。
できるだけ凡庸化したかったのでtemplateを使ってみました。
そして、比較関数も外部から受け取ることができればもっと便利だと思い、引数でlambda式受け取りたいというわけです。
関数ポインタで受け取れるのかと思いきや、無理のようですし、webで検索してもなかなか見つかりませんでした。
どうやるとできるのか教えてください。
お願いします。

Answer 1

こんにちは。

既にベストアンサーが出てますが、少し補足させて下さい。
ラムダ式は関数オブジェクト（ファンクタ）の一種です。
関数オブジェクトはoperator()（関数呼び出し形式で呼び出せる関数）が定義された普通のクラスです。

ということは、テンプレートでラムダ式を受け取るには、単にクラス・インタンスを受け取れれば良いだけです。

template<class tClass>
void foo(tClass iInstance);

そのクラス・インスタンスのoperator()を呼び出すには単純に()を付けるだけです。iInstance();
もちろん、引数は定義側と呼び出し側で一致させる必要が有ります。普通の関数と同じです。

以下、極簡単な実装例です。

//https://teratail.com/questions/37610

#include<iostream>

// ラムダ式などを受け取る関数の定義
template<class tFunctor>
void foo(tFunctor iFunctor)
{
    iFunctor(123);
}

// 関数オブジェクト（ファンクタ）
class Functor
{
public:
    void operator()(int x)
    {
        std::cout << x*2 << std::endl;
    }
};

// 普通の関数
void Function(int x)
{
    std::cout << x*3 << std::endl;
}

int main()
{
    foo([](int x){std::cout << x << std::endl;});

    foo(Functor());

    foo(Function);
    foo(&Function);     // どちらでもOK。何故だろう？

    return 0;
}

// 実行結果
123
246
369
369

msvc 2015とMinGW 5.2.0(gcc)にて動作確認してます。

Answer 2

ラムダ式の型は実装依存となってしまいますが、decltypeで型を取得することで、テンプレート引数に渡すことができます。

また、std::functionを使う方法もあります（詳細）。関数そのもの・関数オブジェクト・ラムダ式など、「ある引数を与えて、何かを返すもの」をまとめてハンドリングできます（実行時にディスパッティングするオーバーヘッドがありますが）。

Comments

[wake_up_kemeko]

ありがとうございます！
リンク先もわかりやすかったです(*^-^*)