const用法
const用于对变量类型进行限定,即程序不能改变该变量的值(对其进行赋值)。
const int size=2; //把size定义为一个常量
size=4; //错误:不能对其进行赋值
const的初始化
const对象创建后其值不能再改变所以,在创建const对象的同时必须对其进行“初始化”:
const int i=getdata(); //运行时初始化
const int j=4; //编译时初始化
const int k; //错误:未进行初始化
const的常量特性只会在,初始化后改变对象值的操作时才会发挥作用。
int i=4;
const int ci=i;
int j=ci;
const的引用
非常量不可以引用一个常量对象,因为存在改变常量对象值的风险。
初始化常量引用时允许用任意表达式作为初始值,只要该表达式的结果能转换为引用的类型即可 但是常量可以引用一个非常量对象(在学习引用时我们知道:引用的类型必须与其所引用的对象的类型相同,此处便是一个例外)。
const int ci=10;
const int &cj=ci;
cj=4; //错误
int &j=ci; //错误:非常量引用常量
int k=9;
const int &ck=k;
const int &r2=12; //r2是一个常量引用
const int &r3=r2*2; //r3是一个常量引用
//存在类型转换时
double dval=3.1415;
const int &cdval=dval;
//编译器把上面的代码变成了如下:
const int temp=dval; //由double型生成了一个——————临时的整型变量
const int &cdval=temp; //cdval事实上绑定的是临时量temp
//当cdval不是常量时将会报错:
//相当于执行的代码为:
double dval=3.1415;
cosnt int temp=dval;
int &cdval=temp; //很显然这里存在错误
值得一提的是:系统生成的临时变量均为const型变量
顶层sonst和底层const
指针本身就是一个对象,而它又可以指向另一个对象。因此指针本身是不是常量,指针所指的对象是不是一个常量这是两个独立的问题。
这就需要用到顶层const和底层const。顶层const指指针本身为一个常量,底层const指指针所指的对象为一个常量。从更广泛的角度来说顶层const可以表示任意的对象是常量,这对任意数据类型都是适用的,如:算术类型、类、指针等。底层const则与指针和引用等复合类型有关。
int i-0;
int *const p=&i;//顶层const
const int ci=4;//顶层const
const int *p2=&ci;//底层const
const int *const p3=p2;//左侧为底层const,右侧为顶层const
const int &r=ci;//用于声明引用的const都是底层const
当执行对象拷贝操作时,常量是顶层const还是底层const区别明显。
其中,顶层const不受什么影响:
i=ci; //ci是一个顶层const对此无影响
p2=p3; //p2和p3指对象的类型相同,p3的顶层const的部分不受影响
但是,底层const的限制影响却不能忽略。两个对象必须有相同的底层const资格,或者两个对象的数据类型能够相互转换。一般来说非常量能转换为常量,反之则不行:
int *p=p3; //错误:p3指向的是一个常量对象,而p指向的是一个非常量
p2=p3; //正确:p2和p3都是底层const
p2=&i; //正确:int*能转换为const int*
int &r=ci; //错误:常量不能转换为非常量
const int &r2=i; //正确:非常量可以转换为常量