假设我有两个函数重载
template <typename T> void f(const T&) { cout << "f(T&)" << endl; } template <typename T> void f(const T*) { cout << "f(T*)" << endl; }
为什么f(new int)解析为f(const T&)而不是f(const T *)?在标准的任何地方谈论这种反直觉的行为?
解决方法
对于使用模板扣除的重载分辨率,第一步是解析模板.然后将非模板排序应用于结果.在您的代码中,模板分辨率为:
void f(int * const &) // 1 void f(int const *) // 2
根据C14 [over.ics.ref],如(1)中直接引用参数的引用是一个身份转换(即使添加了cv-qualifiers). T与T const&是直接约束,即没有创建和绑定临时的.
但是,(2)涉及资格转换.在匹配函数参数之前,参数类型int *必须转换为const int *.
身份转换被认为是任何非身份转换序列的子序列,所以(1)根据子序列规则[over.ics.rank] /3.1.1获胜
原文地址:https://www.jb51.cc/c/111662.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。