使用可变参数模板进行模板专业化
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)' 与任何模板声明都不匹配，但它显然与带有可变模板参数的第一个声明匹配。
如何专门化可变参数模板？
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;
}
This doesn't compile, the second doStuff declaration gives me error: template-id ‘doStuff<1u, int, bool>’ for ‘void doStuff(int, bool)’ does not match any template declaration but it clearly matches the first declaration with variadic template arguments.
How to specialize variadic templates?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
语法是正确的（据我所知，clang++ 接受它），但您的编译器可能还没有更新。
如果你使用 gcc，它的可变参数模板支持是相当不完整的，甚至最近的 svn 版本还不支持专门化（这就是当你使用前沿技术时的情况，遗憾的是 gcc 只实现了一个非常早期的不完整的可变参数模板提案，从那时起就没有跟上太多，而 clang 开始得很晚，但相当完整）
The syntax is correct (afaik, and clang++ accepts it), but your compiler is probably just not up2date yet.
If you use gcc, its variadic template support is quite incomplete, and even very recent svn versions don't support specialization yet (That is just how it is when you use bleeding edge technology, and sadly gcc implemented only a very early incomplete variadic template proposal and since then didn't keep up much, while clang started pretty late, but got pretty complete)