2

我有两个功能：

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使用基于堆栈的正确声明的数组调用行为符合预期，而foo使用文字“liter. : 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 上对其进行了测试，但我相信它在每个编译器上都会以相同的方式工作。

4

2 回答 2

4

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

其他一切都相同，非模板版本优于模板版本。

于 2010-08-19T13:32:41.157 回答
1

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

于 2010-08-19T13:23:04.403 回答