const修饰符限定的常量

类型前加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

可以看到值变为相同的了，但地址变为１了，小生也不知道为什么（: