当前位置：首页 > news >正文

C++类和对象 ——构造函数

news 2025/8/15 12:46:08

C++拷贝构造函数详解

什么是拷贝构造函数？
拷贝构造函数的特征
默认拷贝构造函数
为什么需要显示定义构造函数？
拷贝构造函数的调用场景
什么时候不需要自己定义拷贝构造函数

什么是拷贝构造函数？

在现实生活中，拷贝构造函数就好像我们上学时候干的一件事——抄作业（doge，但在现实生活中，这是件不好的事，但是在类和对象中，拷贝构造函数确是一个作用极大的东西。

在创建对象时，能否船创建一个与已经存在对象一模一样的对象呢？当然可以，这时候就要使用拷贝构造函数了。

拷贝构造函数： 只有单个形参，该形参是对 本类类型对象的引用(一般常用const修饰)，在用 已存在的类类型对象创建新对象时由编译器自动调用。
对于内置类型，就相当于 int a = b，这样，用b来构造a
注意: 构造和赋值是两件不一样的事，看下面一段代码：

//拷贝构造
int b = 10;
int a = b;//赋值
int a = 10, b;
b = a;

拷贝构造函数的特征

拷贝构造函数也是特殊的成员函数之一：

拷贝构造函数是构造函数的一个重载形式
拷贝构造函数的参数只有一个且必须是类对象的引用，使用传值方法编译器会强制检查报错，因为会引发无穷递归问题。

相信这里大家一定会有疑惑，为什么传值的方法会引发无穷递归的问题？
看下面一段代码：

#include<iostream>
class Date 
{
private:int _year;int _month;int _day;
public:Date(int year = 1970, int month = 1, int day = 1){_year = year;_month = month;_day = day;}Date(const Date& d){std::cout << "Date(const Date& d)" << std::endl;_year = d._year;_month = d._month;_day = d._day;}
}void func(Date d)
{}int main()
{Date d1(2023,5,1);func(d1);return 0;
}

上面这段代码的运行结果如下：
在这里插入图片描述

这说明了什么问题？
我们使用了拷贝构造函数，可是在哪里使用的呢？从代码上看，并没有看到我们使用了拷贝构造啊？

这里就涉及到一个经典的问题了，还记得形参和实参之间的关系吗？没错，就是她俩在搞鬼！！

形参是实参的临时拷贝！！！
形参是实参的临时拷贝！！！
形参是实参的临时拷贝！！！
重要的事情说三遍，没错！正是因为这个性质，在调用func函数时，我们将d1传给形参d，就发生了用d1来拷贝复制形参的出现，那么有了这一个理解，我们就能了解为什么在设计拷贝构造函数的时候不能使用传值调用了。

因为如果用传值调用，效率不高是一个，另外一个就是调用拷贝复制函数时，形参和实参之间的复制需要一直调用拷贝构造，就会出现无限递归的情况，具体看下图：

在这里插入图片描述

因此，现在的编译器为了避免这种无限递归的产生，会对复制构造函数传值的设计进行强制的检查，一旦我们用传值的方式设计拷贝构造函数，将无法完成编译。

默认拷贝构造函数

若未显示定义，编译器会生成默认的拷贝构造函数。默认的拷贝构造函数对象对内置类型是按照字节方式直接拷贝的（这种拷贝又叫做浅拷贝，或者叫值拷贝），而对自定义类型是调用其拷贝构造函数来完成拷贝的。

在前面日期类的基础上，我们再创建一个类，来测试一下这个特性。

#include<iostream>
class Date 
{
private:int _year;int _month;int _day;
public:Date(int year = 1970, int month = 1, int day = 1){_year = year;_month = month;_day = day;}Date(const Date& d){std::cout << "Date(const Date& d)" << std::endl;_year = d._year;_month = d._month;_day = d._day;}
};
class Time
{
private:int hour;int min;int second;Date x;
};int main()
{Time d1;Time d2(d1);return 0;
}

在这里插入图片描述

可以看到，我们并没有定义Time类的拷贝构造，所以使用的是系统自动生成的默认拷贝构造函数，而从运行结果看其确实符合上诉所说的特性。

为什么需要显示定义构造函数？

大家刚接触到拷贝构造函数的时候一定有一个问题，竟然编译器生成的拷贝构造函数已经可以完成字节序的值拷贝了，那还需要显示定义吗？也许对日期类这种比较简单的类不需要，那如果是更复杂的一些类呢？看下面的例子：

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;
}