Effective C++——尽可能使用const

        const允许指定一个语义约束(也就是指定一个“不该被改动”的对象),而编译器会强制实施这项约束。只要保持某个值不变是事实,就应该说出来。以获得编译器的协助,保证不被违反。

const与指针

        注意const的写法,

const char* p = ...;//p可以指向新的地址,但是不能通过*p修改值
char* const p = ...;//可以通过*p修改值,但是不能让p指向新的地址
void f1(const Widget* pw);
void f2(Widget const * pw);//两种写法是一样的

        STL的迭代器,以指针为根据,所以迭代器的作用就像个T*的指针。声明迭代器为const就像声明指针为const一样,表示这个迭代器不能指向不同的东西,但它所指的东西的值是可以改动的。

vector vec;

const vector::iterator iter = vec.begin();//iter相当于一个T* const
*iter = 10;//可以,相当于改变*p的值
iter++;    //错误!
vector::const_iterator cIter = vec.begin();//cIter相当于const T*
*cIter = 10;//错误!
cIter++;    //可以

注:关于auto关键字声明

for (auto it = myVector.begin(); it != myVector.end(); ++it) {
    // 使用 iterator
}

for (auto it = myVector.cbegin(); it != myVector.cend(); ++it) {
    // 使用 const_iterator
}

const与函数声明

返回一个const

        令函数返回一个常量值,例如,

const int operator*(const MyClass& m1, const MyClass& m2);

为什么要返回一个常量呢?考虑如下情景

MyClass a,b,c;
if (a*b = c){...}

在本来应该是判断的过程中,变成了一个赋值过程,而且极大可能返回一个true。如果我们令a*b返回一个const值,就可以避免这种错误的发生(编译就不会通过,尽早发现错误)。

const成员函数

        将const实施于成员函数的目的,是为了确认该成员函数可以作用于const对象身上。第一,它们使class接口容易理解。方便得知哪个函数可以改动对象内容而哪个函数不行。第二,它们使“操作const对象”成为可能。

        一个容易被忽视的事实是:两个成员函数如果只是常量性不同,可以被重载

class TextBook{
private:
    string text;
public:
    const char& operator[](size_t position) const
    { return text[position];}
    char& operator[](size_t position)
    { return text[position];}
};

        其中,const的方法可以被const对象调用。例如,

void print(const TextBook& tb){
    ...
    cout << tb[0];
    ...
}

注,

const void f(...) const;

第一个const说明函数的返回值是const,第二个const声明f函数不会修改对象值,可以被const对象调用(但可以修改static成员变量)

mutable关键字

        mutable修饰的non-static成员变量,在const成员函数中也可以修改其值。(某些场景可能确实需要如此)

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

        如果,一个代码量很多的成员函数,同时需要一个const版本也需要一个non-const版本,则必然会出现大量的重复代码。

class TextBook{
private:
    string text;
public:
    const char& operator[](size_t position) const{
        //DO A
        //DO B
        //DO C
        return text[position];
    }
    char& operator[](size_t position){
        //DO A
        //DO B
        //DO C
        return text[position];
    }
};

        在上面的代码中,const 版本做到了 non-const 版本的一切,除了一个const资格修饰。我们将代码做如下修改:

class TextBook{
private:
    string text;
public:
    const char& operator[](size_t position) const{
        //DO A
        //DO B
        //DO C
        return text[position];
    }
    char& operator[](size_t position){
        return const_cast(
            static_cast(*this)[position]
        );
    }
};

        这份代码有两个转型动作,而不是一个。我们让 non-const 调用 const,但 non-const 内部如果单纯调用operator[],会递归调用自己。所以,为了避免无穷的递归,我们必须明确指出调用的是const operator[],但C++没有明确的语法可以这么做。因此,将 (*this) 从原始类型转型为 const TextBook& ,调用operator[]后,再将返回值中移除 const。

static_cast强迫隐式转换,为*this加上const

const_cast 将返回值的const char& 的const去掉

        运用 const 成员函数实现出其 non-const 孪生兄弟 的技术。而反向做法,“const成员函数调用non-const成员函数”是一种错误行为!

你可能感兴趣的:(Effective,C++,c++,effective,C++,const)