常量，文字和全局变量在哪里获得空间

Question

我最近了解到，可以使用指针更改c中的常量值，但对于字符串文字则不可行。 可能的解释是这样的事实，即常量和其他字符串在空间的可修改区域中分配了空间，而字符串文字在空间中的不可修改区域（可能是代码段）中分配了。 我写了一个程序，显示这些变量的地址。 显示输出。

#include <stdio.h>
int x=0;
int y=0;

int main(int argc, char *argv[])
{
    const int a =5;
    const int b;
    const int c =10;
    const char *string = "simar";   //its a literal, gets space in code segment
    char *string2 = "hello";
    char string3[] = "bye"; // its array, so gets space in data segment
    const char string4[] = "guess";
    const int *pt;
    int *pt2;

    printf("\nx:%u\ny:%u Note that values are increasing\na:%u\nb:%u\nc:%u Note that values are dec, so they are on stack\nstring:%u\nstring2:%u Note that address range is different so they are in code segment\nstring3:%u Note it seems on stack as well\nstring4:%u\n",&x,&y,&a,&b,&c,string,string2,string3,string4); 
}

请解释这些变量究竟在哪里获得空间？ 全局变量在哪里获取空间，常量在哪里获取，字符串文字在哪里获取？

Answer 1

“可能”夸大了案件。

您可以编写尝试修改const对象的代码（例如，通过将其地址强制转换为指向非const的指针的类型）。 您也可以编写尝试修改字符串文字的代码。

在这两种情况下，您的代码都具有未定义的行为，这意味着该标准不在乎会发生什么。 实现可以做自己喜欢的事情，发生的事情通常是其他重要事情的偶然副作用。 您不能依靠行为。 简而言之，该代码是错误的。 无论是定义为const的对象还是字符串文字，都是如此。

可能是在特定实现上，其效果是更改了对象或文字。 可能是在另一种实现中，您遇到访问错误并且程序崩溃。 可能是在第三个实现中，您有时会得到一种行为，而在其他时候会得到另一种行为。 可能发生了完全不同的事情。

它是特定于实现的，变量在其中获得空间，但是在典型的实现中：

• x和y在可修改的数据段中
• a在堆栈上。 如果不是因为您使用了它的地址，那么就可以完全优化变量存储，并将值5用作编译器为使用a代码发出的任何CPU指令中的立即值。
• b我认为这是一个错误-未初始化的const对象。 也许是允许的，但是编译器可能应该发出警告。
• c在堆栈上，与a相同。
• 文字“ simar”等全部位于代码段，只读数据段或可修改的数据段中（如果实现不影响rodata的话）。
• string3和string4是在堆栈上的阵列。 每个都通过复制字符串文字的内容来初始化。

Answer 2

我最近了解到，可以使用指针更改c中的常量值

这样做会导致不确定的行为（请参见标准6.7.3），这意味着可能发生任何事情。 实际上，您可以在某些基于RAM的系统上修改常量。

字符串文字不可能

这同样是未定义的行为，可能会起作用，也可能无法起作用，或者可能会导致蓝烟从硬盘驱动器中升起。

可能的解释是这样的事实：常量和其他字符串在空间的可修改区域中分配了空间，而字符串文字在空间中的不可修改区域中分配了

这取决于系统。 在某些系统上，它们都位于恒定/虚拟RAM段中，在某些系统上，它们可能位于非易失性闪存中。 如果不指定您要讨论的系统，那么讨论事情在内存中的最终位置是毫无意义的。 没有通用的情况。