C++ 从const_cast到 const常量存储的一点理解

在VS2019编译器下,使用const_cast可以强制消除表达式的const性质(也可以加上,但很少用)

看如下代码

#include <iostream>
using namespace std;
int main()
{
    const int a = 1;
    const int* p1 = &a;
    int* p2 = const_cast<int*>(p1);
    *p2 = 2;
    cout << a << "   " << &a << endl;
    cout << *p2 << "   " << p2 << endl;
    return 0;
}

p2通过const_cast消除了p1的const属性,因此预计输出 a=*p=2; &a=p;

而实际输出结果:

发现尽管p2指向与a所在同一块内存,但是它们输出的结果却不相同。原因为何?通过反汇编看一下:

可以发现在输出*p2值时,是从栈中地址取值,而输出a时,直接将1取出。

查阅了一些资料,这与const常量在内存中的存储方式和编译器优化有关:

const全局变量存放在全局区中

全局区中主要存放的数据有:全局变量、静态变量、常量(如字符串常量)

全局区的叫法有很多:全局区、静态区、数据区、全局静态区、静态全局区

这部分可以细分为data区和bss区

在程序结束后由操作系统释放

通过内存(指针)修改位于静态存储区的的const变量,语法上没有报错,编译不会出错,一旦运行就会报告异常。

const局部变量存放在栈上,和普通局部变量无差别,可以用指针间接修改const值。

存放函数的参数值,局部变量的值等,由编译器自动分配释放。

通过内存(指针)可以修改位于栈区的const变量,语法合乎规定,编译运行不会报错,但是在编译的时候所有用到该常量的地方全部被替换成了定义时所赋予的值,然后再运行的时候无法使用通过指针修改后的值。

对于基础数据类型,也就是const int a = 10这种,编译器会把它放到符号表中,不分配内存,当对其取地址时,会分配内存
对于基础数据类型,如果用一个变量初始化const变量,如果const int a = b,那么也是会给a分配内存
对于自定数据类型,比如类对象,那么也会分配内存

引用《C++编程思想》中的一段

  1. C++中的const默认为内部连接,也就是说,const仅在const被定义过的文件里才是可见的,而在连接时不能被其他编译单元看到。当定义一个const时,必须赋一个值给它,除非用extern作出了清楚的说明。

  2. 通常C++编译器并不为const创建存储空间,相反它把这个定义保存在它的符号表里。但是extern强制进行了存储空间分配(另外还有一些情况,如取一个const的地址,也要进行存储空间分配),由于extern意味着使用外部连接,因此必须分配存储空间,这也就是说有几个不同的编译单元应当能够引用它,所以它必须存储空间。

此处应该是c++里的常量折叠(或者常量替换)是将const常量放在符号表中,而并不给其分配内存。编译器直接进行替换优化。

因此,在编译期间,用一个常量替换了a,这个常量不含有a真正的地址,只是一份在寄存器中的拷贝,输出a时,调用的是该常量的值,而不是被改变过的a源地址所含的值。

解决方法:可以通过volalite关键字(取消编译器的优化)

可以看出此时a的值与*p2相等了。

但是a经过volatile修饰后输出的地址变为了1,经查阅cout << 似乎没有对volatile int*做重载运算符的操作,根据VS的提示,应该是被隐式转换为了bool 类型,空指针为false,输出0,其他输出1
可以这样打印地址。

可以在&a前加上(void*)求取正确地址

### 回答1: 在 C++ 中,const_cast 是一种用于转换 const 或 volatile 类型的指针或引用的关键字。它可以去掉指针或引用类型的常量性或易变性,但是需要注意,这种转换可能会导致未定义的行为。 下面是一个使用 const_cast 的简单示例: ```c++ void func(const int* ptr) { int* writable = const_cast<int*>(ptr); *writable = 100; // 通过 writable 修改指向的值 } int main() { int num = 10; const int* ptr = &num; func(ptr); // 调用 func 函数,修改 num 的值 return 0; } ``` 这个例子中,我们定义了一个 const int 类型的指针 ptr,它指向变量 num。在 func 函数中,我们使用 const_cast 去除了 ptr 指针的常量性,并将其赋值给了 int* 类型的 writable 指针。然后,我们通过 writable 指针修改了 num 的值。 需要注意的是,使用 const_cast 进行类型转换时需要非常小心,因为它可能会破坏原本的常量性或易变性,导致未定义的行为。因此,应该尽可能避免使用 const_cast,除非确实需要修改 const 或 volatile 对象。 ### 回答2: const_cast是C++中的一个关键字,用于将const属性从一个指针或引用中移除。它可以显式地将常量指针或引用转换为非常量指针或引用。 const_cast的使用场景可以分为两种情况。第一种情况是当我们需要修改一个以const声明的非指针或引用类型的变量时,使用const_cast可以去除其const属性。例如,当我们传递一个常量引用给一个函数,而这个函数需要修改该变量的值时,我们可以使用const_cast将其转为非常量引用,从而实现对变量的修改。 另一种情况是当我们需要修改一个以const声明的指针或引用类型的变量所指向的内容时,使用const_cast也可以实现。这通常发生在一个函数接受非常量指针或引用类型的参数,但在内部需要对参数所指向的内容进行修改时。在这种情况下,使用const_cast将常量指针或引用转换为非常量的形式,然后对其所指向的内容进行修改,可以达到我们的目的。 需要注意的是,虽然const_cast可以改变指针或引用的常量属性,但其本质上并不会真正去除对象的常量性。通过const_cast的修改操作可能会引发未定义行为或安全问题,因此使用const_cast时应当非常谨慎。我们应当遵循C++常量性规则,并确保对常量对象的操作不会导致不可预期的结果。 总之,const_cast是C++中的一个关键字,它的主要作用是用于将const属性从指针或引用中移除,从而实现对常量对象的修改。但使用const_cast需要谨慎,遵循C++常量性规则,以确保程序的正确性和安全性。 ### 回答3: 关键字const_cast是C++中的一个强制类型转换符号,用于去除指针或引用变量的const或volatile属性。 在C++中,const修饰的变量表示其值是不可修改的,而volatile修饰的变量表示该变量可能会在任何时间被修改或读取,不受编译器对该变量的优化。 const_cast用于改变指针或引用的常量或易变性属性,使其能够修改被const修饰的变量。 const_cast的使用方式如下: 1. 将指针或引用从const转换为非constconst_cast<T*>(ptr)。其中T为指针所指向的类型,ptr为被const修饰的指针。 2. 将指针或引用从volatile转换为非volatile:const_cast<T volatile*>(ptr)。其中T为指针所指向的类型,ptr为被volatile修饰的指针。 需要注意的是,const_cast只能用于去除指针或引用变量的常量属性,而不能改变实际的变量本身,否则会导致未定义的行为。另外,使用const_cast去除const或volatile属性应该是谨慎的行为,只有在确保被修改的变量实际上不会被修改的情况下才能使用。 综上所述,const_cast关键字在C++中用于去除指针或引用变量的const或volatile属性,使其能够修改被const修饰的变量。但需要注意使用时的谨慎和合理性。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值