C++入门——对象模型和this指针

参考链接

1. https://www.bilibili.com/video/BV1et411b73Z?p=114

成员变量和成员函数分开存储

在C++中，类内的成员变量和成员函数分开存储，只有非静态成员变量才属于类的对象上。

空对象

空对象占用内存空间为：1。因为C++编译器会给每个空对象也分配一个字节空间，是为了区分空对象占内存的位置，每个空对象也应该有一个独一无二的内存。

例如：

class Person
{

};
void test()
{
    Person p;
    cout << "size of p" << sizeof(p) << endl;
}

一般对象

只有非静态成员变量才属于类的对象上。
例如：

class Person
{
    int m_A; // 非静态成员变量，属于类的对象上
    static int m_B; // 静态成员变量，不属于类对象上
    void func(){} // 非静态成员函数，不属于类对象上
    static void func2(){} // 静态成员函数，不属于类对象上
};
void test()
{
    Person p;
    cout << "size of p" << sizeof(p) << endl;
}

this指针

概念

1. 每一个非静态成员函数只会诞生一份函数实例，也就是说多个同类型的对象会共用一块代码

2. C++通过提供特殊的对象指针，this指针，区分是哪个对象调用的函数。this指针指向被调用的成员函数所属的对象

3. this指针是隐含在每一个非静态成员函数内的一种指针

4. this指针不需要定义，直接使用即可

5. this指针的本质是指针常量，指针的指向是不可以修改的

作用

1. 当形参和成员变量同名时，可用this指针来区分

2. 在类的非静态成员函数中返回对象本身，可使用return *this

例如：

class Person
{
public:
    Person(int age)
    {
        this->age = age;
    }
    
    Person& PersonAddAge(Person &p)
    {
        this->age += p.age;
        // *this就是调用这个函数的对象的本体
        return *this;
    }
    int age;
};

空指针访问成员函数

C++中空指针也可以调用成员函数，但是要注意有没有用到this指针。如果用到this指针，需要加以判断保证代码的健壮性。

例如：

class Person()
{
public:
    void showClassName()
    {
        cout << "this is Person class" << endl;
    }
    void showPersonAge()
    {
        // 下面这行代码实际上执行cout << " age = " << this->m_Age << endl;，由于传入的指针为NULL，所以报错
        cout << "age = " << m_Age << endl;
    }

    int m_Age;
};
void test()
{
    Person *p = NULL;
    // p->showClassName();
    p->showPersonAge();
}

其中showPersonAge()函数用到了类的成员变量，但空指针是没有成员变量的，所以会报错。为了增加代码的健壮性，会在之前加一个判断，如：

void showPersonAge()
{
    if (this == NULL)
    {
        return;
    }
    cout << "age = " << this->m_Age << endl;
}

const修饰成员函数

常函数

1. 成员函数后加const我们称这个函数为常函数
2. 常函数内不可修改成员属性
3. 成员属性声明时加关键字mutable后，在常函数中依然可以修改
   例如：

class Person()
{
public:
    //this指针的本质是指针常量，Person * const this，所以指针的指向是不可以修改的
    //在成员函数后面加const，修饰的是this指向，让指针指向的值也不可以修改，等价于const Person * const this
    void showPerson() const
    {
        //this->m_A = 100;
        //this = NULL;
    }
    void func(){}

    int m_A;
    mutable int m_B;
}

常对象

1. 声明对象前加const称该对象为常对象
2. 常对象只能调用常函数

接上例：

void test()
{
    const Person p; //在对象前加const，变为常对象
    //p.m_A = 100;
    p.m_B = 100; //m_B是特殊值，在常对象下也可以修改
    //常对象只能调用常函数
    p.showPerson();
    //p.func(); //常对象，不可以调用普通成员函数，因为普通成员函数可以修改属性
}