条款03:尽可能使用const(Use const whenever possible)
1.const == 奇妙的事
const的一件奇妙的事是,他允许你定义一个约束,(告诉编译器,这是一个“不该被改动的对象”),并且你这样做了之后编译器会协助你执行这条约束,使编译器成为你的助手。
这确实是一件奇妙的事,程序员其实就是在用特定的语言进行说话,而编译器就是你的翻译者,程序员和你的“翻译者”的密切配合才能出好的程序。
2.const语法变化多端(变量上的)
(1)语法
相信用过的人都见过和尝试过这些看着让人头疼的语法了吧。指针和引用都有不同的const语法
const int *p; //
int const *p; //前面两种形式不一样,但是是同一种。都是指针所指向的变量是修饰为常量
int *const p; //const修饰的是指针变量本身,指针变量本身是常量
const int *const p; //合以上两者
这里不得不提一下来自《C++ Templates》作者序的一个说法:
我们都知道int const *p与const int *p 是等同的
但是这里我们更趋向于int const *p
这里提出两点原因:
a.指针对问题“什么是恒定不变的?” int const *p提供很容易理解的答案,“恒定不变的部分”是const限定符前面的int
int const *p //恒定不变的是int (指针所指向整数的部分,整数类型是int)
int* const p //恒定不变的是int*(指针变量本身,指针变量的类型是int*)
提供另外一种理解const指针的方法
b.设计到使用模板时一个常用的语法替换原则
typedef char* CHARS;
typedef CHARS const CPTR; //指向char类型的常量指针(指针本身是不变)
//当我们用CHARS所代表的含义对它进行替换之后
typedef char* const CPTR//任然是char类型的常量指针 //但是当我们把const位置放在前面时,就不在实用了
typedef const CHARS CPTR;//指向char类型的常量指针
//替换之后
typedef const char* CPTR;// 指向常量的char类型的指针
(2)STL迭代器的const
迭代器是以指针为根据塑造出来的,所以迭代器的作用就像T* 指针。
所以声明迭代器为const就像声明指针为const一样(即声明一个T* const指针),迭代器不能指向不同的对象,所指向的对象的值可以改变
std::vector<int> vec;
...
const std::vector<int>::iterator iter = vec.begin(); //iter的作用像个T* const
*iter = ; //改变iter所指向的物
++iter; //错误!!!iter本身是const的 std::vector<int>::const_iterator cIter = vec.begin(); //cIter的作用想个 const T*
*cIter = ; //错误!!!cIter所指向的为const
++cIter; //没问题。
迭代器的使用:const iterator iter; const_iterator iter
(3)const用于函数的返回值和参数值
利用const本身的属性来解决一些不变问题。
3.const成员函数
(1)目的,是为了确认该成员函数可作用于const对象身上。
重要:a.const使你的class接口比较容易被理解,这样可以很清楚的知道哪个函数可以改动对象内容哪个不可以;这很重要
b.它们使“操作const对象”成为可能。(很多时候以pass by reference-to-const方式传递对象),这样可以使const对象呗调用