欢迎来到CILMY23的博客
本篇主题为:拷贝复制:拷贝构造函数的使用
博客主页:CILMY23-CSDN博客
个人专栏:Python | C++ | C语言 | 数据结构与算法
感谢观看,支持的可以给个一键三连,点赞关注+收藏。
写在前头:
构造函数是函数名和类名相同,而析构函数是在前面加个 ~ ,我们也总结了最好是全缺省的构造函数更实用,以及构造函数和析构函数的调用顺序(链接),并且默认成员函数和默认构造函数也存在区别:
- 默认构造函数:不传参就可以调用的函数,例如:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都算默认构造函数,而且默认构造函数只能有一个
- 默认成员函数:用户没有显式实现,编译器会生成的成员函数
本篇我们将介绍默认的成员函数其中特殊的拷贝构造函数
目录
一、什么是拷贝构造函数?
二、如何正确使用拷贝构造函数
2.1 拷贝构造函数的特点
2.2 拷贝构造函数的应用场景
2.3、无穷递归调用的源头--传值传参和传引用传参
2.3.1 传值传参
2.3.2 传引用传参
2.3.3 使用 const 修饰
一、什么是拷贝构造函数?
拷贝构造函数(有时又称为复制构造函数)是一种特殊的构造函数,在对象创建时用于从同一类的现有对象中初始化新对象。
也就是在创建对象时,创建一个与已存在对象一某一样的新对象。它只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。拷贝构造函数可以通过深拷贝或浅拷贝来创建新对象的副本,具体取决于类的设计和需求。
例如:假设我们仍然有一个简易的学生类
class Student
{
public:
Student(const char* name, int age, const char* ID)
{
strcpy(_name, name);
strcpy(_ID, ID);
_age = age;
}
void ShowInfo()
{
cout << "学生姓名:" << _name << endl;
cout << "学生年龄:" << _age << endl;
cout << "学生学号:" << _ID << endl;
}
private:
char _name[20];
int _age;
char _ID[20];
};
int main()
{
Student stu1("xiaohong",20,"20020221");
stu1.ShowInfo();
Student stu2(stu1); // 拷贝构造函数
stu2.ShowInfo();
return 0;
}
二、如何正确使用拷贝构造函数
2.1 拷贝构造函数的特点
拷贝构造函数也是特殊的成员函数,其特征如下:
- 拷贝构造函数是构造函数的一个重载形式。
- 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错, 因为会引发无穷递归调用(看第三大点,传值传参和传引用传参)。
- 若未显式定义,编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按 字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝。(深浅拷贝区别可以看链接)注意:在编译器生成的默认拷贝构造函数中,内置类型是按照字节方式直接拷贝的,而自定义类型是调用其拷贝构造函数完成拷贝的。
- 编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了,还需要自己显式实现吗? 当然像日期类这样的类是没必要的。但是对有申请空间资源的,还是需要自己实现的。
2.2 拷贝构造函数的应用场景
拷贝构造函数典型调用场景:
- 使用已存在对象创建新对象
- 函数参数类型为类类型对象
- 函数返回值类型为类类型对象
对第三点:我们使用日期类举例
//函数返回值为类类型对象
class Date
{
public:
Date(int year, int minute, int day)
{
cout << "Date(int,int,int):" << endl;
}
Date(const Date& d)
{
cout << "Date(const Date& d):" << endl;
}
~Date()
{
cout << "~Date():" << 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;
}
2.3、无穷递归调用的源头--传值传参和传引用传参
拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错, 因为会引发无穷递归调用
第二点说不用引用,会导致无穷递归调用,在了解之前我们得清楚C++中传值传参和传引用传参的区别。
2.3.1 传值传参
在C语言中,传值传参会完成一个拷贝,而C++中自定义类型的拷贝会调用对应的拷贝构造函数,这点在C语言中是没有的。C语言中结构体传值传参,也可以传,但是会在某些情况下会出问题。
也就是我们看以下这段代码:
class Student
{
public:
Student(const char* name, int age, const char* ID)//有参的构造函数
{
strcpy(_name, name);
strcpy(_ID, ID);
_age = age;
}
Student(Student stu) //拷贝构造函数
{
strcpy(_name, stu._name);
strcpy(_ID, stu._ID);
_age = stu._age;
}
private:
char _name[20];
int _age;
char _ID[20];
};
int main()
{
Student stu1("xiaoming",21,"2020066S16");
Student stu2(stu1);
return 0;
}
它的过程是这样的:
我们想将 stu1 拷贝给 stu2 ,但是在这之前对自定义类型的值调用对应的拷贝构造函数,于是对 stu1 对象进行拷贝,对自定义类型的拷贝会继续调用拷贝构造函数,将 stu1 将拷贝给 stu ,但是传值 stu1 前,又将对参数 stu1 拷贝,最终将形成一个无穷递归调用。为了解决这个问题,我们就用上了引用传参。
2.3.2 传引用传参
如果我们使用传引用传参,则可以将这个问题解决,
代码:
class Student
{
public:
Student(const char* name, int age, const char* ID)//有参的构造函数
{
strcpy(_name, name);
strcpy(_ID, ID);
_age = age;
}
Student(Student& stu) //拷贝构造函数
{
strcpy(_name, stu._name);
strcpy(_ID, stu._ID);
_age = stu._age;
}
private:
char _name[20];
int _age;
char _ID[20];
};
int main()
{
Student stu1("xiaoming", 21, "2020066S16");
Student stu2(stu1);
return 0;
}
过程:
因为是引用,所以我们根本不需要调用对应的拷贝构造函数,从而解决无穷递归调用这个问题。而且为了提高程序效率,一般对象传参时,尽量使用引用类型,返回时根据实际场景,能用引用就尽量使用引用
2.3.3 使用 const 修饰
Student(const Student& stu) //拷贝构造函数
{
strcpy(_name, stu._name);
strcpy(_ID, stu._ID);
_age = stu._age;
}
对拷贝的对象来说,我们并不希望改变对象的值,所以我们会在引用前加一个const,以用来保证安全性。
总结:
- 所有的自定义类型,最后还是内置类型,它们类似一个套娃的形式
- 析构函数并不是所有类都需要
- 对象按内存存储按字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝,通常是对内置类型拷贝
- 内置类型是按照字节方式直接拷贝的,而自定义类型是调用其拷贝构造函数完成拷贝的。
- 类中如果没有涉及资源申请时,拷贝构造函数是否写都可以。一旦涉及到资源申请时,则拷贝构造函数是一定要写的,否则就是浅拷贝。
- 拷贝构造函数也是构造函数,如果只写了拷贝构造函数,在调用默认构造函数时可以用default关键字强制编译器生成。例如:Student() = default;
- C++中自定义类型的拷贝会调用对应的拷贝构造函数,这点在C语言中是没有的。
感谢各位同伴的支持,本期拷贝构造函数篇就讲解到这啦,如果你觉得写的不错的话,可以给个一键三连,点赞关注+收藏,若有不足,欢迎各位在评论区讨论。