序言
主要是为了讲解const 、volatile、mutable区别。
const
我们知道const 修饰变量,或者函数,指针等等通常表示它们是不可变的,只读的。但是实际意义上,变量的值是真的不可变的吗,不是,是可变的。更多意义上帮助程序员提前发现问题,避免不该修改的值被意外或者显示地修改,但是无法完全保证不被修改。
void myPrint(const char *str);
void myPrint(const char *str)
{
char *b = (char *)str; //传统转换方式实现const_cast运算符
b[0] = 'H';
qDebug() << b;
qDebug() << *str;
}
int main(int argc, char *argv[])
{
QApplication a(argc, argv);
char str[] = "hello world";
qDebug() << str;
myPrint(str);
qDebug() << str;
return a.exec();
}
结果:
如下这段代码在C++中编译不过,但是在C中却能编译过,可见对于const 去修饰内置数据类型作为常量来说,C++更加严苛。
const int constant = 2019;
int* modifier = &constant
// Error: invalid conversion from 'const int*' to 'int*'
但是如下代码
#if 1
const int c = 2018;
const int* p = (&c); //指向常量的指针
int* fp = const_cast<int *>(p);
//int* fp = (int*)(&c); 老式方法
qDebug() << *p;
qDebug() << *fp;
qDebug() << c;
qDebug() << p;
qDebug() << fp;
qDebug() << &c;
*fp = 2019;
qDebug() << *p;
qDebug() << *fp;
qDebug() << c;
qDebug() << p;
qDebug() << fp;
qDebug() << &c;
//const_cast 了解
#endif
结果输出:
总结:
**1. const 直接修饰的常量的值没有改变,通过const_cast 只是去掉const属性, 但是并未正真去除。只是转化为非const,可以操作变量值,但是真正的值并未改变。
2. 但是如果对象是一个常量,再使用const_cast执行写操作就会产生未定义的后果。
3. 如果确定传入的指针参数仅用于访问数据,那么应该将其声明为一个指向const限定类型的指针,避免函数内部对数据进行意外地修改。
4. 不要试图将const数据的地址赋给普通指针。
**
volatile
volatile 意思是 不稳定的, 反复可变的意思。
一般说来,volatile用在如下的几个地方:
1、中断服务程序中修改的供其它程序检测的变量需要加volatile;
2、多任务环境下各任务间共享的标志应该加volatile;
3、存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能有不同意义;
记住两点:
- 保持内存可见性,读写都是直接从主内存操作,保证每次更新值后更新到主内存中,或者从每次读取值都是主内存中最新的状态。
- 指令重新排序,但是不能保证操作原子性。(当程序执行到volatile变量的读操作或者写操作时,在其前面的操作的更改肯定全部已经进行,且结果已经对后面的操作可见;在其后面的操作肯定还没有进行;
在进行指令优化时,不能将在对volatile变量访问的语句放在其后面执行,也不能把volatile变量后面的语句放到其前面执行)
volatile 原理 从CPU角度
volatile 原理 从CPU角度
博客
博客
博客
博客
mutable
mutable 字面意思 可变的,多变的。
在C++中,mutable也是为了突破const的限制而设置的。被mutable修饰的变量,将永远处于可变的状态,即使在一个const函数中。
保护类的成员变量不在成员函数中被修改,是为了保证模型的逻辑正确,通过用const关键字来避免在函数中错误的修改了类对象的状态。并且在所有使用该成员函数的地方都可以更准确的预测到使用该成员函数的带来的影响。而mutable则是为了能突破const的封锁线,让类的一些次要的或者是辅助性的成员变量随时可以被更改。没有使用const和mutable关键字当然没有错,const和mutable关键字只是给了建模工具更多的设计约束和设计灵活性,而且程序员也可以把更多的逻辑检查问题交给编译器和建模工具去做,从而减轻程序员的负担。
struct Test
{
int d;
mutable int b;
};
const Test test={1,2};
test.d=11;//编译错误 说不能给 不能给常量赋值
修改后
struct Test
{
int d;
mutable int b;
};
const Test test={1,2};
qDebug() << test.d << test.b;
test.b=11;
qDebug() << test.d << test.b;
结果:
还有一点 就是 mutable 不能 与 static 结合:
mutable是为了让 const 对象的某些数据成员可以被修改。static是类的成员,不属于对象,与 mutable没有关联