字符串文字vs const char *函数重载

Question

我有一个我想用于const char*的函数，但它仅适用于字符串文字，因为它们被赋予了特殊的规则以允许初始化数组。 第二个重载foo(const char*)对于字符串文字和const char*都是首选，但是我的模板重载不适用于const char* 。

// Errors for const char*.
template<typename T, size_t n>
void foo(const T (&s)[n])
{
}

// Selected both times if both overloads are present.
void foo(const char*)
{
}

int main()
{
    foo("hello");
    const char* s = "hello";
    foo(s); // Error if foo(const char*) is absent.
}

有没有办法允许const char*初始化数组？

---

我已经试过了：

template<typename T, size_t n>
void _foo(const T (&s)[n])
{
    std::cout << __PRETTY_FUNCTION__;
}

#define _expand(s) #s
#define expand(s) _expand(s)

void foo(const char* s)
{
    _foo(expand(s));
}

Answer 1

我觉得

const char* s = "hello";

是指向只读内存中某个字符串文字的指针，并且编译器无法推断出数组大小，因此它选择了第二个重载。

您可以使用

 const char s[] = "hello";

Answer 2

不，您不能使用指针初始化数组。 字符串文字语法是const char s[]的特殊缩写，您的工作代码大致相当于

static const char s[]{'h','e','l','l','o','\0'};
foo(s);

因此，您可以将数组（包括字符串文字）传递给模板函数，但不能传递指针（包括指向字符串文字的指针）。

另一方面，数组可以衰减到指针，这就是为什么数组和指针都可以传递给第二个重载的原因。