C++参数包展开失败

Question

我正在玩可变参数模板，我不明白为什么以下代码无法编译（GCC 4.9.2 with std=c++11）：

这只是一个例子，但我需要在我的代码中使用类似的类型，但它也失败了：

template<int I>
class Type{};
template<typename ... Tlist>
class A{
    public:
        template<int ...N>
            void a(Type<N> ... plist){

            }
};
template<typename ... Tlist>
class B{
public:
    template<int ... N>
        void b(Type<N> ... plist){
            A<Tlist...> a;
            a.a<N...>(plist ...);
        }
};

以及使用示例：

B<int, int, int> b;
b.b<1,7,6>(Type<1>(),Type<7>(),Type<6>());

我收到以下错误：

file.cpp: In member function ‘void B<Tlist>::b(Type<N>...)’:
file.cpp:58:9: error: expected ‘;’ before ‘...’ token
    a.a<N...>(plist ...);
         ^
file.cpp:58:24: error: parameter packs not expanded with ‘...’:
    a.a<N...>(plist ...);
                        ^
file.cpp:58:24: note:         ‘N’

但是下面的代码编译得很好（我只是从类中删除了 Tlist 参数并相应地调整了代码）：

template<int I>
class Type{};
class A{
    public:
        template<int ...N>
            void a(Type<N> ... plist){

            }
};
class B{
public:
    template<int ... N>
        void b(Type<N> ... plist){
            A a;
            a.a<N...>(plist ...);
        }
};


B b;
b.b(Type<1>(),Type<7>(),Type<6>());

谁能给我解释一下？谢谢

Answer 1

编译器没有理由相信a.a是模板；因此，必须将 < 解释为小于运算符。写：

        a.template a<N...>(plist ...);
          ^^^^^^^^^

在你的第二个例子中，它知道 a.a 是一个模板，因为 a 的类型不依赖于模板参数。

C++参数包展开失败

C++ parameter pack fails to expand

c++

gcc

variadic-templates

c++11