mpl 시퀀스로 람다의 서명을 추론 할 수있는 방법이 있습니까?

Question

C++ 0x lambda의 서명, 결과 및 매개 변수 유형을 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 설명 된대로 원하는 유형을 반환하는 여러 함수를 오버로드 할 수 있습니다.