C和C++中的const修饰符的全面对比

C和C++中的const

main.c
/*C中的const
const修饰的变量可以不初始化
const修饰的量叫常变量，不是常量
绝对的常量就是一个立即数，可以作为数组的下标
const修饰的常变量和普通变量的唯一区别是：常变量定义以后不能作为左值存在
常变量和普通变量的编译方式一模一样
同一工程下，可以引用其他文件中定义的被const修饰的全局变量
a.c  const int gdata = 10;//生成的符号是global属性的
b.c  extern const int gdata;

*/

int main(){
    const int a;//可以不初始化，如果不初始化，以后没有办法给其一个合适的值
    const int b = 10;
    //b = 20;//错误，不能进行赋值，常变量不能作为左值存在
    //int array[a] = {0};//不能做为数组的下标

    int *p = (int*)&b;
    *p = 30;
    printf("*p = %d \n",*p);
    printf("b = %d \n",b);
    return 0;
}

这里写图片描述

main.cpp
/*
c++中的const的必须初始化
const修饰的量是真正的常量，可以作为数组的下标
（c++中const的编译规则 所有使用常量名字的地方全部替换为常量的初始值）
*/
int main(){
    const int a = 10;
    int arr[a] = {0};
    int *p = (int*)&a;//这里引用的是a的地址，不是a的值
    cout<<"p = "<<p<<endl;
    cout<<"&a = "<<&a<<endl;
    *p = 30;
    cout<<"a = "<<a<<endl;
    cout<<"*p = "<<*p<<endl;
    return 0;
}

这里写图片描述
什么时候const修饰的常量会退化为常变量？
当const所修饰的量引用一个编译阶段不明确的值的时候，const会退化为常变量。

test.cpp
int main(){
    int a = 20;//是指令，执行的时候才能确定下来
    const int b = a;
    int arr[b] = {0};
    return 0;
}

这里写图片描述
从汇编的角度看const

#include<iostream>
using namespace std;
int main(){
    int a = 10;//mov  dword ptr[ebp-4],0Ah
    const int b = a;//退化成常变量
    //eax,dword ptr[ebp-4]
    //mov dword ptr[ebp-8],eax
    cout<<b<<endl;

    const int c = 10;//真正的常量
    //mov dword ptr[ebp-0Ch],0Ah
    cout<<c<<endl;
}

这里写图片描述
c++中const生成的符号
在c++中，定义的被const修饰的全局变量所生成的符号是local。若在其他*.cpp文件引用该全局变量，则会出现链接错误。因为链接器只处理属性为global的符号，不处理属性为local的符号。

a.cpp
const int gdata = 20;

这里写图片描述
为了使得在 *.cpp文件定义的被const所修饰的全局变量可以在其他 *.cpp文件所能引用，则需在定义就加extern关键字，使其生成属性为global的符号。

a.cpp
extern const int gdata = 20;

这里写图片描述
由图可以看到，此时被const修饰的全局变量gdata所生成的符号其属性为global。

C和C++中的const修饰符的全面对比

猜你喜欢