我有以下代码:
//1 template<typename T> void c(T in) { cout << "Template c(" << in << ")" << endl; } //2 template<> void c<>(int* in) { cout << "Template specialization b(" << in << ")" <<endl; } //3 template<typename T> void c(T* in) { cout << "Template for pointers c(" << in << ")" <<endl; } //.. int i = 8; c(&i);
解决方法
编译器首先选择主模板,然后确定使用哪个专门化.也就是说,在你的情况下,编译器总是选择第二个主模板,即#3.
但是,由于您在专门化功能模板时没有指定模板参数,因此您的专业化专门针对不同的主模板,具体取决于其位置:按照给定的顺序,它专用于第一个主模板,当您交换#2和#3它专用于第二个主要模板.在14.7.3 [temp.expl.spec]第7段中,标准必须说明以下情况
… When writing a specialization,be careful about its location; or to make it compile will be such a trial as to kindle its self-immolation.
如果要控制专业化实际专业化的主要模板,则可以在专业化中指定模板参数:
template <> void c<int*>(int* in) { ... } // specializes the first primary template <> void c<int>(int* in) { ... } // specializes the second primary
原文地址:https://www.jb51.cc/c/112863.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。