#include <iostream>
#include <tuple>
#include <typeinfo>
template <typename T>
struct function_traits;
template <typename T_Ret, typename ...T_Args>
struct function_traits<T_Ret(T_Args...)> {
// Number of arguments.
enum { arity = sizeof...(T_Args) };
// Argument types.
template <size_t i>
struct args {
using type
= typename std::tuple_element<i, std::tuple<T_Args...>>::type;
};
};
int main() {
using Arg0 = function_traits<int(float)>::args<0>::type;
//using Arg1 = function_traits<int(float)>::args<1>::type; // Error, should be void.
std::cout << typeid(Arg0).name() << std::endl;
//std::cout << typeid(Arg1).name() << std::endl;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dHVwbGU+CiNpbmNsdWRlIDx0eXBlaW5mbz4KCnRlbXBsYXRlIDx0eXBlbmFtZSBUPgpzdHJ1Y3QgZnVuY3Rpb25fdHJhaXRzOwoKdGVtcGxhdGUgPHR5cGVuYW1lIFRfUmV0LCB0eXBlbmFtZSAuLi5UX0FyZ3M+CnN0cnVjdCBmdW5jdGlvbl90cmFpdHM8VF9SZXQoVF9BcmdzLi4uKT4gewoJLy8gTnVtYmVyIG9mIGFyZ3VtZW50cy4KCWVudW0geyBhcml0eSA9IHNpemVvZi4uLihUX0FyZ3MpIH07CgkvLyBBcmd1bWVudCB0eXBlcy4KCXRlbXBsYXRlIDxzaXplX3QgaT4KCXN0cnVjdCBhcmdzIHsKCQl1c2luZyB0eXBlCgkJCT0gdHlwZW5hbWUgc3RkOjp0dXBsZV9lbGVtZW50PGksIHN0ZDo6dHVwbGU8VF9BcmdzLi4uPj46OnR5cGU7Cgl9Owp9OwoKaW50IG1haW4oKSB7Cgl1c2luZyBBcmcwID0gZnVuY3Rpb25fdHJhaXRzPGludChmbG9hdCk+OjphcmdzPDA+Ojp0eXBlOwoJLy91c2luZyBBcmcxID0gZnVuY3Rpb25fdHJhaXRzPGludChmbG9hdCk+OjphcmdzPDE+Ojp0eXBlOyAvLyBFcnJvciwgc2hvdWxkIGJlIHZvaWQuCgkKCXN0ZDo6Y291dCA8PCB0eXBlaWQoQXJnMCkubmFtZSgpIDw8IHN0ZDo6ZW5kbDsKCS8vc3RkOjpjb3V0IDw8IHR5cGVpZChBcmcxKS5uYW1lKCkgPDwgc3RkOjplbmRsOwp9Cg==