c – 模板部分专业化_C

概述有人可以解释为什么这两个专业与编译器无关( gcc 4.5.1 @ ideone) http://ideone.com/9tNux template <typename... T> struct S;template<typename A, typename B, typename... C>struct S<A, B, C...> { int f() {return 1;}}; 有人可以解释为什么这两个专业与编译器无关( gcc 4.5.1 @ IDeone)

http://ideone.com/9tNux

template <typename... T> struct S;template<typename A,typename B,typename... C>struct S<A,B,C...> {   int f() {return 1;}};template<typename... A,typename... C>struct S< S<A...>,C...> {   int f() {return 2;}};

当我尝试实例化S

prog.cpp:20:21: error: ambiguous class template instantiation for 'struct S<S<a,b>,b>' prog.cpp:6:22: error: candIDates are: struct S<A,C ...> prog.cpp:11:33: error: struct S<S<A ...>,C ...> prog.cpp:20:21: error: aggregate 'S<S<a,b> o2' has incomplete type and cannot be defined
当最后一个专业化改为：

template<typename... A,C...> { int f() {return 2;}}

一切都很好
解决方法我对这个问题的理解：
typedef S<S<a,c,d> S2;

这里S< a,b>匹配第二专业更好.然而,d是第一个专业化(单个参数列表vs列表)的剩余参数的更好的匹配.因此是1：1.

如果您在第二个专业中对B进行评论,那么第二个专业化比较好,因为它对于第一个参数(S …)更为专业,其余的都是同样好的.
总结
以上是内存溢出为你收集整理的c – 模板部分专业化全部内容，希望文章能够帮你解决c – 模板部分专业化所遇到的程序开发问题。
如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。
欢迎分享，转载请注明来源：内存溢出
原文地址:https://54852.com/langs/1257853.html

c – 模板部分专业化

发表评论

评论列表（0条）