一. 什么是拷贝构造函数?
——百度百科
拷贝构造函数,又称复制构造函数,是一种特殊的构造函数,它由编译器调用来完成一些基于同一类的其他对象的构建及初始化。其形参必须是引用,但并不限制为const,一般普遍的会加上const限制。此函数经常用在函数调用时用户定义类型的值传递及返回。
自己理解:当程序在某种情况(见下文)下运行时需要调用拷贝构造函数,而不是调用构造函数。形式上:Classname((const) Classname &Object);
其中,const 按需要可有可无,对象(object)前必须为引用。
二. 为什么要写拷贝构造函数?
假如我们不定义拷贝构造函数,在程序运行中出现需要调用拷贝构造函数的情况时,编译器会自动帮我们定义一个默认的拷贝构造函数来执行,但是在某些特殊情况(构造函数涉及指针问题)下,由默认的拷贝构造函数执行的程序可能会出现问题(另行搜索深拷贝和浅拷贝)。所以,自己定义拷贝构造函数有利于代码执行,也是一个优秀的编程习惯。
三. 什么情况下会调用拷贝构造函数?
程序示例:
#include <iostream>
using namespace std;
class Example
{
private:
int a;
public:
Example(int i) //构造函数
{
a = i;
}
Example(const Example &exp) //拷贝构造函数 //形参类型为 类型A,形参为 &aa,const加不加都可
{
a = exp.a;
cout << "执行拷贝构造函数" << endl;
}
int geta() //类内部的取值函数
{
return a;
}
};
//获取exp对象中的数值a
//如果形参是对象,是值传递,会调用拷贝构造函数
int get_a(Example exp)
{
return exp.geta();
}
//如果形参是引用类型,本身就是引用传递,所以不会调用拷贝构造函数
int get_a_1(Example &exp)
{
return exp.geta();
}
//返回值是对象类型,会调用拷贝构造函数。
//因为函数体内生成的对象exp是局部变量的,作用域仅为该子函数,
//所以会调用拷贝构造函数复制一份。
Example get_exp()
{
Example exp(1);
return exp;
}
//会调用拷贝构造函数。因为该对象exp_1是局部变量,作用域仅为该子函数,
//所以会调用拷贝构造函数复制一份。
Example& get_exp_1()
{
Example exp_1(1);
return exp_1;
}
int main()
{
Example exp1(1); //初始化对象
cout << "第一个语句:";
Example exp2(exp1); //用exp1初始化exp1,调用拷贝构造函数
cout << "第二个语句:";
Example exp3 = exp1; //用exp1初始化exp1,调用拷贝构造函数
cout << "第三个语句:";
int i = get_a(exp1); //函数形参是类的对象,调用拷贝构造函数
cout << "第四个语句:" << endl;
int j = get_a_1(exp1); //函数形参类型是引用,不调用拷贝构造函数
cout << "第五个语句:";
Example d1 = get_exp(); //调用拷贝构造函数
cout << "第六个语句:";
Example e1 = get_exp_1(); //调用拷贝构造函数
system("pause");
return 0;
}
运行结果:
总结,在以下三种情况下系统会调用拷贝构造函数:
- 用类的一个对象去初始化另一个对象时
- 当函数的形参是类的对象时(也就是值传递时),如果是引用传递则不会调用
- 当函数的返回值是类的对象或引用时
建议:无论是否涉及指针问题(即深拷贝和浅拷贝问题),都定义拷贝构造函数。