const char * 和 const char (&p)[T_Size] 之间的最佳查找匹配

Question

我有两个函数：

void foo(const char * p)

并且

template<size_t T_Size>
void foo(const char (& p)[T_Size]) ;

给出调用：

int main(int argc, char* argv[])
{
   char a[21] ;                          // typeid : A21_c
   sprintf(a, "a[21] : Hello World") ;

   const char * b = "b : Hello World" ;  // typeid : PKc

   // note that literal "liter. : Hello World" has a typeid : A21_c

   foo(a) ;                      // calls foo(const char (& p)[T_Size])
   foo(b) ;                      // calls foo(const char * p)
   foo("liter. : Hello World") ; // calls foo(const char * p) ???

   return 0 ;
}

显然，使用基于堆栈的正确声明的数组调用 foo 的行为符合预期，而使用文字“liter.”调用 foo ： Hello World”则不然，尽管两者具有相同的类型（根据 RTTI）。

符号查找选择一个重载而不是另一个重载所遵循的规则到底是什么？

为什么声明的数组和字符串文字之间的行为不同？

谢谢 ！

编辑

请注意，获得所需结果（即让文字字符串与 foo(const char (& p)[T_Size]) 函数匹配的方法）是删除 void foo( const char *p) 并添加：

struct FooIndirect
{
    const char * m_p ;
    FooIndirect(const char *p) : m_p(p) {}
} ;

void foo(const FooIndirect & p)
{
    // do something with p.m_p
}

此间接寻址使模板化 foo 更好地匹配字符串文字，并且仍然允许用户使用指针（在优化编译模式中将删除间接寻址）。

我在 g++ 4.4.3 上测试了它，但我相信它在每个编译器上都会以相同的方式工作。

Answer 1

标准第 13 章（重载解决方案）中的表 9 将“数组到指针”转换（对于非模板）与“不需要转换”（对于模板版本）具有相同的等级（精确匹配）。

在其他条件相同的情况下，非模板版本优于模板版本。

Answer 2

与模板化函数相比，编译器将始终调用非模板化重载（如果可用）。您提供了一个完全足够的非模板化重载，因此编译器会调用它。