实现拉链功能答案

【问题标题】：Implementing zipper functionality实现拉链功能
【发布时间】：2012-08-04 09:36:18
【问题描述】：

这是我的代码（我什至不确定它是否正确）：

template<typename... list> struct typeList;

template<typename, typename> struct zipper;
template<typename...L, typename...R> struct zipper<typeList<L...>, typeList<R...>>
{
    typedef std::tuple<std::pair<L,R>...> tuplez;
    static_assert(sizeof...(L)==sizeof...(R), "Mismatch number of Args...");

    static void print()
    {
    std::cout<<"The types are: "<<std::endl;
    for(int i=0; i<std::tuple_size<tuplez>::value ; ++i)
    std::cout<< "first : "<< typeid(typename std::tuple_element<i, tuplez>::type::first_type).name()<<
        "second : "<<typeid(typename std::tuple_element<i, tuplez>::type::second_type).name() <<std::endl;
    }
};

首先，我很惊讶我的 zipper 实现怎么这么小（我肯定是有什么问题）。如果我的实现是错误的，请让我知道为什么它是错误的，而不是给我解决方案。

此外，如果我运行此代码 (zipper<typeList<int,double>, typeList<char,int>>::print();)，我会收到大量错误： the value of 'i' is not usable in a constant expression（来自我的 gcc 4.7.1）

这里是完整的错误列表（来自 ideone）和完整的代码： http://ideone.com/67nxM

P.S : 请编辑合适的问题标题，我想不出更合理的问题。

编辑：感谢@KerrekSB 和@Ugo 的建议，这里是解决方案：

template<typename... list> struct typeList;

template<int n, typename T> struct printer
{
    static void print (){
        std::cout<< "first : "<< typeid(typename std::tuple_element<n, T>::type::first_type).name()<<
        "second : "<<typeid(typename std::tuple_element<n, T>::type::second_type).name() <<std::endl;
        printer<n-1,T>::print();
    }
};

template<typename, typename> struct zipper;
template<typename...L, typename...R> struct zipper<typeList<L...>, typeList<R...>>
{
    typedef std::tuple<std::pair<L,R>...> tuplez;

    static void print(){
    printer<std::tuple_size<tuplez>::value-1, tuplez>::print();
    }
};

template<typename T> struct printer<0,T>
{
    static void print (){
        std::cout<< "first : "<< typeid(typename std::tuple_element<0, T>::type::first_type).name()<<
        "second : "<<typeid(typename std::tuple_element<0, T>::type::second_type).name() <<std::endl;
    }
};

【问题讨论】：

相关：stackoverflow.com/questions/11322095/…
问题：std::tuple_element<i, tuplez> 但i 是运行时值 - 您不能在该上下文中使用它。
1) 实现，bar print()，很好。不需要静态断言，因为无论如何这都不会与不匹配的包一起编译。 2) 非类型模板参数必须是编译时常量。这只是基本的模板 101，与压缩无关。在 TMP 中，您永远不应该在 sizeof...(Args) 上使用 for 循环，而是使用静态递归。 3) 不需要继承tuple，是吗？

标签： c++ variadic-templates

【解决方案1】：

模板非类型参数必须是常量表达式。
i这里是一个运行时变量，你不能将它用作模板参数。

【讨论】：