ラムダのシグネチャをmplシーケンスとして推論する方法はありますか？

Question

C++ 0xラムダのシグニチャ、結果およびパラメータタイプをBoost.MPLシーケンスとして推測する方法はありますか？たとえば、boost::mpl::vector？例えば、ラムダ

[](float a, int b) -> void { std::cout << a << b << std::endl; } 

のために私はboost::mpl::vector<void,float,int>を取得したいと思います。

Answer 1

「クロージャオブジェクト」であるC++ 0x lambdasは、ファンクタです。したがって、boost.Boost.FunctionTypesを使用してoperator()を分解することができます。

例：

#include <boost/function_types/parameter_types.hpp> 

#include <boost/mpl/at.hpp> 
#include <boost/mpl/int.hpp> 

int main() 
{ 
    int x = 1; 
    auto f = [x](char a, short b, int c){ return x; }; 

    typedef decltype(f) lambda_t; 
    typedef boost::function_types::parameter_types< 
     decltype(&lambda_t::operator())>::type args_t; 
    // we can use boost::mpl::identity<decltype(f)>::type instead of lambda_t 

    static_assert(sizeof(boost::mpl::at<args_t, boost::mpl::int_<1>>::type) == 1, ""); 
} 

Answer 2

あなたはin this answer to a similar questionを説明するように、希望のタイプを返すために、いくつかの関数をオーバーロードすることができます。