【问题标题】:Why does overload of template and non-template function with the "same signature" call the non-template function?为什么具有“相同签名”的模板和非模板函数重载调用非模板函数?
【发布时间】:2013-01-17 22:35:25
【问题描述】:

我有这个代码:

template<
    class T = const int &
> void f(T) {}

void f(const int &) {}

int main() {
   f(0);
}

为什么它调用第二个而不是第一个?我会认为它们是相同的,但它们显然不是,因为我没有收到重新定义错误。

【问题讨论】:

标签: c++ templates c++11 overloading


【解决方案1】:

因为第二个重载不是模板。

当模板函数和非模板函数都可用于解析函数调用时,选择非模板函数。

来自 C++ 11 标准的第 13.3.3/1 段:

[...] 鉴于这些定义,如果对于所有参数 i,ICSi(F1) 不是更差的转换,则可行函数 F1 被定义为比另一个可行函数 F2更好的函数序列比 ICSi(F2),然后 [...] F1 是非模板函数,F2 是函数模板特化 [...]

【讨论】:

    【解决方案2】:

    一个是模板,另一个不是,它们肯定不一样。

    重载分辨率旨在优先使用非模板而不是模板函数,其他一切都相同。

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2012-12-07
      • 1970-01-01
      • 2013-08-26
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2011-06-07
      • 1970-01-01
      相关资源
      最近更新 更多