const关键字学习补充

目录

常见用法

顶层const、底层const

const成员函数

---

常见用法

这里只是提示，详细内容可以参考其他博客

1. const修饰变量

2. 修饰指针（常量指针，指针常量，顶层/低层const）

3. 修饰引用

4. 修饰函数返回值（比如，返回的复合对象结构体不可以被改变）

5. 成员函数（函数内部不可以改变成员变量）

参考：

const常见用法

顶层const、底层const

涉及到指针const的内容，顶层const表示指针本身就是一个常量，底层const表示指针所指的对象是一个常量。

int i = 0;

int *const p1 = &i;        // p1指针的值不允许修改

const int ci = 42;         // 不可以改变ci的值，顶层const

const int *p2 = &ci;       // p2指针的值可以修改，但是*p2的值不允许修改， 是底层const

关于互相赋值的一些规则，顶层const => 底层const，一般是ok的，因为代表着这不会去影响原来的值，底层const => 顶层const 存在问题。

    int a = 0;
    const int* p1 = &a;            // 底层const

    int b = 1;
    int* const p2 = &b;            // 顶层const

    p1 = p2;                       // ok的，顶层const => 底层const
    // p2 = p1;                    // 编译器不通过!

    std::cout << "Finished! \n";

const成员函数

C++运行在成员函数后添加const，表示该函数不会修改成员变量。

问题1：我在成员函数中确实不做任何修改，为什么还要加const

// 假如有个class Sale_data
// 成员函数如下
std::string isbn() const { return this->bookNo; }

如果在外部定义了const Sale_data 常量对象，那么该函数返回的值依然可能会被外部改变。const 常量对象只能调用const成员函数。

问题2：const在指针上的理解

在默认情况下，this指针的类型是指向类的非常量版本的常量指针，例如Sale_data中，this的类型是Sales_data *const，this指针不可以绑定到另一个常量对象，那么常量成员函数可以理解为如下：

std::string Sales_data::isbn (const Sales_data *const this) { return this->isbn; }

通过以上伪代码可以发现，成员变量内容不可以修改。