一、构造函数、拷贝构造函数、赋值构造函数分别在什么时候调用?
首先看下面一段代码示例:
#include <iostream>
using namespace std;
struct Widget
{
Widget(int val){
cout << "construct"<<endl;
}
Widget(Widget& widget){
cout << "copy construct"<< endl;
}
Widget& operator=(const Widget& widget){
cout << "operator= construct"<< endl;
return *this;
}
~Widget() {
cout << "destruct "<< endl;
}
};
Widget getWidget() {
Widget w(1);
return w;
}
void setWidget(Widget w) {
}
int main() {
cout << "Widget w1 = 12 //使用构造参数创建一个对象w1 " << endl;
Widget w1 = 12;
cout << endl;
cout << "Widget w2 = w1 //使用对象w1创建一个对象w2 " << endl;
Widget w2 = w1;
cout << endl;
cout << "Widget w3 = getWidget() //临时对象作为函数返回值 " << endl;
Widget w3 = getWidget();
cout << endl;
cout << "void setWidget(Widget w) //临时对象作为函数参数 " << endl;
setWidget(w1);
cout << endl;
cout << "w3 = w1 //用一个已存在的对象w1给另外一个已存在的对象w1赋值 " << endl;
w3 = w1;
getchar();
return 0;
}
vs2013 debug模式下的运行结果如下:
Widget w1 = 12 //使用构造参数创建一个对象w1,调用了构造函数
construct
Widget w2 = w1 //使用对象w1创建一个对象w2,调用拷贝构造函数
copy construct
Widget w3 = getWidget() //临时对象作为函数返回值,调用了拷贝构造函数
construct
copy construct
destruct
void setWidget(Widget w) //临时对象作为函数参数,调用了拷贝构造函数
copy construct
destruct
w3 = w1 //用一个已存在的对象w1给另外一个已存在的对象w1赋值,调用了赋值构造函数
operator= construct
1、什么时候调用构造函数?
当一个对象不存在,且没有用别的对象初始化该对象时(一般用构造函数的参数,注意隐式转换),此时调用构造函数。
2、什么时候调用拷贝构造函数?
当一个对象不存在,且用别的对象来初始化时,此时调用拷贝构造函数,有以下三种情况:
1)一个对象以值传递的方式传入函数体
void setWidget(Widget w) {
}
2)一个对象以值传递的方式从函数返回(需要关闭编译器优化,才能看到调用拷贝构造)
Widget getWidget() {
Widget w(1);
return w;
}
3)一个对象需要通过另一个对象初始化(前提是该对象不存在,否则会调用赋值构造函数,这也是拷贝和赋值构造的重要区别)
3、什么时候调用赋值构造函数?
当一个对象已存在,用别的对象来给它,此时会调用赋值构造函数
例如:
Widget w(10);
Widget other(20);
w = other;
运行结果:
construct
construct
operator= construct
copy construct
destruct
其中 w = other 时,调用了拷贝构造函数
如果对象不存在,则只会调用拷贝构造函数,例如:
Widget ther(20);
Widget w = ther;
运行结果如下:
construct
copy construct
参考:http://www.jeepxie.net/article/419054.html
二、拷贝构造函数的定义和实现
MyString(const MyString & str){
int len = strlen(str.m_data);
m_data = new char[len + 1];
strcpy(m_data, str.m_data);
}
1、参数为什么要加引用&
若参数不加引用,采用值传递的方式,会构造一个临时的对象,此时会调用拷贝构造函数,调用拷贝构造函数的过程中又会产生临时对象,然后又会调用拷贝构造函数,。。。,这样会产生无限的递归,最终程序会卡死
另外编译器也不允许拷贝构造函数采用值传递的方式,会直接提示编译错误。
2、参数为什么要加const?
为了整个程序的安全,还是加上const,防止对引用类型参数值的意外修改。
也有的说是为了,临时对象作为某个函数的返回值的时候,由于临时对象具有const属性,会导致调用拷贝构造函数的时候编译不通过,但是我在vs2013测试没发现该问题,待进一步考察,详细参考这篇文章,链接如下:
https://blog.csdn.net/TanJiaLiang_/article/details/86691437
https://bbs.csdn.net/topics/391016916
https://blog.csdn.net/shltsh/article/details/45959303
三、赋值构造函数的定义和实现
MyString& operator=(const MyString &other)
{
if (this == &other) {
delete[] m_data;
int len = strlen(other.m_data);
m_data = new char[len + 1];
strcpy(m_data, other.m_data);
}
return *this;
}
1、赋值构造函数的if (this == &other)的判断为什么是必须的吗?
赋值函数中,上来比较 this == &other 是很必要的,因为防止自复制,这是很危险的,因为下面有delete []m_data,如果提前把m_data给释放了,指针已成野指针,再赋值就错了。不加判断的代码如下:
MyString& operator=(const MyString &other)
{
delete[] m_data;
int len = strlen(other.m_data);
m_data = new char[len + 1];
strcpy(m_data, other.m_data);
return *this;
}
2、赋值构造函数的返回值必须为引用类型吗?
若不为引用类型,会调用拷贝构造函数,影响性能,例如若将Widget的赋值构造改成如下:
Widget operator=(const Widget& widget){
cout << "operator= construct"<< endl;
return *this;
}
则如下的代码
Widget w(10);
Widget ther(20);
w = ther;
执行结果为:
construct
construct
operator= construct
copy construct
destruct
可见调用了一个拷贝构造函数