模板功能错误

Question

除了主题：Heterogeneous sequence generator和Variadic template heterogeneous container 在下面的代码，我尝试处理使用模板复发方式对象的序列 - 在元组序电流对象会从以前的对象参数：

namespace spec 
{ 
    template <int... Idx> 
    struct index { }; 

    template <int N, int... Idx> 
    struct sequence : sequence<N - 1, N - 1, Idx...> { }; 

    template <int... Idx> 
    struct sequence<1, Idx...> : index<Idx...> { }; 
} 
template<int N> 
struct A 
{ 
    A() : _N(N) {} 
    template<int PrevN> void print_prevN(){std::cout<<PrevN<<std::endl;} 
    int _N; 
}; 

template<int N> 
struct B 
{ 
    B(): _N(N){} 
    template<int PrevN> void print_prevN(){std::cout<<PrevN<<std::endl;} 
    int _N; 
}; 

template<typename...Arg> 
class HeterogenousContainer 
{ 
public: 

    void process(){process(spec::sequence<sizeof...(Arg)>());} 

private: 
    std::tuple<Arg...> elements; 
    template <int... Idx> void process(spec::index<Idx...>)//this function generates an error 
    {auto aux = { (std::get<Idx>(elements).print_prevN<std::get<Idx-1>(elements)._N>(), 0) ... };} 
}; 
int main() 
{ 
    HeterogenousContainer<A<3>, B<4>, B<2>> obj; 
} 

怎么了？

error: expected primary-expression before «)» token 

这个错误在该行：

{auto aux = { (std::get<Idx>(elements).print_prevN<std::get<Idx-1>(elements)._N>(), 0) ... };} 

Answer 1

编译器不知道print_prevN是一个函数模板（这是一个dependent name），所以后续<和>令牌解析为比较运算符。写：

{auto aux = { (std::get<Idx>(elements).template print_prevN<std::get<Idx-1>(elements)._N>(), 0) ... };} 
             ^^^^^^^^^ 

Answer 2

std::get<Idx-1>(elements)._N不是一个常量表达式，因此不适合作为在表达式std::get<Idx>(elements).print_prevN<std::get<Idx-1>(elements)._N>()模板参数。