Question

我写了以下代码：

#include<cstdio>
#include<iostream>
#include<cstring>
using namespace std;
template <class T> T Min(T a, T b)
{
    cout<<"template function: ";
    if(a<b)
        return a;
    return b;
}
char *Min(char *a, char *b)
{
    cout<<"non-template function: ";
    if(strcmp(a,b)==0)
        return a;
    return b;
}
int main()
{
    char c[]="x",d[]="y";

    cout<<Min('x','y')<<endl;
    cout<<Min("x","y")<<endl;
    cout<<Min(c,d)<<endl;

    return 0;
}

输出：

template function: x
template function: y
non-template function: y

第一个函数调用正常，它正在调用模板函数。但是，为什么第二个函数也调用模板函数，而它是一个字符串常量。不应该调用非模板函数???

同样为什么第二个函数调用的输出是y，不应该是x？使用字符串常量调用函数和char类型数组之间的区别是什么，尽管两者都是字符串？

Answer 1

C ++中的文字具有N个常量字符的数组，并且会衰减为指向常量字符的指针，该指针无法转换为char*。如果要为C样式字符串提供重载，则应执行以下操作：

const char *Min(const char *a, const char *b)

在C ++中，技术上未定义比较不属于同一个完整对象的指针。实际上，它意味着比较两个不等式指针的结果可能是这样或那样，并且不能保证。当选择模板时，它将比较衰减字符串文字后获得的指针的值，并且恰好在这种情况下“y”的地址恰好小于“x”的地址，但是没有保证无论如何。

调用模板函数的奇怪行为

1 个答案: