拷贝构造函数和赋值操作符的探究

我们都知道拷贝构造函数和赋值构造函数最大的不同在于：

拷贝构造是确确实实构造一个新的对象，并给新对象的私有成员赋上参数对象的私有成员的值，新构造的对象和参数对象地址是不一样的，所以如果该类中有一个私有成员是指向堆中某一块内存，如果仅仅对该私有成员进行浅拷贝，那么会出现多个指针指向堆中同一块内存，这是会出现问题，如果那块内存被释放了，就会出现其他指针指向一块被释放的内存，出现未定义的值的问题，如果深拷贝，就不会出现问题，因为深拷贝，不会出现指向堆中同一块内存的问题，因为每一次拷贝，都会开辟新的内存供对象存放其值。

此文中我们不考虑深拷贝和浅拷贝的内容！！！

拷贝构造函数：

#pragma once
#include"iostream"
using namespace std;

class A
{
public:
    A()
    {
        cout << "我是默认构造函数" << endl;
    }

    A(int num)
    {
        cout << "我是有参构造函数" << endl;
    }
    ~A()
    {
        cout << "析构函数" << endl;
    }
    A(const A&obj)
    {
        cout << "我是拷贝构造函数" << endl;
    }

    A& operator=(const A& obj)//赋值运算符函数的返回值和参数都是引用类型
    {
        cout << "我是赋值运算符" << endl;
        this->i = obj.i;
        return *this;
    }
public:
    int i;
};

#include"iostream"
using namespace std;

#include"A.h"

void playstage()
{

    A a;//我是默认构造函数

    A c = a;//我是拷贝构造函数

}

void main()
{
    playstage();
    system("pause");
}

输出：

我是默认构造函数
我是拷贝构造函数
析构函数
析构函数
请按任意键继续. . .

 

赋值运算符：

赋值构造函数是将一个参数对象中私有成员赋给一个已经在内存中占据内存的对象的私有成员，赋值构造函数被赋值的对象必须已经在内存中，否则调用的将是拷贝构造函数，当然赋值构造函数也有深拷贝和浅拷贝的问题。当然赋值构造函数必须能够处理自我赋值的问题，因为自我赋值会出现指针指向一个已经释放的内存。还有赋值构造函数必须注意它的函数原型，参数必须是引用类型，返回值也必须是引用类型，否则在传参和返回的时候都会再次调用一次拷贝构造函数。

标准形式

#pragma once
#include"iostream"
using namespace std;

class A
{
public:
    A()
    {
        cout << "我是默认构造函数" << endl;
    }

    A(int num)
    {
        cout << "我是有参构造函数" << endl;
    }
    ~A()
    {
        cout << "析构函数" << endl;
    }
    A(const A&obj)
    {
        cout << "我是拷贝构造函数" << endl;
    }

    
    //A operator=(const A& obj)
    //A& operator=(const A obj)
    //A operator=(const A obj)
    A& operator=(const A& obj)//标准形式
    {
        cout << "我是赋值运算符" << endl;
        this->i = obj.i;
        return *this;
    }
public:
    int i;
};

#include"iostream"
using namespace std;

#include"A.h"

void playstage()
{
    A a;
    A d;//我是默认构造函数
    d = a;//调用默认的赋值运算符
}

void main()
{
    playstage();
    system("pause");
}

输出：

我是默认构造函数
我是默认构造函数
我是赋值运算符
析构函数
析构函数
请按任意键继续. . .

 

非正规的写法：

如果我们在赋值构造函数的形参和返回值不用引用类型，代码如下：

A operator=(const A obj)//标准形式
    {
        cout << "我是赋值运算符" << endl;
        this->i = obj.i;
        return *this;
    }

输出：

我是默认构造函数
我是默认构造函数
我是拷贝构造函数
我是赋值运算符
我是拷贝构造函数
析构函数
析构函数
析构函数
析构函数
请按任意键继续. . .

多了两次的拷贝构造函数的调用和两次析构函数的调用。

 

如果我们在赋值构造函数的返回值不用引用类型，代码如下：

A operator=(const A& obj)//标准形式
    {
        cout << "我是赋值运算符" << endl;
        this->i = obj.i;
        return *this;
    }

输出：

我是默认构造函数
我是默认构造函数
我是赋值运算符
我是拷贝构造函数
析构函数
析构函数
析构函数
请按任意键继续. . .

多了一次拷贝构造函数的调用和一次析构函数的调用。

 

如果我们在赋值构造函数的形参不用引用类型，代码如下：

A& operator=(const A obj)
    {
        cout << "我是赋值运算符" << endl;
        this->i = obj.i;
        return *this;
    }

输出：

我是默认构造函数
我是默认构造函数
我是拷贝构造函数
我是赋值运算符
析构函数
析构函数
析构函数
请按任意键继续. . .

多了一次拷贝构造函数的调用和一次析构函数的调用。