C 语言

关注公众号 jb51net

关闭
首页 > 软件编程 > C 语言 > C++中const用法小结

C++中const用法小结

投稿:hebedich

C++ const 允许指定一个语义约束,编译器会强制实施这个约束,允许程序员告诉编译器某值是保持不变的。如果在编程中确实有某个值保持不变,就应该明确使用const,这样可以获得编译器的帮助。

const在C++中使用十分广泛,不同位置使用的意义也不尽相同,所以想写篇文章对其做一个总结。

首先,明确const是“不变”这个基本意义,但是不变不意味着什么都不变,下面将会看到。

1. const与变量

基本原则:const变量(对象)不能被修改

const在变量中的引入和魔数有关,所谓“魔数”指的是突然出现的一个常量值(也叫字面值常量)。

for(int i = 0; i < 512; i++)
{
// todo
}

上例中,512即为魔数,512突然出现在循环中,令人不能得知其意义,所以引入const。

const int length = 512;
for(int i = 0; i < length; i++)
{
// todo
}

这样就知道循环是在长度范围内。

1.1 const修饰一个变量(或者说对象),使其变成一个常量,表示该变量的值无法再被修改,正因为如此,所以定义一个常量的时候,必须初始化。

1.2 const常量的作用域:

我们知道,在全局作用域内声明一个变量(此处特指非const修饰的变量),其作用于整个程序,在其他文件中也能被引用,原因是在全局作用域声明一个变量,默认是extern修饰的。

在全局作用域内声明一个const变量,默认不是extern修饰,所以其只能作用于本文件内,若要在其他文件中访问,需要显式声明为extern

2. const与引用

基本原则:const引用是指向const变量(对象)的引用

const int ival = 1024;
const int &refVal = ival;

2.1 const引用可以指向一个相关类型(不是本类型)的const变量

double dval = 3.14;
const int &refVal = dval;

编译器将double转换成一个临时的int对象,然后让const引用绑定到这个临时对象,所以改变dval的值不会改变refVal,也就是说dval仍然是非const变量,refVal仍然是常量引用。

primer第四版是上面的说法,但我在VS2012中,const也可以指向一个本类型的非const变量,查找资料的原因大概是满足reference-campatible条件。

理论上,我们应该严格遵守,常量引用指向常量对象,非常量引用指向非常量对象,避免出错。

3. const与指针

const与指针的关系分为两种:const修饰的指针和指向const对象的指针,二者const的位置不相同

3.1 指向const对象的指针(const位于指针符号*前面)

对于一个const对象,必须用一个指向const的指针来指向它。原因在于,const修饰使得对象无法被改变,而指针如果不是指向const的指针,则可以通过指针来修改对象,这是不被允许的。

const int ival = 1;
const int *ptrVal = &ival;

反过来,对于一个指向const对象的指针,可以指向任意一个对象,这个该怎么理解呢?我们首先看看指针赋值的过程:

int *ptr = &val;

将val的地址赋值给ptr,因为赋值的只是地址,所以不知道ptr所指向的对象是否为const。

如果我们把一个地址赋值给一个指向const的指针,那么指针认为这是一个const的对象,也就是说,ptr指针指向了一个“自认为”是const的对象。

int ival = 1;
const int *ptrVal = &ival;

上面的程序是正确的,我们需要明确,ival是非const变量,所以我们可以通过给ival赋值更改ival的值。ptrVal指向了一个自认为是const的对象,所以我们无法通过*ptrVal来更改ival的值。

3.2 const修饰的指针(const位于指针符号*后面)

int *const ptr;

上式声明了一个const类型的指针,表示的意思是指针本身是一个常量,不能被修改。

如何理解?指针本身的值是一个地址,如果指针本身是一个常量,则这个地址值不能被修改,也就是说指针只能指向这个地址,不能指向其他地方。但指针所指向的地址的内容不属于指针本身的值,所以其所指向的内容可以改变。

int ival = 1;
int *const ptr = &ival;
*ptr = 2;          // ok
int ivalTwo = 11;
ptr = &ivalTwo       // error

综上,可以定义一个指向const对象的const指针

const int *const ptr = &ival;

3.3 typedef中易出错的const指针

typedef string *ptr;
const ptr s_ptr;

上式不能直接替换理解为const string *s_prt; 从而认为s_ptr是一个指向const string的指针。
首先,ptr是一个指针,const修饰的是一个指针,所以应该是string *const s_ptr; s_ptr是一个指向string的const指针。

4. const与数组

const与数组的点在于const在定义时必须初始化这个原则,所以使用动态分配数组时,如果数组存储的是const类型的对象,必须进行初始化(使用初始化符号())。

5. const与函数返回值

修饰函数的返回值,用于返回一个常量。

const int foo();

5.1 返回通过值传递

如果函数返回时采用值传递,比如返回一个int类型,那么函数会把返回的值(比如47)复制到外部临时存储单元中(产生临时副本),所以加const修饰毫无意义

int foo();
const int foo();

二者完全相同。需要注意的是,值传递产生临时副本,效率低(下面const与函数参数有讲),所以通常采用引用传递来返回。

5.2 返回通过引用传递(并不多见)

如果返回值不是内部类型,通常使用引用传递来返回结果,因为引用传递的是本身,不需要产生临时副本。但需要注意的是,此时仅仅返回一个别名。

ClassType &foo();
const ClassType &foo();

const修饰的返回引用值,表示函数调用的结果只能赋值给一个同类型的const引用。

5.3 返回通过指针传递

const ClassType *foo();

表示函数返回一个ClassType类型的指针,这个指针指向一个const对象,指针所指的内容不能被修改,所以函数的返回值只能赋值给指向一个const的同类型的指针。

const ClassType *ptr = foo();  //ok
ClassType *ptr = foo();     //error

6. const与函数参数

首先需要明确,const修饰的目的就在于保护所修饰的内容不被改变。
在C++中,函数参数分为值传递,指针传递和引用传递。

6.1 值传递

值传递在函数调用时产生一个临时副本,函数中对传入参数的修改和操作是对副本的操作,不改变实参本身的值,所以无需const来保护。
值传递的保护很好,但值传递存在缺点,需要产生临时副本,如果传入的是对象,那么需要进行构造、复制、和析构等操作,效率不高。这时候可以考虑引用传递

void foo1(int x);
void foo2(ClassType instance);     //开销较大

下面这种保护无意义:

void foo1(const int x);
void foo2(const ClassType instance);  

6.2 引用传递

通过传入实参的引用,降低开销。因为引用即本身,不需要去产生一个临时副本。

void foo1(int &x);
void foo2(ClassType &ref);

对于上述两个函数,函数调用和值传递的形式完全一样,不同的是函数内部得到的x和ref是调用传入实参的引用。也正因为如此,引用可以通过函数改变传入的参数来改变实参。这对与实参来说,比较危险,这时候需要通过const修饰来保护传入的引用不被修改。

void foo1(const int &x);
void foo2(const ClassType &ref);

通常来说,对于基本内部类型,不存在对象的构造等操作,所以下面两种保护参数不被修改的方式效率基本一样。

void foo1(int x);
void foo1(const int &x);

6.3 指针传递

指针传递在保护参数不被修改上和引用传递是一样的,指针传递还有一个功能是可以扩大接收参数的范围:

void foo1(const ClassType *ptr);

结合上面const与指针,我们知道,ptr指向一个自认为是const类型的对象,所以!传入的对象不一定是const修饰的对象,可以是const对象,也可以非const对象。反过来,如果没有const修饰函数的形参,则只能传入非const对象。

需要明确,无论传入的是否是const对象,都无法通过指针来修改这个对象,这和上面指针与const的关系是一致的。

最后需要知道:const只能修饰一个输入参数,如果是输出参数,无论是引用传递还是指针传递,都不能使用const来修饰

7. const与类的数据成员

const修饰的数据成员不能在构造函数中进行初始化,只能使用成员初始化列表进行初始化。
我的理解是,因为在构造函数执行之前,使用成员初始化列表对数据成员进行初始化,如果在构造函数中对数据成员进行初始化,相当于对const进行二次赋值,这是不被允许的。

之所以这么理解,可以参照类中引用类型的初始化,也是必须在初始化列表中进行初始化,因为引用类型也是在定义的时候必须初始化,要求和const一样,所以二者都只能使用成员初始化列表来进行初始化。

8. const与类的成员函数

const成员函数中,const位于函数的参数列表后面(函数声明前面表示函数的返回值是一个常量)

const修饰的成员函数表示成员函数是一个只读的作用,不改变成员变量。
const成员函数真正的含义在于,const其实修饰的成员函数的是隐含参数this指针,也就是说传入的是const ClassType *this,因为this指向一个const对象,所以不能修改。

因为this是指向对象的指针,所以我们需要再次结合const与指针的知识:

(1)const修饰了this,得到const ClassType *this,this指向一个“自认为”是const的对象(也就是本身),所以任何对象(const或者非const)都可以调用一个const成员函数,因为传入的指针都把自身这个对象看作是const对象,所以不能被修改。
(2)对于一个const对象,当其调用成员函数的时候,默认都传入this指针参数,因为this此时指向一个const对象(本身),所以相当于成员函数被const修饰,成员函数是一个const成员函数,所以反过来说,const对象只能调用const成员函数,因为非const修饰的成员函数,this指针不是指向const对象。
(3)在8.2的基本上,进一步,每个成员函数都可以调用其他成员函数,每个成员函数都传入this指针,所以成员函数相互调用必须保持this指针的一致性,所以const成员函数只能调用const成员函数,因为二者传入的this指针都是const修饰的。对于非const成员函数,其传入非const修饰的this指针,所以不能被调用。

搞清楚const真正的含义就明白了,一定要保持const成员函数传入的是const指针这个意识,对象调用就需要看对象(本身,指针,引用)是否是const。

您可能感兴趣的文章:
阅读全文