Use Boost para obtener los tipos de arity y paramerter de la función de miembro. (boost :: function_traits)

Question

Funciona muy bien, para funciones simples de vanilla. El siguiente código funciona bien. Imprime sólo lo es debería:

int __cdecl(int, char) 
2 
int,char 

---

#include <boost/type_traits.hpp> 
#include <boost/function.hpp> 
#include <boost/typeof/std/utility.hpp> 

#include <iostream> 

using std::cout; 
using std::endl; 

int foo(int, char) { 
return 0; 
} 
int main() { 
    typedef BOOST_TYPEOF(foo) foo_type;; 
    typedef boost::function_traits<foo_type> function_traits; 

    cout << typeid(foo_type).name() << endl; 
    cout << function_traits::arity << endl; 
    cout << typeid(function_traits::arg1_type).name() << ","; 
    cout << typeid(function_traits::arg2_type).name() << endl; 

    return 0; 
} 

Por lo tanto, la pregunta es, ¿cómo se puede hacer esto si foo es una función miembro de la barra de clase?

struct bar { 
    int foo(int, char) { return 0; } 
}; 

me han tratado innumerables combinaciones de estas construcciones: BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP() BOOST_TYPEOF_REGISTER_TYPE() :: impulso impulso ref :: remove_pointer impulso impulso :: bind :: mem_fn

etc, etc ... No se alegría.

Answer 1

Boost Function Types probablemente sería la solución natural:

#include <boost/function_types/function_type.hpp> 
#include <boost/function_types/parameter_types.hpp> 
#include <boost/function_types/function_arity.hpp> 
#include <boost/typeof/std/utility.hpp> 
#include <iostream> 

struct bar { 
    int foo(int, char) { return 0; } 
}; 

int main() { 

    typedef BOOST_TYPEOF(&bar::foo) foo_type; 

    std::cout << typeid(foo_type).name() << std::endl; 
    std::cout << boost::function_types::function_arity<foo_type>::value << std::endl; 
    std::cout << typeid(boost::mpl::at_c<boost::function_types::parameter_types<foo_type>,1>::type).name() << ","; 
    std::cout << typeid(boost::mpl::at_c<boost::function_types::parameter_types<foo_type>,2>::type).name() << ","; 

    return 0; 
} 

Answer 2

Kornel Kisielewicz clavó. Aquí está con la solución separada de los mensajes de prueba.

#include <boost/function_types/function_type.hpp> 
#include <boost/function_types/parameter_types.hpp> 
#include <boost/function_types/function_arity.hpp> 
#include <boost/typeof/std/utility.hpp> 
#include <iostream> 

struct bar { 
    int foo(int, char) { return 0; } 
}; 

int main() { 

    typedef BOOST_TYPEOF(&bar::foo) 
     foo_type; 
    int arity = boost::function_types::function_arity<foo_type>::value; 
    typedef boost::mpl::at_c<boost::function_types::parameter_types<foo_type>,1>::type 
     arg1; 
    typedef boost::mpl::at_c<boost::function_types::parameter_types<foo_type>,2>::type 
     arg2; 

    std::cout << typeid(foo_type).name() << std::endl; 
    std::cout << arity << std::endl; 
    std::cout << typeid(arg1).name() << ","; 
    std::cout << typeid(arg2).name() << std::endl; 
    return 0; 
}