再次修改了一个常量..用空指针[重复]

Question

可能重复：
Modified a constant in c

const int z = 420;
const void *v;
v = &z;

printf("\n%d | %d",z,*(int *)v);
//420 | 420

printf("\n%d | %d",*(char *)&z,*(char *)v); //0th-Bit same value
//-92 | -92

printf("\n%d | %d",*((char *)&z+1),*((char *)v+1) );    //1st-Bit same value    
//1 | 1

/***********************************************/
*((char *)&z+1) = 21;   //I change value for the 1st-Bit
                            //see v is not touched here.

printf("\n%d | %d -(note)-successfully corrupted (z+1) and change reflected in (v+1)",*((char *)&z+1),*((char *)v+1) );
//21 | 21
//yes  change is reflected in v after corruption of z

/****************the problem******************/

printf("\n%d | %d",z,*(int *)v);    //but now value of v is courrupt...while that of z is same
//420 | 5540
printf("\n%u | %u",&z,v);               //same address different values?
//1310548 | 1310548


/*************additional info*******************/

printf("\n%d | %d",*(&(*(&z+1))-1),*(int *)v);
//5540 | 5540

printf("\n%u | %u",(&(*(&z+1))-1),v);
//1310548 | 1310548

1>

指向“z”的空指针

当取消引用时会给出损坏的值

但是当直接使用 z 时，它会给出原始值。

所以同一个地址有 2 个不同的值

2>

当 z 经受恒等指针变换时

（即递增和递减）

z 现在将输出损坏的值！

但是 z 在进行正常或不进行转换时

like "*(&z)" 仍然会给出原始值。

Answer 1

如果您确实想防止数据被修改，请使用您的操作系统将其内存页声明为不可修改。

C 和 C++ 中的const 是概念上的安全机制和弱验证工具，而不是安全措施。它为遵循某些规则的程序员提供保证。如果违反规则，则无法保证。 （取决于严重程度，不保证它不会崩溃。允许您的程序崩溃或为“常量”提供不一致的值。）

哦，您真正的问题是地址中如何“存在”两个不同的值。答案是，如果编译器确定它知道您指的是常量，它不会查看地址而只是给出值。毕竟，这就是你应该说的没关系。

Answer 2

别再问这个问题了;-)

如果有帮助，您可以假设编译器采用了如下代码：

const int z = 420;
...
printf("%d\n", z);

并将其替换为：

const int z = 420;
...
printf("%d\n", 420);

这不能保证，你不能依赖它，但这是编译器所做的事情，它会解释你所看到的。

您还获取了z 的地址，但编译器不会/不一定会跟踪该指针的使用，并以相同的方式替换所有通过它的访问。这比仅仅识别符号 z 指的是一个 const 对象要困难得多。因此，当您无效地修改该 const 对象时，未定义行为的表现方式之一就是您所看到的不一致。

如果您想知道您的编译器实际上做了什么，并且您不会遵循 James 的建议，那么您就不走运了。这里没有人确切地知道你的编译器做了什么。甚至没有人知道您使用的是什么编译器。不同的编译器做不同的事情。