C 中的静态 const char* VS const char*

Question

C语言中const char*和static const char*有什么区别？

我认为Difference between static const char* and const char*的答案是错误的。

确实，const char* 元素放在程序的.rodata 部分，否则会导致段错误：

const char* f() {
    const char* hello = "hello";
    return hello;
}

int main() {
    const char* hello_after = f();
    printf("%s\n", hello_after);
}

确实，由于该代码有效，f 返回的指针仍然指向活动数据，这表明该数据不是在堆栈上分配，而是存储在.rodata 中。

但是，在我看来，就 GCC 而言，const char* 和 static const char* 是相同的东西。

但是，为什么 const int* 和 static const int* 的行为不一样？这是一个例外，在 GCC 中硬编码，仅适用于 char 类型，然后 const 和 static const 应该相同？

非常感谢您的帮助！

Answer 1

在这个函数声明中

const char* f() {
    const char* hello = "hello";
    return hello;
}

指针 hello 指向具有静态存储持续时间的字符串文字“hello”。也就是说，具有静态存储持续时间的不是指针，而是具有静态存储持续时间的指向文字。在函数的每次调用中，指针都会重新初始化。

如果你会像这样声明函数

const char* f( ) {
    static const char* hello = "hello";
    return hello;
}

那么在这种情况下，指针本身具有静态存储持续时间。它在程序获得控件之前被初始化一次，并且它的值在函数调用之间保持。

例如考虑这个演示程序。

#include <stdio.h>

const char* f( int i ) 
{
    static const char* hello = "hello";

    if ( i == 1 ) hello = "bye";
    else if ( i == -1 ) hello = "hello";

    return hello;
}

int main(void) 
{
    puts( f( 0 ) );
    puts( f( 1 ) );
    puts( f( 0 ) );

    return 0;
}

它的输出是

hello
bye
bye

那最初是指针 hello 由字符串文字“hello”初始化的。

然后由于这个电话

    puts( f( 1 ) );

其值已更改。现在它指向字符串字面量“bye”。

第三次通话

    puts( f( 0 ) );

指针保留上次调用函数时分配给它的值。

这是由于指针具有静态存储持续时间。