有沒有一種方法可以推導lambda的簽名作爲mpl序列？

Question

有沒有辦法推導C++ 0x lambda的簽名，結果和參數類型作爲Boost.MPL序列，例如boost::mpl::vector？例如，對於一個lambda

[](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返回想要的類型。