遍历 function_traits 个参数

Question

我正在尝试做一些 "template metaprogramming" 的事情来使向 python 公开 c++ 函数更容易一些。我想做的是采用现有函数并生成一个字符串，其中包含有关其 return 类型和参数的信息（类型信息也可以）。

我正在使用基于（窃取自）this wordpress article 的函数特征 class，但我不想对前几个参数进行硬代码访问，而是希望遍历所有这些参数。

我想我需要制作一个模板函数，它采用 size_t 值作为参数索引（因为它必须是常量），但这就是我有点迷路的地方。

我写了一些代码，但我无法让它在最基本的情况下工作（更不用说我所追求的通用情况了。）

// The stolen function_traits struct...thing
template<typename T>
struct function_traits;

template<typename R, typename ...Args>
struct function_traits<std::function<R(Args...)>>
{
    static const size_t nargs = sizeof...(Args);

    using result_type = R;

    template <size_t i>
    struct arg
    {
        using type = typename std::tuple_element<i, std::tuple<Args...>>::type;
    };
};

// The function of interest
int foo(float x) {
    return int(x);
}

// Recurse until one argument is left, appending the type name
// to the referenced string being passed in
template<size_t argIdx, typename R, typename ... Args>
void getArgTypes(std::string& ref) 
{
    using fun = function_traits<std::function<R(Args...)> >;
    if (argIdx == 1)
        ref.append(typeid(fun::arg<0>).name()).append("\n");
    else {
        ref.append(typeid(fun::arg<argIdx-1>).name()).append("\n");
        getArgTypes<argIdx - 1, R, Args...>(ref);
    }
}

// My test of the template function
void test() {
    std::string f = "";

    // What I'd like to do
    using fun = function_traits<std::function<decltype(foo)> >;
    getArgTypes<fun::nargs, fun::result_type, ? ? ? >;

    // But I can't even do this!
    getArgTypes<1, float, int>(f);
}

在第一种情况下，我在调用 getArgTypes 时使用我的 function_traits 结构，我不知道将什么指定为 ... Args 模板参数。在第二种情况下，MSVC 抛出错误：

Error   C1202   recursive type or function dependency context too complex

我对这个元编程/可变参数模板完全陌生，如果这是一个愚蠢的问题，我深表歉意。如果有一个不那么迂回的解决方案，我也会感兴趣。

感谢阅读！

Answer 1

if (argIdx == 1) 不能是运行时条件。它必须更改为带有 std::enable_if 的编译时间。这就是错误的来源：编译器试图无休止地（递归地，没有停止条件）实例化 getArgType 函数模板。
所有 dependent type names 必须用 typename 关键字声明，那些引用模板的必须用 template 关键字声明，例如typename fun::template arg<0> 代替 fun::arg<0>.
fun::arg<0> 本身是一个具有嵌套 type 定义的结构。要访问它，请使用 typename fun::template arg<0>::type 语法。
function_traits::arg<N>::type 的扩展可以用完成，特别是 typename F::template arg<Is>::type....

#include <string>
#include <typeinfo>
#include <functional>
#include <utility>
#include <cstddef>

template <size_t argIdx, typename R, typename... Args>
auto getArgTypes(std::string& ref) 
    -> typename std::enable_if<argIdx == 1>::type
{
    using fun = function_traits<std::function<R(Args...)> >;
    ref.append(typeid(typename fun::template arg<0>::type).name()).append(" ");
}

template <size_t argIdx, typename R, typename... Args>
auto getArgTypes(std::string& ref) 
    -> typename std::enable_if<argIdx != 1>::type
{
    using fun = function_traits<std::function<R(Args...)> >;
    ref.append(typeid(typename fun::template arg<argIdx-1>::type).name()).append(" ");
    getArgTypes<argIdx - 1, R, Args...>(ref);
}

template <typename F, std::size_t... Is>
void test2(std::index_sequence<Is...>)
{
    std::string s;
    getArgTypes<F::nargs, typename F::result_type, typename F::template arg<Is>::type...>(s);

    std::cout << s;
}

void test()
{
    using F = function_traits<std::function<decltype(foo)>>;
    test2<F>(std::make_index_sequence<F::nargs>{});
}

DEMO

非常基本的 index_sequence 实现如下：

template <std::size_t...> struct index_sequence {};
template <std::size_t N, std::size_t... Is> struct make_index_sequence : make_index_sequence<N-1, N-1, Is...> {};
template <std::size_t... Is> struct make_index_sequence<0, Is...> : index_sequence<Is...> {};

遍历 function_traits 个参数

Iterating through function_traits arguments

c++

templates

template-meta-programming

c++11