函数如何检测字符串指针与字符串文字参数？

Question

我遇到过一个函数,它可以区分被调用

foo("bar");

VS

const char *bob = "bar";
foo(bob);

我想到的可能性是:

• 字符串的地址:两个参数都位于图像的.rdata部分.如果我在同一个程序中进行两次调用,则两个调用都会收到相同的字符串地址.
• RTTI:不知道如何使用RTTI来检测这种差异.

我能想到的唯一可行的例子是:

void foo(char *msg)
{
    printf("string literal");
}

void foo(const char *&msg)
{
    printf("string pointer");
}

foo("bar");                 // "string literal"

const char *soap = "bar";
foo(soap);                  // "string pointer"

我无法访问函数的代码,头文件中的声明只显示了一个函数声明.

Answer 1

这是区分字符串文字和指针的另一种方法,基于字符串文字具有数组类型而非指针类型的事实:

#include <iostream>

void foo(char *msg)
{
    std::cout << "non-const char*\n";
}

void foo(const char *&msg) // & needed, else this is preferred to the
                           // template function for a string literal
{
    std::cout << "const char*\n";
}

template <int N>
void foo(const char (&msg)[N])
{
    std::cout << "const char array reference ["<< N << "]\n";
}

int main() {
    foo("bar"); // const char array reference [4]
}

但请注意,所有这些(包括您的原始函数)都可以通过传递非字符串文字的内容来"欺骗":

const char *soap = 0;
foo(soap);

char *b = 0;
foo(b);

const char a[4] = {};
foo(a);

C++中没有类型对字符串文字是唯一的.因此,您可以使用该类型来区分数组和指针,但不能告诉字符串文字和另一个数组之间的区别.RTTI没有用,因为RTTI仅存在于具有至少一个虚拟成员函数的类中.其他任何东西都依赖于实现:标准中不保证字符串文字将占用任何特定的内存区域,或者在程序中(或甚至在编译单元中)使用两次的相同字符串文字将具有相同的地址.就存储位置而言,实现可以使用字符串文字执行的任何操作,也允许使用我的数组a.