使用可变参数模板的模板专业化

Question

template <size_t size, typename ...Params>
void doStuff(Params...) {
}

template <>
void doStuff<size_t(1), int, bool>(int, bool) {

}

int main(int, char**) {
    doStuff<1,int,bool>(1, false);
    return 0;
}

这不会编译，第二个doStuff声明给了我error: template-id ‘doStuff<1u, int, bool>’ for ‘void doStuff(int, bool)’ does not match any template declaration但它明确地将第一个声明与可变参数模板参数匹配。

如何专门化可变参数模板？

Answer 1

语法是正确的（afaik，并且clang ++接受它），但你的编译器可能还没有up2date。

如果你使用gcc，它的可变参数模板支持是相当不完整的，甚至最近的svn版本也不支持专业化（这就是你使用尖端技术时的情况，遗憾的是gcc只是很早就实现了不完整的可变参数模板提议，从那以后没有跟上太多，而clang开始很晚，但相当完整）