c++ - C++中的模板函数重载

Question

我有以下定义。

using namespace std;

template <typename T>
void foo(const T &s) {
    cout << 1;
}

template <typename T>
void foo(const T *s) {
    cout << 2;
}

int main(int argc, const char * argv[]) {
    char str[] =  "ss";
    char *s = str;
    foo(s);

    return 0;
}

然后输出

1

据我了解，这两个版本都必须经过 const 转换。那么 void foo(const T *s) 更专业，应该被调用。然而编译器选择了void foo(const T& s)。有什么解释？

Answer 1

有人指出编译器选择的模板参数

void f(char * const&)
void f(const char *);

在这里，请注意编译器需要一个指向 char 的指针，char*，作为第一个函数，它是一个 const 引用。如果您发现对于您的案例它更喜欢第一个模板，这可能会让人感到惊讶，但对于以下两个，它会更喜欢第二个

template <typename T>
void foo(const T& s) {
    cout << 1;
}

template <typename T>
void foo(T &s) {
    cout << 2;
}

所以，当然，它会有时会查看 const。你的情况为什么没有呢？因为如果其他函数也有引用，它只会查看 const 以获取引用。

在您的情况下，从 char* 到 const char* 这是一个指针转换，但从 lvalue 到 const lvalue，它实际上不是转换。通过 const 引用添加 const 会被重载解析忽略，除非两个函数都具有上述情况的引用参数。