元编程模板递归不递归（编辑重要）

Question

我尝试使用元编程递归调用函数 void set (...)。
问题是它似乎只调用一次。

template <int N>
struct GEN
{
    enum {value = GEN<N-1>::value};
    template <typename T> 
    static inline void set(T& tup, int l_item) 
    { 
        cout<<"item value: "<<l_item<<", N-1: "<< N-1 << ",  value: "<<value <<endl;
        typedef typename boost::tuples::element<N-1, T>::type _el_type;
        get<N-1>(tup) = atomic_item<N-1, _el_type>(l_item); 
    };
};

template<>
struct GEN<0>
{
    enum {value = 0};
    template <typename T> 
    static inline void set(T& tup, int l_item) 
    {
        typedef typename boost::tuples::element<0, T>::type _el_type;
        get<0>(tup) = atomic_item<0, _el_type>(l_item); 
    };
};

main(){
....
/** this is how i try to invoke it */
GEN<3>::set(w,1);
}

输出：

项目值：1，N-1：2，值：0

函数仅被调用一次...

编辑

有没有办法用 for_each 或其他任何东西进行循环以获得类似的东西：

for_each<range_c<int,0,3> f{operator()(T i)GEN<typename T::value>::set(w,1)}>

或者类似的东西来实现所有这些元素的调用？

我特别想要这个：

GEN<3>::set(w,1);
GEN<2>::set(w,1);
GEN<1>::set(w,1);

In循环。

Answer 1

没有递归。递归意味着调用自己。代码中的 set 函数不会执行此操作。

您的 value 声明确实递归（即 GEN::value 是根据 GEN定义的： :value) – 但以一种非常无趣的方式，它只是传播基本情况值 0 – 而且你似乎并没有使用这个值。

/编辑：这是一个非常简单的示例来解决您在评论中提出的观点，即实现

GEN<3>::set(w,1);
GEN<2>::set(w,1);
GEN<1>::set(w,1);

实际上非常简单的效果：

template <unsigned N>
struct GEN {
    template <typename T>
    static void set(T& w, int value) {
        // Do something, e.g.:
        get<N - 1>(w) = value;
        // Recurse:
        GEN<N - 1>::set(w, value);
    }
};

template <>
struct GEN<0> {
    template <typename T>
    static void set(T&, int) { /* empty */ }
};

现在您可以通过 GEN<3>::set(w, 1) 并且它将具有所需的语义。

Answer 2

自从您的代码编译并运行以来，元编程模板显然确实递归了。

您是否期望递归调用 set 函数？您调用的函数 GEN<3>::set 不会调用任何其他类的 set 函数，因此不存在运行时递归。只有编译时递归来实例化模板。但编译时递归不会在运行时生成输出。