[C++知识库]Effective C++ 条款03

条款3——尽可能使用const

const修饰的各种类型

char greeting[]="Hello";
    char* p=greeting;//non-const pointer,non-const data
    const char*p=greeting;//non-const pointer,const data
    char* const p=greeting;//const pointer,non-const data
    const char*const p=greeting;//const pointer,const data

注：
- non-const pointer,const data：无法修改指针所指的数据，如不可进行*(p+1)='Z’的操作
- const pointer,non-const data：无法修改指针本身，如不可进行p=another_ptr的操作

• const char* p 等效于 char const *p

iterator与pointer在被const修饰时的区别

 std::vector<int>MyVector{1,2,3};
    const auto iter=std::begin(MyVector);//iter的作用像个T*const,即const pointer,non-const data
    std::vector<int>::const_iterator citer=std::begin(MyVector);//citer的作用像个const T*,即non-const pointer,const data

关于const成员函数

• 两个成员函数如果只是常量性不同，可以被重载
• 当const在函数名前面的时候修饰的是函数返回值
• 当const在函数名后面表示是常成员函数，该函数不能修改对象内的任何成员，只能发生读操作，不能发生写操作

bitwise constness与logical constness

bitwise constness:不改变任何成员变量。

但bitwise constness不改变对象内任何一个bit的思想存在盲区，假设成员中有一根指针指向一块数据，这根指针虽然可以严格不被更改，但类外的指向该数据的指针可以对这个数据进行操作，此时const成员函数便失去了最初的意义。

logical constness:const成员函数可以修改它所处理的对象的某些bits，但只有在客户端侦测不出的情况下才得如此。

需要在const成员函数中修改的成员变量前加上mutable关键字

在const和non-const成员函数中避免重复

以下提供一份const与non-const成员函数共享函数体以避免代码重复的示例：

class TextBlock{
public:
    ...
    const char& operator[](std::size_t position) const{
        ...
        return text[position];
    }
    char& operator[](std::size_t position){
        return
            const_cast<char&>(static_cast<const TextBlock&>(*this)[position]);
    }
}

注意：只能在non-const版本中调用const版本,否则const成员函数会有修改对象的风险

请记住

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