条款03: 尽可能使用const

╰半橙微兮° 2022-05-23 11:07 154阅读 0赞

面对指针:

\-若关键字出现在 \* 左边，表示被指物是常量（但可以通过其它途径改变被值对象的值,不能通过此指针改变）

若关键字出现在 \* 右边，表示指针自身是常量；

若出现在两边，表示被植物和指针两者都是常量

若被指物是常量,有两种写法,意义相同:

void f1(const Widget* pw);
    void f2(Widget const * pw);

迭代器的作用就像个T\* 指针。

声明迭代器为const就像声明指针为const一样(T\* const指针),表示迭代器不可变（但迭代器指向的对象的值可以改动）。

若希望迭代器指向的值不可变(即模拟const T\* 指针)。则需要const\_iterator:

std::vector<int> vec;
    ...
    const std::vector<int>::iterator iter = vec.begin();
    *iter = 10;
    ++iter;
    
    std::vector<int>::const_iterator cIter = vec.begin();
    *cIter = 10;                //错误,const_iterator指向的值不可变,相当于const T*
    ++cIter;

令函数返回一个常量值，可以降低因客户错误而造成的意外，而又不至于放弃安全性和高效性。

有理数的operator \*声明式:

class Rational { ... };
    const Rational operator* (const Rational& lhs, const Rational& rhs);        //*运算后返回一个const

若不返回一个const，考虑以下代码：

Rational a,b,c;
    ...
    if (a * b = c);         //本来想做个比较,误把==打成了=.

若返回值是一个const,则赋值操作是错误的，可以预防这样的错误。

const成员函数:  
两个成员函数如果只是常量性不同，可以被重载。----C++重要特性

考虑以下class:

class TextBlock {
        public:
            ...;                                        /* const成员函数说明不会修改数据成员 */
            const char& operator[] (std::size_t position) const     //operator[] for const 对象   
            {   return text[position];  }
            
            char& operator[] (std::size_t position)                 //operator[] for non-const 对象
            {   return text[position];  }
            
        private:
            std::string text;   
    };

TextBlock的operator\[\]可被这么使用:

TextBlock tb("Hello");
    std::cout << tb[0];         //调用non-const TextBlock::operator[]
    
    const TexBlock ctb("World");
    std::cout << ctb[0];        //调用const TextBlock::operator[]

/\* 成员函数const补充:哲学 (逃 \*/

哲学的两个流派：bitwise constness 和 logical constness;

bitwise constness阵营主张：const成员函数不可以更改对象内任何非static成员变量

logical constness阵营主张： const成员函数可以修改处理的对象内的某些bits;

如何修改const成员函数里的某些数据呢?

解决方法:利用C++的一个与const相:mutable(可变的).mutable释放掉non-static成员变量bitwise constness的约束

例如:

class CTextBlock {
        public:
            ...;
            std::size_t length() const;
        private:
            char* pText;
            mutable std::size_t textlength;         //这些成员变量总是可变的,即使是在const成员函数内
            mutable bool lengthIsValid;
    };
    std::size_t CTextBlock::length() const
    {
        if (!lengthIsValid) {
            textlength = std::strlen(pText);
            lengthIsValid = true;
        }
        return textlength;
    }

const是个奇妙且非比寻常的东西。在指针和迭代器身上；在指针、迭代器及reference指涉的对象身上；在函数参数和返回类型身上；

在local变量身上；在成员函数身上，林林总总不一而足。const是个威力强大的助手。尽可能使用它。你会对你的作为感到高兴～

总结：  
\-将某些东西声明为const可帮助编译器侦测出错误用法。const可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。

\-编译器强制实施bitwise constness,但你编写程序时应该使用“概念上的常量性”

\-当const和non-const成员函数有着实质等价的实现时，令non-const版本调用const版本可避免代码重复。