Question

我正在尝试初始化与fusion :: invoke一起使用的args列表。 args都是以下形式：

template <typename Type>
struct ArgWrapper
{
    inline ArgWrapper(){}
    inline void Setup(lua_State*L,int idx)
    {
        //setup this value from the lua state...
        //in reality this class is specialised for different lua types
    }
    operator Type(){return value;}
    Type value;
};

所以我可以做，例如

int add(int a,int b){return a+b;}
fusion::vector<ArgsWrapper<int>,ArgsWrapper<int> > v;
fusion::at_c<0>(v).value=1;
fusion::at_c<1>(v).value=2;
std::cout<<fusion::invoke(add,v)//prints 3

但是如果我有一个FusionListType类型的融合序列，我知道序列中的每个类型都是某种类型的ArgWrapper，我怎么能遍历该列表并在每个元素上调用Setup函数（我只有一个lua_State）指针，并希望将它用作安装程序的第一个参数，我想使用序列中的位置作为第二个参数）。

因此，对于大小为3的向量，我希望得到的逻辑为：

lua_State*L;
fusion::at_c<0>.Setup(L,1);
fusion::at_c<1>.Setup(L,2);
fusion::at_c<2>.Setup(L,3);

我试过了：

template<typename ArgWrapperType,int N>
void FillArgWrapper(ArgWrapperType arg,lua_State*L)
{
    fusion::at_c<N>(arg).Setup(L,N+1);
}
template<typename ArgWrapperType>
void FillArgWrapper<ArgWrapperType,0>(ArgWrapperType arg,lua_State*L)
{
    fusion::at_c<0>(arg).Setup(L,1);
}

但这无法编译，说function template partial specialisation ‘FillArgWrapper<ArgWrapperType, 0>’ is not allowed。

提前致谢。

Answer 1

好的，我明白了。我需要使用结构：

template <typename ArgWrapperList,u32 N=mpl::size<ArgWrapperList>::value-1>
struct ArgWrapperListFiller
{
    static inline void Setup(ArgWrapperList &args,lua_State*L)
    {
        fusion::at_c<N>(args).Setup(L,N+1);
        ArgWrapperListFiller<ArgWrapperList,N-1>::Setup(args,L);
    }
};
template <typename ArgWrapperList> //base case, do not recurse
struct ArgWrapperListFiller<ArgWrapperList,0>
{
    static inline void Fill(ArgWrapperList &args,lua_State*L)
    {
        fusion::at_c<0>(args).Setup(L,1);
    };
};

如何迭代boost :: fusion序列？

1 个答案: