effective c++读书笔记 条款3

#ifndef Clause3_H
#define Clause3_H

//条款3 尽可能使用const

**//知识点1 将某些东西声明为const可以帮助编译器侦测出错误用法。
const可以被施加于任何作用域内的对象，函数参数，函数返回类型，成员函数本体。**

//修饰指针时：

char greeting[]="hello";
char *p=greeting; //non-const pointer,non-const data
const char * p1=greeting;//non-const pointer,const data
char * const p2=greeting;//const pointer,non-const data
const char * const p3=greeting;//const pointer,const data

//如果关键字const出现在星号左边，表示被指物是常量;如果出现在星号右边，表示指针自身是常量；如果出现在星号两边，表示被指物和指针两者都是常量。

//STL迭代器：以指针为根据塑性模型出来。

std::vector<int> vec;
const std::vector<int>::iterator iter;//iter表现得像一个T* const
std::vector<int>::const_iterator CIter;//citer表现得像一个const T*

//用于函数声明时的应用，令函数返回一个常量值，往往可以降低因客户错误而造成的意外

class Rational
{
public:
    const Rational operator*(const Rational& lhs,const Rational& rhs);
};
Rational a,b,c;
void fun()
{
    if(a*b=c)//防止这个没意思的赋值。
        ;
}

//知识点2 编译器强制实施bitwise constness，但你编写程序时应该使用“概念上的常量性还有待理解

//知识点3 当const 和non-const成员函数有着实质等价的实现时，令non-const版本调用const版本可以避免重复

class TextBlock{
public:
    const char& operator[](std::size_t position) const
    {
        //边界检验
        //日志数据访问
        //检验数据完整性
        return text[position];
    }
    char& operator[](std::size_t position) 
    {
        //边界检验
        //日志数据访问
        //检验数据完整性
        return text[position];
    }

private:
    std::string text;
};
//上述代码重复了大部分，所以我们想用一个替换另一个。
//我们应该做的是实现operator[]机能一次并且使用它两次。也就是说
//我们必须令其中一个调用另一个。这促使我们将常量性移除。
class TextBlock{
public:
    const char& operator[](std::size_t position) const
    {
        //边界检验
        //日志数据访问
        //检验数据完整性
        return text[position];
    }
    char& operator[](std::size_t position) 
    {

        return
            const_cast<char&>(                       //将op[]返回值的const转除
                static_cast<const TextBlock&>(*this) //为*this加上const
                    [position]                      //调用const op[]
            );
    }

private:
    std::string text;
};

//一些解释：添加const的那一次转型强迫进行了一次安全转型（将non-const对象转为const对象）
//所以我们使用static_cast。移除const的那个动作只可以藉由const_cast完成,没有其他选择。

//反向做法–令const版本调用non-const版本以避免重复–并不是我们应该做的事。

#endif