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

Posted 2023-02-16

【中文标题】类型转换 c++ 指针和非类型转换指针指向相同的位置，但给出不同的值

【英文标题】：typecasted c++ pointer and non-typecasted pointer points to same location,but gives different values

【发布时间】：2019-02-23 19:10:30

【问题描述】：

在下面的代码中

#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

【问题讨论】：

你所拥有的是未定义的行为。

当您更改声明为 const 的值时，您的程序具有未定义的行为。你很幸运它没有崩溃。

@john 实际上，如果它真的崩溃了，他会更幸运。

【参考方案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 @)。

【讨论】：

Your answer to my unrelated question 仍然是唯一的答案。我想暂时保留我的问题，接受没有答案，但不希望否认你的声望点。相反，我已经查看了您的其他一些答案，以找到两个我可以投票的好答案。这是一。 Here 是另一个。两者都是很好的答案，都当之无愧+1。所以，没有接受，但你和我应该在观点上保持一致。

@thb：这不是必须的，但你真是太好了！谢谢！ :-)