c++模板匹配

八戒253

#include <iostream>
using namespace std;
#include <memory>
template <typename T> int compare(const T&, const T&)
{
        cout << "template<typename T> int compare(..)" << endl;
        return 1;
}
template <size_t N,size_t M>
int compare(const char(&)[N], const char(&)[M])
{
        cout << "template <size_t N, size_t M>" << endl;
        return 1;
}
//函数模板特例化
template<>
int compare(const  char* const& p1, const char* const& p2)
{
        cout << "特例化模板调用 for const char *" << endl;
        return p1 > p2;
}
int main()
{
        const char *   p1 = "hi";
        const char*   p2 = "hello!";
        int a = 1, b = 3;
        compare(a, b);
        cout << endl << endl;
        compare(p1, p2);
        compare("nima", "caonima");
        compare("rinima", "zhenshufu");

}

为啥compare(p1,p2)匹配的是template<>
int compare(const  char* const& p1, const char* const& p2)
{
        cout << "特例化模板调用 for const char *" << endl;
        return p1 > p2;
}
而compare("....","....")匹配的是
template <size_t N,size_t M>
int compare(const char(&)[N], const char(&)[M])
{
        cout << "template <size_t N, size_t M>" << endl;
        return 1;
}
不理解，感谢大佬解惑！！

傻眼貓咪

你声明 p1 和 p2 为 const char * 类型。
compare("....", "....") 的参数是 const char(&)[N] 类型

一个是 const char*，一个是 const char[N]
(&) 是引用符

八戒253

傻眼貓咪 发表于 2022-4-21 16:05
你声明 p1 和 p2 为 const char * 类型。
compare("....", "....") 的参数是 const char(&)[N] 类型

const char * 和 const char(&)[N]有区别吗

人造人

八戒253 发表于 2022-4-21 19:14
const char * 和 const char(&)[N]有区别吗

一个是指向字符的指针
另一个是引用一个数组
一样？