C++改善_2016_11_23

//rule03: 尽可能使用const


//const,允许你指定一个“不该被改动 ”的对象
//编译器会帮你强制实施这个约束
//只要这是事实，你就该确实说出来，这样就能获得编译器的帮助，确保这个约束不被违反


//在STL中有两种case:
//1. 声明迭代器为const就像声明指针为const一样，表示这个迭代器不得指向不同的东西，但它所指的东西的值可以改动
std::vector<int> vec;
...
const std::vector<int>::iterator iter = vec.begin(); //such as T* const
*iter = 10; //没问题，改变iter所指物 
++iter; //错误！iter是const


//如果你希望迭代器所指的东西不可被改动，就需要的是const_iterator
std::vector<int>::const_iterator cIter = vec.begin();
*cIter = 10; //错误 *cIter是const
++CIter;  //没问题该表cIter


const最具威力的用法是面对函数声明时的应用
class Rational {...};
const Rational operator*(const Rational &lhs, const Rational &rhs);
这样做可以避免诸如if(a*b = c).....的错误


在const成员函数内，如果你想赋值给成员变量，就在成员变量声明时最前面加mutable


class Text{
public:
...
const char& operator[](std::size_t position) const
{
...
...
...
return text[position];
}

char& operator[](std::size_t position)
{
...
...
...
return text[position];
}
};




==>可优化为
const char& opertor[](std::size_t position) const
{
...
...
...
return text[position];
}

char& operaotr[](std::size_t position)
{
return 
const_cast<char &>(
static_cast<const TextBlock&)(*this)[position]
);
} 


//反向做法就不行
//记住， const成员函数承诺绝对不改变其对象的逻辑状态。


//将某些东西声明为const可帮助编译器侦测处错误用法。const可被施加于任何作用域内的对象，函数参数，函数返回类型，成员函数本体
//编译器强制实施bitwise constness, 但你编写程序时应该使用"logical constness" 
//当const和non-const成员函数有着实质等价的实现时，令non-const版本调用const版本可避免代码重复。