C++const常成员

const.png

const关键字在C语言中的应用

常类型是指使用类型修饰符const说明的类型，常类型的变量或对象的值是不能被修改的

const的普通用法

int const index = 10;   //const修饰的变量不能被修改，且必须初始化
const int index = 10;

初始化和赋值

/****初始化****/
int temp = 10;  //定义变量的同时初始化
/****赋值****/
int temp;
temp = 10;      //给变量赋值

这个在C语言的基本数据类型里面有说过

const修饰指针

常量指针

const修饰 *p

int const *p;   //const修饰 *p
const int* p;   //常量指针 不能通过指针修改p指向的内容(不能修改指向的内容)

指针常量

const 修饰 p

int temp =10;
int* const p = &temp;  //指针常量 不能修改p的指向 且必须初始化

const用于函数的形参

void fun(const int *p);

const用于形参时说明了形参在函数内部不会被改变

const关键字在C++中的应用

const修饰成员变量

class TEST
{
    const int m_tmp;  //常成员变量
public:
    TEST() :m_tmp(10)  //相当于 const int m_a = 10;
    {
        //m_a = 10; //赋值相当于修改值   常变量不能修改
    }
};

常成员变量必须使用初始化列表初始化

const修饰成员函数

类成员函数形参表之后，函数体之前加上const,这样的函数成为常函数

class TEST
{
    int m_money;  
public:
    TEST()  {
         m_money=1000;
    }
    void show() const
    {
        //常成员函数不能修改变量的值，下面是错误示范
        //cout << "资产:" << m_money++ << endl;
        cout << "资产:" << m_money << endl;   //常函数不能修改变量的值
    }
};

const修饰的是什么？

在C语言里面const是用来修饰变量的，那么在C++里面const是用来修饰什么，在C++中const实际修饰的是this指针，上面的代码在编译器看来是这个样子的

class TEST
{
    int m_money;
public:
    TEST(/*TEST* const this*/){
        this->m_money = 100;
    }
    void show(/*const TEST* const this*/) const //修饰this
    {
        cout << "资产:" << this->m_money << endl;
    }
};

const修饰成员函数构成重载？

是的没错，构成重载，原因是形参不同，构成重载

函数原型相同的成员函数，常版本和非常版本构成重载

class TEST
{
    int m_money;  
public:
    TEST()  {
         m_money=1000;
    }
    void show(/*TEST* const this*/) //重载
    {
        cout<< "资产:" << m_money++ << endl;
    }
    void show(/*const TEST* const this*/) const
    {
        cout << "const 资产:" << m_money << endl;
    }
};

const成员函数的调用问题

常成员函数不能调用非常成员函数，非常成员函数可以调用常成员函数,如果有重载版本的非常函数，优先调用非常函数

#include<iostream>
using namespace std;
class TEST
{
    int m_money;
public:
    TEST() {
        m_money = 1000;
    }
    /***非常成员函数可以调用常成员函数,如果有重载版本的非常函数，优先调用非常函数***/
    void show(/*TEST* const this*/)
    {
        cout << "资产:" << m_money++ << endl;
        fun();
        foo();
    }
    /***********常成员函数不能调用非常成员函数***********/
    void show(/*const TEST* const this*/) const
    {
        cout << "const 资产:" << m_money << endl;
        //fun(this);    //错误原因不能将“this”指针从“const TEST”转换为“TEST &”   
        foo();
    }
    void fun(/*TEST* const this*/)
    {
        cout << "fun" << endl;
    }
    void foo()  const
    {
        cout << "const:fun" << endl;
    }
};
int main()
{
    TEST test;
    test.show();
    return 0;
}
打印结果：
资产:1000
fun
const:fun

常成员函数不能调用非常成员函数的原因：

是因为this指针的修饰符不同，在const成员函数里面的this指针被const修饰，在const成员函数里面调用非const成员函数时，相当于将const修饰的this指针传给非const成员函数。

非常成员函数可以调用常成员函数的原因：

这个涉及到编译器的原理：提高权限不安全，缩小权限是安全的

这个权限怎么理解：

/***********非常成员函数***********/
void show()
{   
    //this可读写
    cout << "资产:" << m_money++ << endl;
    fun();  //调用非常成员函数 this可读写
    foo();  //调用常成员函数 this可读
}
/***********常成员函数***********/
void show() const
{
    //this可读
    cout << "const 资产:" << m_money << endl;
    //fun(this);    //调用非常成员函数 this可读写  
    foo();          //调用常成员函数 this可读
}
void fun()
{
    cout << "fun" << endl;
}
void foo()  const
{
    cout << "const:fun" << endl;
}

this可读写代表可以访问和修改this里面的成员变量的值

this可读代表可以访问this里面的成员变量的值

非常成员函数可以调用常成员函数,如果有重载版本的非常函数，优先调用非常函数

这个从权限来讲，编译器坚定不移的执行了不背锅精神，编译器认为缩小权限是安全的，扩大权限是危险的，编译器会优先选择最合适的

const修饰对象

被const修饰的对象意味着对象中的成员数据不可以改内容

常对象不能调用非常成员函数，只能调用常函数
非常对象(普通对象)可以调用常成员函数如果有重载版本的非常函数，优先非常

原理和const修饰成员函数的原理是一样的，理解了const修饰成员函数这一部分，那么const修饰对象也很容易理解

关键字 mutable

在C++里面有个在常成员函数中开VIP的存在，这就是mutable

mutable int m_money;//mutable修饰的变量可以在常成员函数中修改