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

typecasted c++ pointer and non-typecasted pointer points to same location,but gives different values

本文关键字:类型转换 指针 C++ 位置      更新时间:2023-10-16

在下面的代码中

#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的变量 (b)。这在C++undefined behavior。未定义的行为意味着,程序在这一点上可以做任何事情,一切都是有效的,包括打印完全错误的数字甚至崩溃。

你首先承诺b是恒定的,他们你违背了这个承诺。

编译器通过强制您插入强制转换,为您提供了不允许执行的操作的提示。如果没有(int*)强制转换,您的代码将无法编译,因为它不是 const 正确的。绕const通常是暗示某些事情不正确。在const周围进行强制转换有合法用途,但在底层变量确实const的代码这样的情况下则不然。

允许你四处投射的情况const都涉及一个非常量变量,并有一个常量指针指向它,然后将const指针投射到一个非常量指针,例如,因为你仍然保持逻辑恒常性,例如,你维护一个重要的不变量。但在这些情况下,基础存储始终是非常量的。

这很可能是你的方案中发生的情况:

编译器会记住您要为值 5 命名b。它还意识到您正在获取指向b的指针,因此此外它还为堆栈上的b保留了空间。在您尝试阅读它之前,它很可能甚至懒得将 5 放到堆栈上,但您永远不会这样做。相反,您将用 6 覆盖堆栈上b的位置。因此,print 语句首先打印一个 6(用于堆栈上 b 的位置),然后打印一个 5(编译器只是在你使用b的所有位置插入一个 5)。