类型转换 c++ 指针和非类型转换指针指向相同的位置，但给出不同的值

Question

在下面的代码中

#include <string.h> 
#include <iostream> 
using namespace std; 

int main() 
{ 
    int *a;
    const int b=5;
    a=(int *)&b;
    *a=6;
    cout<<*a<<b<<endl;
    cout<<a<<" "<<&b;

    return 0; 
} 

b 的地址被类型转换并存储到 a。所以据我所知，*a 必须指向与 b 相同的位置，并且应该给出与 b 相同的值。获取 a 和 &b 的输出显示它们都指向同一个内存位置。 但是 a* 和 b 给出不同的值作为输出。如果我没有对指针进行类型转换，那么我将得到 *a 和 b 的相同值。有人可以帮我找出这里有什么问题吗？提前感谢

65
0x7fff2e7969fc 0x7fff2e7969fc

Answer 1

您正尝试在声明为 const 的变量 (b) 上写入。这是 C++ 中的 undefined behavior。未定义的行为意味着，此时程序可能会做任何事情，一切都是有效的，包括打印完全错误的数字甚至崩溃。

你首先承诺b 是不变的，而他们却违背了这个承诺。

编译器通过强制您插入强制转换来提示您所做的事情是不允许的。如果没有 (int*) 强制转换，您的代码将无法编译，因为它不是 const 正确的。围绕const 进行转换通常暗示某些事情不正确。在const 周围进行强制转换有合法用途，但在底层变量实际上是const 的代码中却没有。

允许您围绕const 进行强制转换的情况都涉及一个非常量变量，并且有一个指向它的常量指针，然后将const 指针转换为一个非常量变量，例如，因为您仍然保持逻辑常数，例如你维护一个重要的不变量。但在这些场景中，底层存储始终是非常量的。

这很可能是您的场景中发生的情况：

编译器会记住您想将值 5 命名为 b。它还意识到您正在获取指向b 的指针，因此它还在堆栈上为b 保留空间。在您尝试阅读之前，它很可能甚至不会费心将 5 放入堆栈，但您永远不会这样做。相反，您使用 6 覆盖堆栈上 b 的位置。因此，打印语句首先打印 6（用于 b 在堆栈上的位置），然后打印 5（编译器只需在您使用 @987654337 的任何地方插入 5 @)。