带有字符串文字的 C 空指针

Question

使用 ARM、C 编译器，我可以成功编译并运行以下内容：

static char * myString = 0;

void myfunc(int x){

   if (x <= 0)
       myString = "Hello World";
   else 
       myString = "This is a different string with a different length";

}

int main(){

    myfunc(-1);
    printf("%s\n", myString);
    myfunc(2);
    printf("%s\n", myString);
}

为什么这有效？

指针不应该是NULL指针吗？

至少，字符串文字不应该分配在只读内存位置吗？

编辑：它是一个 C++ 编译器

编辑2：为什么在 myfunc 超出范围后，字符串文字存在于静态范围中？字符串文字是否未在堆栈上声明？它们什么时候被释放？

谢谢！

Answer 1

这两个字符串分配在只读存储器中并且完全不同。但是你使用同一个指针来指向它们中的每一个......有什么不明白的？

请记住，char* 只是一个指针。它是可变的（非常量）。

char* p = 0;
p = "Hello"; //OK
p = "Jo" //OK;
p[0] = 'X' //OOPS, now THIS is bad (undefined behavior)

编辑后：

不，字符串文字具有静态存储持续时间（与所有其他文字不同），它们不是在 stack 上创建的。它们将一直存在直到程序终止。

Answer 2

如果你要声明，

char const *MyString = 0;  

那么你会遇到麻烦，因为 const 指针无法重新分配。字符串文字是常量。

       .section        .rodata
.LC0:
        .string "Hello World"
        .align 8
.LC1:
        .string "This is a different string with a different length"
        .text

文字串数据被组装在只读数据部分中。

Answer 3

常量字符串通常在程序的“数据段”中创建，并且指向它们的指针始终有效（字符串“对象”在程序生命周期内有效）。所以不。文字字符串不是在堆栈上创建的。

我相当确定 C.Happy 编码中的语义是明确定义的

。

Answer 4

是的，但是您为它分配了一个指向字符串文字的指针，因此它指向两个字符串数组之一。

Answer 5

myString 是一个指针变量，您故意将其设置为指向存储两个字符串常量之一的内存。

Answer 6

最初它是一个空指针。但您自己显式更改该指针并使其在 myfunc 函数内非空。

在第一次调用 myfunc 时，您显式地使指针指向字符串文字 “Hello World”。当然，在那一刻之后，指针不再为空。

字符串文字确实分配在只读内存位置（至少在概念上）。但是，在 C 和 C++ 中，您都可以使用 char * 指针指向字符串文字（即不需要 const char *）。只要您不尝试修改文字，就可以使用 char * 指针指向字符串文字。您的代码不会尝试修改任何内容，因此没问题。

C 和 C++ 中的字符串文字具有静态存储持续时间。所以不，它们不是“在堆栈上”分配的。它们始终分配在静态内存中，这意味着它们永远存在 - 只要您的程序正在运行。

PS为了更完整地回答你的问题，你必须解释为什么你希望你的指针保持为空。

PPS int main，而不是 void main。