我尝试使用元编程递归调用函数 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);
}
输出:
item value: 1, N-1: 2, value: 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);
在循环中。
最佳答案
没有递归。递归就是调用自己。 set
您代码中的函数不会执行此操作。
你的 value
声明 确实递归(即 GEN<N>::value
是根据 GEN<N -1>::value
定义的)——但以一种非常无趣的方式,它只是传播基本情况值 0——而且你似乎没有无论如何都要使用这个值。
/EDIT:这是一个非常简单的例子来解决你在评论中提出的问题,即实现
的效果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)
调用此代码它将具有所需的语义。
关于c++ - 元编程模板递归不递归(编辑重要),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4673883/