读书笔记_Effective_C++_条款三:尽可能使用const
const是常量的意思,它可以定义一个不可改变的量,主要用于以下几个地方:
1. 修饰变量,使之不可改变
举个例子:
const int var = 3;
此时var的值就不能改变了。也正是因为const的变量不能轻易修改存储的值,所以在声明的时候就要初始化,这样就是不行的:
const int var;
编译器就会报错。
2. 修饰指针
指针是特殊的变量,有时我们希望对它所指向的对象操作,而有时我们又希望对指针本身进行操作。同样,const应用于指针也有两个含义:一个是指向常量(指向的内容不可更改),一个是常量指针(指针的指向不可更改)。看下面这两个例子:
const int* p = &a;/* p为指向常量的指针,即p指向的对象是常量,不可以通过*p = 3 来修改a的值,但这时p = &b换个指向还是可以的 */
int* const p = &a; /* p为常量指针,即p的指向不可更改,不可以通过p = &b来修改p的指向,但这时*p = 3改变a的值还是可以的 */
const int* const p = &a; /* p为指向常量的常量指针,p的指向以及指向的对象都不可以更改,无论是*p = 3,还是p = &b都是错误的 */
还有一种形式是int const *p,这种形式是表示常量指针,还是指向常量的指针呢?Effective C++给出的建议是看“*”的位置,当const位于星号左侧时,const修饰的是值,即表示指向常量,而当const位于星号右侧时,const修饰的是指针,即表示常量指针。所以int const *p等价于const int *p,你想对了吗?(关键看const修饰的是*p还是p)。
const有时还会修饰函数的形参或者函数的返回值,都是属于1或2这两种情况。修饰函数形参的用法:
void fun(const char a)
{
a = ‘d’; // 错误,因为的值不可以改变
cout << a; // OK
}
还有一个地方要注意一下,若有:
void fun1(const char* a)
{
cout << a << endl;
}
void fun2(char *a)
{
cout << a << endl;
}
当实参为const时,比如const char* msg = “hello”,此时fun1(msg)是可以的,但fun2(msg)会报编译错,说是无法将const char*转成char*;而当实参为普通变量时,比如char* msg = “hello”,fun1(msg)和fun2(msg)都是OK的。这是为什么呢?因为当const的变量传递给非const的变量会不安全(非const的变量可以修改原来定义为常量的东西了!),所以C++限制了这种用法(需用强制类型转换来告诉编译器,编译器才会放行);而反过来,当非const的变量传递给const变量时,不存在安全问题,所以C++编译器总是会放行的。因此,如果在函数体内确实不改变形参a的值,那么采用带const的fun1的写法会更好,适用性更强。
3. 修饰迭代器
C++的STL中使用迭代器作为接口,它定义了普通的迭代器,如vector<T>::iterator,也定义了指向常量的迭代器,如vector<T>::const_iterator,初学者可能想当然地认为const vector<T>::iterator等价于vector<T>::const_iterator,其实不是这样的,const vector<T>::iterator表示这个迭代器的指向不可以更改,即表示的是常量迭代器。
4. 在类中修饰成员函数
const放在类中成员函数的后面,表示这个成为函数不会修改类的成员变量,比如:
class A
{
private:
int a;
double b;
public:
void fun1() const;
void fun2();
};
注意这里的fun1()函数后面有一个const,表示这个函数不会修改类的成员变量(在它的函数体里面出现任何改变a或b的值的操作,均不能通过编译);另一方面fun2()函数后面没有const,表示这个函数可能修改类的成员变量,注意这里用的词是“可能”,fun2()可以修改也可以不修改,但为了增强安全性,所以良好的编程风格一般会把不改动成员变量的成员函数修饰为const的。
有一点要切记:有无const是可以构成成员函数的重载的!
在本书中还提到了一个尖锐的问题,如果假定类是这样的:
class B
{
private:
int* p;
public:
…
};
我们看到,类的成员函数是指针,假定它在构造函数时会被初始化,而指向一段内存空间。那么如果不改变p本身(即指向不变),但是改变了p指向的内容(比如*p = 3),这样到底算不算对成员变量进行改动了呢?
读者可以在VS环境中写一下测试用例,可以发现VS编译器对这种情况是放行的,*p = 3完全可以通过,但是p = &b就不可以了。
虽然编译器是放过你了,但这也许并不是你的本意,本书中推荐的是“从逻辑上看”,就要交由写代码的你去好好思量一下。如果在某个函数里确实改动了p所指向的内容,那么最好就不要加上const;反过来,如果加上了const就不要改变成员变量,包括它所指向的值。
在const和非const成员函数中避免重复
我觉得这是一个非常重要的内容,有没有加const是构成函数重载的,但通常这种重载的相似度很高,就用书上的例子:
class TestBlock
{
private:
string text;
public:
...
const char& operator[](size_t position) const
{
…
return text[position];
}
char& operator[](size_t position)
{
…
return text[position];
}
};
可以看到两个重载函数里面的操作都是一样的,别因此认为可以用ctrl+c,ctrl+v而省事了,如果你要改动其中一个函数体里的内容,另一个就要同步更新,而万一你忘记了更新,后果是非常严重的!
一个好的方法来实现同步——在非const的函数中调用const函数!这样来修改:
char& operator[] (size_t position)
{
return const_cast<char&>(
static_cast<const TestBlock&>(*this)[postion]
);
}
说白了,就进行两次转换,一次是把非const的对象(就是自己(*this)转成const对象),但注意返回值要求是非const的,所以用const_cast再进行一次转换就OK了。关于C++转换可以参照本博客的
http://www.cnblogs.com/jerry19880126/archive/2012/08/14/2638192.html。