条款03:尽可能使用const
const的一件奇妙事情是,它允许你指定一个语义约束(也就是指定一个“不被改动”的对象),而编译器会强制实施这项约束
修饰指针
面对指针,可以指出指针自身,指针所指物或两者都(或都不)是const
char greeting[] = "Hello";
char *p = greeting; //非常量指针,非常量数据
const char* p = greeting; // 非常量指针,常量数据
char *const p = greeting; // 常量指针,非常量数据
const char *const p = greeting; //常量指针,常量数据
那么怎么判别const修饰的是指针本身还是指针所指之物呢?
1:如果const出现在*号之前,表示指针所指的实体是常量
2:如果*出现在const之前,表示指针是常量
3:如果出现在星号两边,表示被指物和指针两者都是常量
如果被指物是常量,将const放在类型之前,或者类型之后、星号之前,其实两种写法相同。
例如传入到函数形参为一下两种
void f1(const Widget* pw);
void f1(Widget const* pw);
在STL中迭代器
STL迭代器系以指针为根据塑模出来,迭代器的作用就像个T*指针
申明迭代器为const就像申明指针为const一样(即申明一个T* const),表明这个迭代器不得指向不同的东西,但它所指的东西的值是可以改动的。如果你希望迭代器所指的东西不可被改动(即希望STL模拟一个const T*指针),那么就使用const_iterator。
下面给一段代码进行解释
vector<int>vec;
const vector<int>::iterator iter = vec.begin(); //iter的作用像个T* const
*iter = 10; //因为iter为常量指针,所以指针自身不能改变,但是所指的值可以改变
++iter; // 错误,iter为const,所以不能改变
vector<int>::const_iterator cIter = vec.begin(); //cIter的作用就像const T*,表示指针所指之物不能改变
*cIter = 10; //错误,因为*cIter为const,所以不能改变
++cIter; //正确
const最具威力的用法是面对函数声明时的应用,在一个函数申明式内,const可以和函数返回值、各参数、函数本身(如果是成员函数)产生联系。
令函数返回一个常量值,往往可以降低因客户错误而造成的意外,而又不至于放弃安全性和高效性。例如考虑有理数(rational numbers)的operator*声明式:
class Rational{...};
const Rational operator* (const Rational& lhs,const Rational &rhs);
为什么返回一个const对象呢?原因是如果不这样客户就能实现这样的操作;
Rational a,b,c;
...
(a*b) = c; //在a*b的成果上调用operator=
例如在这样的情况下会发生 chongzai
if(a*b = c)
但是如果operator*的回传值声明为const可以预防这个赋值动作leetcode。
const成员函数
将const实施于成员函数的目的,是为了确认该成员函数可作用于const对象身上。之所以如此重要,有两个原因
1:它们使class接口比较容易理解,这是因为,得知哪个函数可以改动对象内容而哪个函数不行,这很重要。
2:它们使”操作const对象”称为可能,这对编写高效代码是个关键
一个很重要的C++特性两个成员函数如果只是常量性不同,可以被重载