关于const的疑问

1.c语言中的const

• const修饰的变量是只读的，本质还是变量
• const修饰的局部变量在栈上分配空间
• const修饰的全局变量在只读存储区分配空间
• const只在编译期有用，在运行期间无用

const修饰的变量不是真正的常量，它只是告诉编译器该变量不能出现在赋值符号的左边

• c语言中的const使得变量具有只读属性
• const将具有全局生命周期的变量存储于只读存储区
• const不能定义真正意义上的常量！

#include <stdio.h>

int main()
{
    const int c = 0;
    int* p = (int*)&c;
    
    printf("Begin...\n");
    
    *p = 5;
    
    printf("c = %d\n", c);
    printf("*p = %d\n", *p);
    
    printf("End...\n");
    
    return 0;
}

c语言中的const只要编译时可以骗过编译器，就可以修改。

2 c++在c的基础上对const进行了进化处理

• 当碰见const声明时在符号表中放入常量
• 编译过程中若发现使用常量则直接以符号表中的值替换
• 编译过程中若发现下述情况则会给对应的常量分配空间

              对const使用了extern

              对const使用了&操作符

注意：c++编译器虽然可以为const常量分配空间，但是不会使用其存储空间中的值

c语言中的const变量

-c语言中的const变量是只读变量，会分配存储空间

c++中的const常量

-可能分配存储空间

        -当const常量为全局，并且需要在其它文件中使用

        -当使用&操作符对const常量取地址

c++中的const常量类似于宏定义

        -const int 5 c = 5; ~ #define c 5

c++中的const常量与宏定义不同之处

         const常量是由编译器处理

         编译器对const常量进行类型检查和作用域检查

          宏定义由预处理器处理，单纯的文本替换

#include <stdio.h>

void f()
{
    #define a 3
    const int b = 4;
}

void g()
{
    printf("a = %d\n", a);
    //printf("b = %d\n", b);
}

int main()
{
    const int A = 1;
    const int B = 2;
    int array[A + B] = {0};
    int i = 0;
    
    for(i=0; i<(A + B); i++)
    {
        printf("array[%d] = %d\n", i, array[i]);
    }
    
    f();
    g();
    
    return 0;
}

使用c语言编译器 gcc时，const int A = 1；为只读变量，使用A+B定义数组大小，只有在运行时才可以知道数组的大小，因此无法通过编译.使用c++语言编译器 g++时，const int A = 1；为常量，当编译器编译到int array[A + B]时会到符号表中取值来替换。

g()访问f()中a可以编译通过，因为a是一个宏，在预处理器中处理，进行文本替换，在g()中编译器看到的是printf("a = %d\n",3);可以理解为宏没有作用于的概念，但是编译器对const常量进行类型检查和作用域检查，因此g()中printf("b = %d\n", b);编译是无法通过的。

小结：

• 与c语言不同，c++中的const不是只读变量
• c++中的const是一个真正意义上的常量
• c++编译器可能会为const常量分配空间
• c++完全兼容c语言中的const常量的语法特性

​​​​​​​const什么时候为只读变量？什么时候为常量?

const常量的判别标准

•  只有字面量初始化的const常量才会进入符号表
• 使用其他变量初始化的const常量仍然是只读变量
• 被volatile修饰的const常量不会进入符号表
• 在编译期间不能直接确定初始值的const标识符，都被作为只读变量处理

​​​​​​​const引用的类型与初始化变量的类型

• 相同：初始化变量为只读变量
• 不同：生成一个新的只读变量

#include <stdio.h>

int main()
{
    const int x = 1;//字面量初始化 进入符号表 常量
    const int& rx = x;//​​​​​​​const引用的类型与初始化变量的类型相同 只读变量
    
    int& nrx = const_cast<int&>(rx);//去除只读属性 和 rx指向同一片内存空间
    
    nrx = 5;
    
    printf("x = %d\n", x);//1
    printf("rx = %d\n", rx);//5
    printf("nrx = %d\n", nrx);//5
    printf("&x = %p\n", &x);//相同
    printf("&rx = %p\n", &rx);//相同
    printf("&nrx = %p\n", &nrx);//相同
    
    volatile const int y = 2;//只读变量
    int* p = const_cast<int*>(&y);//去除只读属性
    
    *p = 6;
    
    printf("y = %d\n", y);//6
    printf("p = %p\n", p);
    
    const int z = y;//使用其他变量初始化的const常量仍然是只读变量
    
    p = const_cast<int*>(&z);
    
    *p = 7;
    
    printf("z = %d\n", z);//7
    printf("p = %p\n", p);
    
    char c = 'c';
    char& rc = c;
    const int& trc = c;//const引用的类型与初始化变量的类型不同 生成一个新的只读变量
    
    rc = 'a';
    
    printf("c = %c\n", c);//a
    printf("rc = %c\n", rc);//a
    printf("trc = %c\n", trc);//c
    
    return 0;
}