传递给函数调用的字符串文字在哪里存储在c中

Question

我知道程序中使用的字符串文字会存储在只读区域中，例如。

//global
const char *s="Hello World \n";

这里的字符串文字 "Hello World\n" 存储在程序的只读区域中。 现在假设我在一些函数的主体中声明了一些文字，比如

func1(char *name)
{
    const char *s="Hello World\n";
}

由于函数的局部变量存储在该函数的激活记录中，这是 字符串文字也一样吗？再次假设我从某个函数 func2 调用 func1 为

func2()
{
    //code
    char *s="Mary\n";

    //call1
    func1(s);

    //call2
    func1("Charles");

    //code
}

在上面，在第一次从 func2 调用 func1 时，传递了“s”的起始地址，即 s[0] 的地址，而在第二次调用中，我不确定实际发生了什么。字符串文字“Charles”在哪里获得存储空间。编译器是否创建了一些tempory并传递了它的地址还是发生了其他事情？ 我发现文字从“只读数据”部分存储 String literals: Where do they go? 但我不清楚这是否只发生在全局文字或某些函数的本地文字上。任何见解都将是可观的。谢谢。

Answer 1

字符串文字（或者更确切地说，它们被编译成的字符数组）在内存中的位置是编译器中的一个实现细节，因此，如果您正在考虑 C 标准所保证的内容，它们可能存在于许多地方，并且程序中以不同方式使用的字符串文字可能最终出现在不同的地方。

但在实践中，大多数编译器将所有字符串文字都视为相同，并且它们可能都以只读段结束。因此，用作函数参数或在函数内部使用的字符串字面量将与“全局”字面量存储在同一位置。

Answer 2

C 字符串字面量表示char[len+1] 类型的数组对象，其中len 是长度，加上1 表示终止'\0'。此数组对象具有静态存储持续时间，这意味着它存在于程序的整个执行过程中。无论字符串文字出现在何处，这都适用。

文字本身是一个表达式类型char[len+1]。 （在大多数但不是所有情况下，它将被隐式转换为指向第一个字符的 char* 值。）

编译器可以优化这一点，例如，只存储一次相同的字符串文字，或者如果它们从未被引用，则根本不存储它们。

如果你这样写：

const char *s="Hello World\n";

在函数内部，字面量的含义和我上面描述的一样。指针对象s被初始化为指向数组对象的第一个字符。

由于历史原因，字符串文字在 C 中不是 const，但尝试修改相应的数组对象具有未定义的行为。正如您在此处所做的那样，声明指针 const 不是必需的，但这是个好主意。