我们可以通过指针来改变const定义的对象的值吗？

Question

#include <stdio.h>
int main()
{
    const int a = 12;
    int *p;
    p = &a;
    *p = 70;
}

它会起作用吗？

Answer 1

这是“未定义的行为”，这意味着根据标准，您无法预测尝试此操作时会发生什么。它可能会根据特定的机器、编译器和程序状态执行不同的操作。

在这种情况下，最常发生的情况是答案是“是”。变量，无论是否为常量，都只是内存中的一个位置，您可以打破常量规则并简单地覆盖它。 （当然，如果程序的其他部分依赖于其 const 数据是常量，这将导致严重的错误！）

但是在某些情况下 - 最典型的是 const static 数据 - 编译器可能会将此类变量放入内存的只读区域。例如，MSVC 通常将 const static int 放入可执行文件的 .text 段中，这意味着如果您尝试对其进行写入，操作系统将引发保护错误，并且程序将崩溃。

在编译器和机器的其他组合中，可能会发生完全不同的情况。您可以肯定预测的一件事是，这种模式会惹恼任何必须阅读您的代码的人。

Answer 2

这是未定义的行为。证明：

/* program.c */

int main()
{
        const int a = 12;
        int* p;
        p = &a;
        *p = 70;
        printf("%d\n", a);
        return 0;
}


gcc program.c

并运行它。输出将为 70 (gcc 4.3)

然后像这样编译它：

gcc -O2 program.c

并运行它。输出将为 12。当它进行优化时，编译器可能会将 12 加载到寄存器中，并且当它需要访问 printf 的 a 时不会再次加载它，因为它“知道”a 无法更改。

Answer 3

通过指针修改 const 限定对象会调用未定义的行为，这就是结果。它可能是您期望从特定实现中获得的东西，例如，如果已将其放置在 .text 中，则先前的值保持不变，等等。

Answer 4

它确实可以与 gcc 一起使用。但它不喜欢它：

test.c:6：警告：赋值会丢弃指针目标类型中的限定符

但执行时值确实发生了变化。我不会指出明显的禁忌...

Answer 5

是的，您可以使用这样的代码来完成它。但当a是全局时，代码不适用（gcc编译的程序给了我分段错误。）

一般来说，在心爱的C中，你几乎总能找到某种方法破解不应该改变或暴露的东西。 const 这里就是一个例子。

但考虑到可怜的人（也许是 6 个月后的我自己）维护我们的代码，我经常选择不这样做。

Answer 6

这里指针 p 的类型是 int*，它被赋以 const int* 类型的值 (&a< /code> => const int 变量的地址）。

隐式强制转换消除了常量性，尽管 gcc 会抛出警告（请注意，这很大程度上取决于实现）。

由于指针未声明为 const，因此可以使用此类指针更改值。

如果指针被声明为 const int* p = &a ，您将无法执行 *p = 70 。

Answer 7

此代码包含约束违规：

const int a = 12;
int *p;
p = &a;

违反的约束是 C11 6.5.16.1/1“简单赋值”；如果两个操作数都是指针，则左侧指向的类型必须具有右侧指向的类型的所有限定符。 （并且没有限定符的类型必须兼容）。

因此违反了约束，因为 &a 的类型为 const int *，该类型以 const 作为限定符；但该限定符不会出现在 p 类型中，即 int *。

编译器必须发出诊断信息，并且可能不会生成可执行文件。任何可执行文件的行为都是完全未定义的，因为程序不遵守语言规则。

Answer 8

您不能使用指向常量变量的指针来更改常量变量的值。这种类型的指针称为指向常量的指针。

还有另一个概念，称为常量指针。这意味着一旦指针指向一个内存位置，就无法使其指向另一个位置。

Answer 9

坏主意，坏主意。

此外，该行为是特定于平台和实现的。如果您运行的平台上常量存储在不可写内存中，则这显然不起作用。

而且，你到底为什么要这么做？更新源中的常量，或将其设为变量。

Answer 10

更改 const 变量值的问题是编译器不会期望发生这种情况。考虑这段代码：

const int a = 12;
int * p = &a;
*p = 70;
printf("%d\n", a);

为什么编译器会在最后一条语句中读取 a ？编译器知道a是12，并且由于它是const，所以它永远不会改变。因此优化器可能会将上面的代码转换成这样：

const int a = 12;
int * p = &a;
*p = 70;
printf("%d\n", 12);

这可能会导致奇怪的问题。例如，代码可能在没有优化的调试版本中按预期工作，但在经过优化的发布版本中会失败。

实际上，一个好的优化器可能会将整个代码转换为这样：

printf("%d\n", 12);

因为之前的所有其他代码在编译器看来没有任何效果。省略没有效果的代码也不会对整个程序产生影响。

另一方面，一个像样的编译器会识别出您的代码有错误并警告您，因为

int * p = &a;

实际上是错误的。正确的是：

const int * p = &a;

因为 p 不是指向 int 的指针，它是指向 const int 的指针，当这样声明时，下一行将导致硬编译错误。

要消除警告，您必须进行强制转换：

int * p = (int *)&a;

更好的编译器会认识到此强制转换破坏了 const 承诺，并指示优化器不要将 a 视为 <代码>常量。

正如您所看到的，编译器的质量、功能和设置将最终决定您可以期望的行为。这意味着相同的代码在不同平台上或在同一平台上使用不同编译器时可能会显示不同的行为。

如果 C 标准为这种情况定义了一种行为，那么所有编译器都必须实现它，无论标准定义了什么，它都很难实现，这给每个想要编写编译器的人带来了巨大的负担。即使标准只是说“这是禁止的”，所有编译器都必须执行复杂的数据流分析来执行此规则。所以标准并没有定义它。它定义了 const 值不能更改，如果您找到一种方法来更改它们，则没有任何行为可以依赖。

Answer 11

是的，您可以更改常量变量的值。
试试这个代码：

#include <stdio.h>

int main()
{
    const  int x=10;

    int *p;
    p=(int*)&x;
    *p=12;
    printf("%d",x);
}