1

我正在尝试初始化与 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 指针并且想要将其用作 Setup 的第一个参数，并且我想将序列中的位置用作第二个参数）。

因此，对于大小为 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.

提前致谢。

4

1 回答 1

4

好的，我想通了。我需要使用一个结构：

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);
    };
};
于 2009-07-16T13:15:56.393 回答