获取C99可变参数函数的参数类型

时间:2015-12-08 10:30:33

标签: c++ c++11 metaprogramming variadic-templates variadic-functions

请考虑以下代码:

template <class... Args>
struct function_arguments
{
    using tuple = std::tuple<Args...>;
};

template <class>
struct function_traits
: function_arguments<>
{};

template <class R, class... Args>
struct type<R(Args...)>
: function_arguments<Args...>
{};

template <class R, class... Args>
struct type<R(Args... ...)>
: function_arguments<Args...>
{};

以及以下函数声明:

int f(int x, int y, int z);
int g(int x, int y, int z, ...);

没有问题function_traits<decltype(f())>::tuple将返回一个包含所有参数类型的元组。有没有办法为C99可变参数函数做同样的事情(提取Args ... + C99可变参数类型并将所有内容放在一个元组中)?如果是这样,怎么样?c

1 个答案:

答案 0 :(得分:1)

据我了解,您可以为省略号添加标签并执行

struct ellipis_tag {};

template <class R, class... Args>
struct type<R(Args... ...)>
: function_arguments<Args..., ellipis_tag>
{};