定义:
const 主要用于声明常量。当常量为对象时,对象值不可改变;当常量为指针时,该指针不可移动或重新赋值,但我们可以通过它去修改该指针的指向对象的值(前提是无需移动指针的修改)。所谓的形参、返回值、成员变量均是变量,因此当const修饰他们时,亦属于常量范畴。不过常成员变量必须在类的构造函数的初始化列表中进行初始化。
const 还可用于声明类的常成员函数。该常成员函数不能修改类中任何非const成员变量及调用非const成员函数。
语法格式:
常量为对象时:
const Type M=常量值(表达式)或Type const M=常量值(表达式);
const Type *M=指针对象地址或Type const *M=指针对象地址;
常量为指针(常指针)时:
Type * const M=指针对象地址;
理解该语法格式先要了解类型修饰符的优先级及结合方向的几个概念。const 是一个左结合的类型修饰符,它与其左侧的类型修饰符合为一个类型。* 是一个右结合的指针类型修饰符,&是一个右结合的引用类型修饰符,两者处于同一优先级。[]优先级比*高,所以当变量中含有[]时,M通常先和[]结合。声明的结合开始点为变量名M。因此,const 放在Type前后是无区别的,但当const放在指针符*左侧时const与type结合,则表示修饰的是指针内容.当const放在指针符*右侧时const与*结合,则表示修饰的是指针本身。类似的结合应用于&。
类的常成员函数时:
返回值 函数名(形参)const;
作用:
使编译器很自然地保护那些不希望被改变的参数,防止其被无意的代码修改。简而言之,增强程序的健壮性,减少bug的出现。
与define区别:
(1) 编译器处理方式不同
define宏是在预处理阶段展开。
const常量是编译运行阶段使用。
(2) 类型和安全检查不同
define宏没有类型,不做任何类型检查,仅仅是展开。
const常量有具体的类型,在编译阶段会执行类型检查。
(3) 存储方式不同
define宏仅仅是展开,有多少地方使用,就展开多少次,不会分配内存。
const常量会在内存中分配(可以是堆中也可以是栈中)。