问题部分模板专业化歧义

我不明白为什么主要陈述含糊不清。

template<class T, class U, int I> struct X
{ void f() { cout << "Primary template" << endl; } };


template<class T, int I> struct X<T, T*, I>
{void f() { cout << "Partial specialization 1" << endl;}};

template<class T, class U, int I> struct X<T*, U, I>
{void f() { cout << "Partial specialization 2" << endl;}};

template<class T> struct X<int, T*, 10>
{void f() { cout << "Partial specialization 3" << endl;}};

template<class T, class U, int I> struct X<T, U*, I>
{void f() { cout << "Partial specialization 4" << endl;}};

 int main()
 {
   X<int, int*, 10> f;
 }

是不是 X<int, T*, 10> 最专业的模板？这是一个例子 http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8l.doc%2Flanguage%2Fref%2Fpartial_specialization.htm

3147

2017-12-26 15:45

起源

原因在下面的示例中给出：编译器不允许声明 X<int, int*, 10> f因为它可以匹配模板结构 X<T, T*, I>，模板结构 X<int, T*, 10>或模板结构 X<T, U*, I>，这些声明都不比其他声明更好。 - Mr.Anubis

答案:

如果与第一个匹配的每个参数列表也与第二个匹配，则模板特化比另一个更专业化，但不是相反。

看着 X<int, T*, 10> 和 X<T, T*, I>：

X<int, float*, 10> 匹配第一个而不是第二个。
X<float, float*, 10> 匹配第二个但不是第一个。

因此，两者都不比另一个更专业，并且匹配两个特化的模板实例化将不会编译。

2017-12-26 16:16

还要提到类模板特化的部分排序，而这又取决于类的部分排序超载由类模板特化的模板参数组成的函数模板。 - Nawaz

@Nawaz：我知道这就是他们在标准中解释它的方式，但我认为我认为它会使事情过于复杂而在这里解释一下（我还需要从14.5.5.2解释函数模板排序的规则），以及14.8.2中的模板参数推导。如果您认为需要更多详细信息，请随意添加答案。 - interjay

谢谢，现在我明白了。我最后已经阅读了解释，但我无法弄清楚原因 X<int, T*, 10> 不是最专业的。 - user1116459

热门问题

不使用eval / new函数的JavaScript模板库当涉及内部类时，Java继承如何工作 .NET Windows服务的奇怪问题在.ipa或.app下查找App ID 快速入门XSLT参考[关闭] 如何找出Android应用程序中未使用的资源 Ruby中并发的同步方法[重复] 将std :: chrono :: system_clock :: time_point转换为struct timeval并返回 Google Drive API V3（javascript）更新文件内容 Bootstrap 3.0 - 将元素推到底部受密码保护的.NET ClickOnce部署？如何用postgresql安装wordpress coq Set或Type如何成为命题硒滚动元素进入（中心）视图在Spring Transaction JUnit测试中自动装配Hibernate会话的正确方法 Git的Dockerfile策略如何在FOS_PICKFOLDER中使用IFileDialog，同时仍在对话框中显示文件名在Firefox扩展中复制Google Chrome浏览器操作弹出效果 CakePHP找到MAX 芹菜 - 完成任务的召唤功能从使用fmemopen创建的流中读取宽字符 .NET是否为每个程序集创建一个字符串实习池？ DefaultModelBinder不绑定嵌套模型 Navigator.MediaDevices.getUserMedia（）使用了哪些相机通信标准？选择命名空间名称时应该知道什么？ cout Swagger Codegen CLI Java客户端 - 如何正确使用它一个很好的哈希函数用于采访整数，字符串？ Maven 3 ciManagement配置的目的是什么？如何通过语言文化获取代码页？

问题 部分模板专业化歧义

答案:

热门问题

问题部分模板专业化歧义