const修饰符限定的常量

时间:2023-12-20 19:38:08

类型前加const修饰符限定变量为只读,称为常量,定义时必须初始化,且初始化后编译器不允许再修改常量的值。

一、常量的定义##

const在类型前面

const int value;                  //value是const
const char *value; //*value是const, value可变
const (char *) value; //value是const,*value可变
char* const value; //value是const,*value可变
const char* const value; //value和*value都是const

const在类型后面

int const value;                // value是const
char const * value; // *value是const, value可变
(char *) const value; //value是const,*value可变
char* const value; // value是const,*value可变
char const* const value; // value和*value都是const

总结

const在\(*\)左侧指针所指的值不可改变,const在\(*\)右侧指针不可改变。

二、常量(const)与变量(non-const)之间的转换##

non-const转化为const

int a = 10;
const int b = const_case<const int>(a);

const_case<const \([type]\)>(\([data]\))会返回non-const。

一般不用,因为直接\(int b = a\)就好,因为\(a\)作为常量可以直接赋给变量

const转化为non-const

const int a = 10;
int b = const_cast<int>(a);

const_cast<\([type]\)>(\([data]\))可用于去除const。

三、常量(const)与变量(non-const)之间的赋值##

1.常量在初始化后就不可以再被赋值。###

2.常量赋值给变量###

一般的常量赋值给变量没有问题,但指针所指的值为const时要利用变换const_cast去const限定。

可以理解为指针所指的值限定为const时,编译器限定该地址下所存的为常量只读,而赋给普通指针时,普通指针默认改地址下存的为变量可以被更改。然而同一地址下不可能即为常量又为变量,所以报错。

const int a = 10;
int b = a; //正确
const int* c = &a;
int *d = c; //报错
int *e = const_cast<int*> (c); //正确

注:此时通过e来更改地址下所存的数据,c的值也会被更改,但会出现如下现象:

    const int c = 10;
int *e = const_cast<int*> (&c);
(*e)++; cout << "c address= " << &c << endl;
cout << "e adderss= " << e << endl;
cout << "c value= " << c << endl;;
cout << "e value= " << *e << endl; //输出为
// c address= 0x7ffde623acb4
// e adderss= 0x7ffde623acb4
// c value= 10
// e value= 11

虽然地址相同但却存着不同的值,猜想可能的原因在于编译器进行了优化,由于寄存器访问的速度远远超过内存访问速度,因此编译器会将部分数据存储在寄存器中,需要时直接从寄存器中取出。本题数据类型为const,编译器认为数据不会被修改,因此放心大胆从寄存器中取值了,但是事实上内存中的数据已经被修改了。

如何来验证上面的猜测呢,当然是禁止编译器优化了,可以使用volatile关键字禁止编译器的优化,这样编译器每次都不得不从内存中取数据,这样在内存中数据被修改后就会相应修改了。

    volatile const int c = 10;
int *e = const_cast<int*> (&c);
(*e)++; cout << "c address= " << &c << endl;
cout << "e adderss= " << e << endl;
cout << "c value= " << c << endl;;
cout << "e value= " << *e << endl; //输出为
// c address= 1
// e adderss= 0x7ffd2e357204
// c value= 11
// e value= 11

可以看到值变为相同的了,但地址变为1了,小生也不知道为什么(: