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

2022-02-24 15:55:26 浏览数 (1)

C和C 中的const

代码语言:javascript复制
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;
}
代码语言:javascript复制
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会退化为常变量。

代码语言:javascript复制
test.cpp
int main(){
    int a = 20;//是指令,执行的时候才能确定下来
    const int b = a;
    int arr[b] = {0};
    return 0;
}

从汇编的角度看const

代码语言:javascript复制
#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的符号。

代码语言:javascript复制
a.cpp
const int gdata = 20;

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

代码语言:javascript复制
a.cpp
extern const int gdata = 20;

由图可以看到,此时被const修饰的全局变量gdata所生成的符号其属性为global。

0 人点赞