C ++模板函数重载解析

lisyarus 发表于 Dev

莉雅鲁斯

我有以下代码：

#include <iostream>

template <typename T>
void f (T) { std::cout << "f(T)" << std::endl; }

template <typename T>
void f (bool) { std::cout << "f(bool)" << std::endl; }

int main ( )
{
    f(true);        // #1 prints f(T)
    f<bool>(true);  // #2 prints f(bool)
}

该#1线路的呼叫f(T)，而#2线路的呼叫f(bool)。

为什么会这样？选择重载模板函数的规则是什么？

更新

我了解到，在第一次调用中，编译器T在尝试调用第二个函数时无法推断，因此选择了第一个。

在第二个调用中，第二个功能被认为是在gcc上更好的匹配，而第一个功能是在VS2013下选择的。谁在这里做正确的事？顺便说一下，我仍然对该过程的完整描述感兴趣。

尼科斯（Nikos Athanasiou）

非专业功能模板也称为基础模板。基本模板可以是专门的。看看在不同情况下会调用哪个的重载规则非常简单，至少在较高级别上如此：

非模板功能是一等公民。与参数类型以及任何功能模板相匹配的普通旧非模板函数将在原本就很好的函数模板上进行选择。
如果没有一等公民可供选择，那么至少要和二等公民一样好，然后使用功能基础模板作为第二等公民的参考。根据一组相当合理的说法，选择哪个功能基础模板取决于哪个匹配最合适，并且是“最专业的”（重要说明：“专业化”的这种使用与模板专业化毫无关系；这只是一个不幸的口语化）奥术规则：
- 如果很明显有一个“最专业的”功能库模板，那么该模板就会被使用。如果该基本模板恰好专用于所使用的类型，则将使用该特殊化，否则将使用以正确类型实例化的基本模板。
- 否则（如您的情况），如果“最专业”的函数库模板有联系，则该调用是模棱两可的，因为编译器无法确定哪个更合适。程序员将必须做一些事情以限定调用并说出需要哪个。
- 否则，如果没有可以匹配的函数库模板，则调用是错误的，程序员将不得不修复代码。