（二）尽可能使用 const

章魚.

于 2022-11-10 17:10:12 发布

阅读量229

点赞数

分类专栏： Effective C++ 文章标签： c++

本文链接：https://blog.csdn.net/weixin_43284996/article/details/127788605

版权

Effective C++ 专栏收录该内容

2 篇文章 0 订阅

订阅专栏

const 限定一个变量不允许被改变。使用const在一定程度上可以提高程序的安全性和可靠性。

关键字 const 可以用它在 classes 外部修饰 global 或 namespace 作用域中的常量，或修饰文件、函数、或区块作用域中被声明为 static 的对象，你也可以用它修饰 classes 内部的 static 和 non-static 成员变量。

1）面对指针，也可以定义指针自身、指针所指物、或者两者都为 const。

int a = 10;
const int* p1 = &a;    //non-const pointer, const data
int* const p2 = &a;    //const pointer, non-const data
const int* const p3 = &a;    //const pointer, const data

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

在定义被指物为常量时，有的程序员会将 const 放在类型之后、星号之前。两种写法的意义相同，所以下列两个函数接受的参数类型是一样的：

void f1(const int * v1);    //f1获得一个指针，指向一个常量
void f2(int const * v2);    //同f1

2）STL 迭代器系以指针为根据塑造出来的，所以迭代器的作用就像一个指针。

声明迭代器为 const 就像声明指针为 const 一样，表示这个迭代器不得指向不同的东西，但它所指的东西的值是可以改动的。如果希望迭代器所指的东西不可被改变，则需要使用const_iterator。

std::vector<int> vec;
const std::vector<int>::iterator iter = vec.begin();
*iter = 10;    //正确，改变 iter 所指物
++iter;        //错误，iter 是 const
std::vector<int>::const_iterator citer = vec.begin();
*citer = 10;    //错误，*citer 是 const
++citer;        //正确，改变 citer

3） const 修饰函数返回值。

在一个函数声明式时，const 可以和函数返回值、各参数、函数自身（如果是成员函数）产生关联。

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

class myData{...};    //定义一个自己的数据类型
//重定义 + 操作符
const myData operator+ (const myData& v1, const myData& v2);

为什么需要返回一个 const 对象呢？

在如下情况：

myData a, b, c;    //定义自定义数据 a, b, c
...
if (a * b = c);    //原想判断 a * b == c ，但是误输入成 =

如果当 a, b 为内置类型时，这样的代码直接了当就是不合法的。而 “良好的用户自定义类型” 的特征是它们避免无端地与内置类型不兼容，因此允许对两值乘积做赋值动作也就是没有意义的了。将 operator+ 的返回值声明为 const 可以预防这个没有意义的动作，使得错误更容易被发现。

4）const 成员函数

const 修饰的成员函数为了保护成员变量，要求const 函数不能修改成员变量，且 const 对象只可以调用 const 成员函数。

常函数：

        1.成员函数后加 const 后我们称这个函数为常函数

        2.常函数内不可以修改成员属性

        3.成员属性声明时加关键字 mutable 后，在常函数中依然可以修改

常对象：

        1.声明对象前加 const 称该对象为常对象

        2.常对象只能调用常函数

const 成员函数有两个优点：

1）使 class 接口更加简洁。可以得知哪些函数可以改动对象内容，那些不行。

2）使操作 const 对象成为可能。因为改善C++程序效率的一个根本方法是以 pass by reference-to-const 方式传递对象。因为常对象只能调用常函数，如果没有常函数，就算将常对象传递进来，也没有办法处理它。

值得注意的时，两个成员函数如果只是常量性不同，是可以被重载的。示例如下：

class myText {    //定义一个自己的 text
publice:
    //取出 text 的 position 位置字符
    const char& operator[] (std:size_t position) const {
        return text[position];
    }  
    char& operator[] (std:size_t position){
        return text[position];
    }      
private:
    std:string text;
};
...
myText mt("hello");
const myText cmt("hello");
...
cout << mt[0] << endl;    //合法，char& operator[]
mt[0] = 'a';                //合法, char& operator[]
cout << cmt[0] << endl;    //合法, const char& operator[] (std:size_t position) const 
cmt[0] = 'a';  //错误, const对象只能调用 const 成员函数
               //const 成员函数返回值为 const，不可以进行赋值操作

//操作 const 对象成为可能 
//输出 text 的第 0 位
void print_0 (const myText& cmt) {
    std::cout << cmt[0];
}

也应该注意，non-const operator[] 的返回类型是个 reference to char ，不是 char。如果只返回一个 char，下面这样的句子就无法通过编译：