有一个模板函数
template<unsigned N, unsigned M>
int compare(const char (&p1)[N], const char (&p2)[M])
{
return strcmp(p1, p2);
}
我可以这样调用它compare("hi", "mom");
但是假如我改成int compare(const char p1[N], const char p2[M])或者int compare(const char (*p1)[N], const char (*p2)[M])就编译不了，请问这到底是什么原因

不传引用的话，数组退化成指针，无法推导出模版参数。而第二个修改就是错误的。