关于C++的类与对象（上）

曜有上镜心

已于 2024-01-26 19:57:46 修改

阅读量102

点赞数 2

文章标签：开发语言 c++

于 2023-08-02 11:07:30 首次发布

本文链接：https://blog.csdn.net/m0_75079625/article/details/132035063

版权

八.类中的构造函数、析构函数和拷贝构造函数

一.类的定义

类的构成

class className
{
// 类体：由成员函数和成员变量组成
}; // 一定要注意后面的分号

1.class为定义类的关键字，ClassNname为类的名字，{}中为类的主体，注意类定义结束时后面分号不能省略。

2.类体中内容称为类的成员：类中的变量称为类的属性或成员变量；类中的函数称为类的方法或者成员函数。

类的两种定义方式

1）声明和定义全部放在类体中，需注意：成员函数如果在类中定义，编译器可能会将其当成内
联函数处理。

2）类声明放在.h文件中，成员函数定义放在.cpp文件中，注意：成员函数名前需要加类名：：

二.类的访问限定符及封装

封装和访问限定符

C++实现封装的方式：用类将对象的属性与方法结合在一块，让对象更加完善，通过访问权限选
择性的将其接口提供给外部的用户使用

类的访问限定符：public（共有），protected（保护），private（私有）

访问限定符说明

1.public修饰的成员在类外可以直接被访问

2.protected和private修饰的成员在类外不能直接被访问（此处两者是类似的）

3.访问权限作用域从该访问限定符出现的位置开始直到下一个访问限定符出现为止

4.如果后面没有访问限定符，作用域就到}即类的结束

5.class的默认访问权限是private，struct为public（因为struct要兼容C）

注意：访问限定符只在编译时有用，当数据映射到内存后，没有任何限定符上的区别

三.类的作用域和实例化

类的作用域

类定义了一个新的作用域，类的所有成员都在类的作用域中。在类体外定义成员时，需要使用 ::
作用域操作符指明成员属于哪个类域。

class Person
{
public:
void PrintPersonInfo();
private:
char _name[20];
char _gender[3];
int _age;
};
// 这里需要指定PrintPersonInfo是属于Person这个类域
void Person::PrintPersonInfo()
{
cout << _name << " "<< _gender << " " << _age << endl;
}

类的实例化

用类类型创建对象的过程，称为类的实例化

1. 类是对对象进行描述的，是一个模型一样的东西，限定了类有哪些成员，定义出一个类并没
有分配实际的内存空间来存储它；比如：入学时填写的学生信息表，表格就可以看成是一个
类，来描述具体学生信息。
2.一个类可以实例化出多个对象，实例化出的对象占用实际的物理空间，存储类成员变量

int main()
{
Person._age = 100; // 编译失败：error C2059: 语法错误:“.”
return 0;
}

上例中Person类是没有空间的，只有Person类实例化出的对象才有具体的年龄。
3.做个比方：类实例化出对象就像现实中使用建筑设计图建造出房子，类就像是设计图。

四.类对象模型

一个类对象的大小

// 类中既有成员变量，又有成员函数
class A1 {
public:
void f1(){}
private:
int _a;
};

// 类中仅有成员函数
class A2 {
public:
void f2() {}
};

// 类中什么都没有---空类
class A3
{};

sizeof(A1): 4 sizeof(A2): 1 sizeof(A3): 1

结论：一个类的大小，实际就是该类中”成员变量”之和，当然要注意内存对齐
注意空类的大小，空类比较特殊，编译器给了空类一个字节来唯一标识这个类的对象。

结构体内存对齐规则

1. 第一个成员在与结构体偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
注意：对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。VS中默认的对齐数为8
3. 结构体总大小为：最大对齐数（所有变量类型最大者与默认对齐参数取最小）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍

五.this指针

this指针的引出

我们先来定义一个日期类 Date

class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout <<_year<< "-" <<_month << "-"<< _day <<endl;
}
private:
int _year; // 年
int _month; // 月
int _day; // 日
};
int main()
{
Date d1, d2;
d1.Init(2022,1,11);
d2.Init(2022, 1, 12);
d1.Print();
d2.Print();
return 0;
}

对于上述类，有这样的一个问题：
Date类中有 Init 与 Print 两个成员函数，函数体中没有关于不同对象的区分，那当d1调用 Init 函
数时，该函数是如何知道应该设置d1对象，而不是设置d2对象呢？

C++中通过引入this指针解决该问题：

C++编译器给每个“非静态的成员函数“增加了一个隐藏的指针参数，让该指针指向当前对象(函数运行时调用该函数的对象)，在函数体中所有“成员变量”的操作，都是通过该指针去访问。只不过所有的操作对用户是透明的，即用户不需要来传递，编译器自动完成。

this指针的特性

1. this指针的类型：类类型* const，即成员函数中，不能给this指针赋值。
2. 只能在“成员函数”的内部使用
3. this指针本质上是“成员函数”的形参，当对象调用成员函数时，将对象地址作为实参传递给this形参。所以对象中不存储this指针。
4. this指针是“成员函数”第一个隐含的指针形参，一般情况由编译器通过ecx寄存器自动传递，不需要用户传递

六.C语言和C++实现Stack的对比

C语言中的stack

在用C语言实现时，Stack相关操作函数有以下共性：

1.每个函数的第一个参数都是Stack*
2.函数中必须要对第一个参数检测，因为该参数可能会为NULL
3.函数中都是通过Stack*参数操作栈的
4.调用时必须传递Stack结构体变量的地址

在C语言结构体中，只能定义存放数据的结构，操作数据的方法不能放在结构体中，即数据和操作数据的方式是分离开的，而且实现上相当复杂一点，涉及到大量指针操作，稍不注意可能就会出错

C++中的stack

C++中通过类可以将数据以及操作数据的方法进行完美结合，通过访问权限可以控制那些方法在
类外可以被调用，即封装，在使用时就像使用自己的成员一样，更符合人类对一件事物的认知。
而且每个方法不需要传递Stack*的参数了，编译器编译之后该参数会自动还原，即C++中 Stack *
参数是编译器维护的，C语言中需用用户自己维护。

七.类的六个默认成员函数

任何类在什么都不写时，编译器会自动生成六个默认成员函数。

八.类中的构造函数、析构函数和拷贝构造函数

1.1构造函数的定义

构造函数是一个特殊的成员函数，名字与类名相同,创建类类型对象时由编译器自动调用，以保证
每个数据成员都有一个合适的初始值，并且在对象整个生命周期内只调用一次

1.2构造函数的特性

构造函数是特殊的成员函数，需要注意的是，构造函数虽然名称叫构造，但是构造函数的主要任
务并不是开空间创建对象，而是初始化对象。

其特征为：

1. 函数名与类名相同。
2. 无返回值。
3. 对象实例化时编译器自动调用对应的构造函数。
4. 构造函数可以重载。
5. 如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦
用户显式定义编译器将不再生成。
6. 无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。
注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为
是默认构造函数。

class Date
{
public:
// 1.无参构造函数
Date()
{}
// 2.带参构造函数
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
void TestDate()
{
Date d1; // 调用无参构造函数
Date d2(2015, 1, 1); // 调用带参的构造函数
// 注意：如果通过无参构造函数创建对象时，对象后面不用跟括号，否则就成了函数声明
}

2.1析构函数的定义

析构函数是与构造函数功能相反，析构函数不是完成对对象本身的销毁，局部对象销毁工作是由
编译器完成的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。

2.2析构函数的特性

析构函数是特殊的成员函数，其特征如下
1. 析构函数名是在类名前加上字符 ~。
2. 无参数无返回值类型。
3. 一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。

注意：析构函数不能重载
4. 对象生命周期结束时，C++编译系统系统自动调用析构函数。
5.关于编译器自动生成的析构函数，是否会完成一些事情呢？下面的程序我们会看到，编译器
生成的默认析构函数，对自定类型成员调用它的析构函数。

6. 如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如
Date类；有资源申请时，一定要写析构函数，否则会造成资源泄漏，比如Stack类

class Time
{
public:
~Time()
{
cout << "~Time()" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}

程序运行结束后输出：~Time()

问：在main方法中根本没有直接创建Time类的对象，为什么最后会调用Time类的析构函数？
答：main方法中创建了Date对象d，而d中包含4个成员变量，其中_year, _month,_day三个是内置类型成员，销毁时不需要资源清理，最后系统直接将其内存回收即可；而_t是Time类对象，所以在 d销毁时，要将其内部包含的Time类的_t对象销毁，所以要调用Time类的析构函数。但是：main函数中不能直接调用Time类的析构函数，实际要释放的是Date类对象，所以编译器会调用Date类的析构函数，而Date没有显式提供，则编译器会给Date类生成一个默认的析构函数，目的是在其内部调用Time类的析构函数，即当Date对象销毁时，要保证其内部每个自定义对象都可以正确销毁main函数中并没有直接调用Time类析构函数，而是显式调用编译器为Date类生成的默认析构函数
注意：创建哪个类的对象则调用该类的析构函数，销毁那个类的对象则调用该类的析构函数

3.1拷贝构造函数的定义

拷贝构造函数只有单个形参，该形参是对本类类型对象的引用(一般常用const修饰)，在用已存
在的类类型对象创建新对象时由编译器自动调用。

3.2拷贝构造函数的特性

拷贝构造函数也是特殊的成员函数，其特征如下

1. 拷贝构造函数是构造函数的一个重载形式。

2. 拷贝构造函数的参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，
因为会引发无穷递归调用。

class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// Date(const Date& d) // 正确写法
Date(const Date d) // 错误写法：编译报错，会引发无穷递归
{
_year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
Date d2(d1);
return 0;
}

3. 若未显式定义，编译器会生成默认的拷贝构造函数。默认的拷贝构造函数对象按内存存储按
字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝。

注意：在编译器生成的默认拷贝构造函数中，内置类型是按照字节方式直接拷贝的，而自定
义类型是调用其拷贝构造函数完成拷贝的。

4. 编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了，还需要自己显式实现吗？
当然像日期类这样的类是没必要的。那么下面的类呢？验证一下试试？

// 这里会发现下面的程序会崩溃掉？这里就需要我们以后讲的深拷贝去解决。
typedef int DataType;
class Stack
{
public:
    Stack(size_t capacity = 10)
    {
        _array = (DataType*)malloc(capacity * sizeof(DataType));
        if (nullptr == _array)
        {
            perror("malloc申请空间失败");
            return;
        }
        _size = 0;
        _capacity = capacity;
    }
    void Push(const DataType& data)
    {
        // CheckCapacity();
        _array[_size] = data;
        _size++;
    }
    ~Stack()
    {
        if (_array)
        {
            free(_array);
            _array = nullptr;
            _capacity = 0;
            _size = 0;
        }
    }
private:
    DataType *_array;
    size_t _size;
    size_t _capacity;
};
int main()
{
    Stack s1;
    s1.Push(1);
    s1.Push(2);
    s1.Push(3);
    s1.Push(4);

    Stack s2(s1);
    return 0；
}

注意：类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请
时，则拷贝构造函数是一定要写的，否则就是浅拷贝。

5. 拷贝构造函数典型调用场景：
1）使用已存在对象创建新对象
2）函数参数类型为类类型对象
3）函数返回值类型为类类型对象

class Date
{
public:
    Date(int year, int minute, int day)
    {
         cout << "Date(int,int,int):" << this << endl;
    }
    Date(const Date& d)
    {
         cout << "Date(const Date& d):" << this << endl;
    }
    ~Date()
    {
         cout << "~Date():" << this << endl;
    }

private:
    int _year;
    int _month;
    int _day;
};
Date Test(Date d)
{
    Date temp(d);
    return temp;
}
int main()
{
    Date d1(2022,1,13);
    Test(d1);
    return 0;
}

为了提高程序效率，一般对象传参时，尽量使用引用类型，返回时根据实际场景，能用引用
尽量使用引用。

九.赋值运算符重载

运算符重载定义

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其
返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。

函数名字为：关键字operator后面接需要重载的运算符符号。

函数原型：返回值类型 operator操作符(参数列表)

注意：

1）不能通过连接其他符号来创建新的操作符：比如operator@
2）重载操作符必须有一个类类型参数
3）用于内置类型的运算符，其含义不能改变，例如：内置的整型+，不能改变其含义
4）作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐
藏的this
5）.* :: sizeof ?: . 注意以上5个运算符不能重载。

赋值运算符重载

1. 赋值运算符重载格式
参数类型：const T&，传递引用可以提高传参效率
返回值类型：T&，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值，检测是否自己给自己赋值
返回*this ：要复合连续赋值的含义
2.赋值运算符只能重载成类的成员函数不能重载成全局函数

十.const成员

将const修饰的“成员函数”称之为const成员函数，const修饰类成员函数，实际修饰该成员函数
隐含的this指针，表明在该成员函数中不能对类的任何成员进行修改。

1. const对象可以调用非const成员函数吗？（不可以，权限放大了）
2. 非const对象可以调用const成员函数吗？（可以，权限缩小了）
3. const成员函数内可以调用其它的非const成员函数吗？（不可以，权限放大了）
4. 非const成员函数内可以调用其它的const成员函数吗？（可以，权限缩小了）