为什么具有“相同签名"的模板和非模板函数的重载?调用非模板函数?
我有这个代码:
template<
class T = const int &
> void f(T) {}
void f(const int &) {}
int main() {
f(0);
}
为什么它调用第二个而不是第一个?我会认为它们是相同的，但它们显然不是，因为我没有收到重新定义错误.
Why does it call the second one instead of first? I would think of them as being the same but they're clearly not as I do not get a redefinition error.
推荐答案
因为第二个重载不是模板.
Because the second overload is not a template.
当模板函数和非模板函数都可用于解析函数调用时，选择非模板函数.
When a template function and a non-template function are both viable for resolving a function call, the non-template function is selected.
来自 C++ 11 标准的第 13.3.3/1 段:
From Paragraph 13.3.3/1 of the C++ 11 Standard:
[...] 鉴于这些定义，如果对于所有参数 i，ICSi(F1) 不是更差的转换，则可行函数 F1 被定义为比另一个可行函数 F2 更好的函数序列比ICSi(F2)，然后[...] F1是一个非模板函数，F2是一个函数模板特化 [...]
[...] Given these definitions, a viable function F1 is defined to be a better function than another viable function F2 if for all arguments i, ICSi(F1) is not a worse conversion sequence than ICSi(F2), and then [...] F1 is a non-template function and F2 is a function template specialization [...]
相关文章