【C++】Big Five: 构造函数、拷贝构造函数、拷贝赋值函数、移动构造函数、析构函数

已于 2022-09-26 10:20:46 修改
阅读量1.2k 收藏 9
点赞数 5
分类专栏： C++ 文章标签： c++
于 2022-02-27 16:23:35 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq2399431200/article/details/120483330
版权

前言

C++类的成员变量是否含有“指针类型”直接决定了“Big Five”函数(就是标题中的5个函数)的编写！有无指针类型”成员变量造成Big Five函数实现完全不一样，因此我们需要分别讨论这两种情形。

注：C++11标准才引入移动语义，即才有本文讨论的“移动构造函数”。“移动构造函数”实际包含“移动构造函数和移动赋值函数”，下文将分别讨论。

注：很多同仁将类的“拷贝赋值函数”称为“赋值构造函数”，个人认为不恰当！“Copy assignment”翻译成“赋值构造”真是八竿子打不着！故坚持使用“拷贝赋值函数”。另外，“Move assignment”采用“移动赋值函数”这个翻译。

正文

成员变量无“指针类型”

class Human
{
public:
    Human();
    Human(const Human& human);
    Human& operator=(const Human& human);
    Human(const Human&& human);   // 没有指针类型的成员属性，移动构造函数存在的意义不大。
    ~Human();  // 成员变量无指针类型，可以不用自行编写析构函数，使用编译器默认提供的即可。

private:
    int age;
    string name;
};

成员变量有“指针类型”

class Human
{
public:
    Human();
    Human(const Human& human);
    Human& operator=(const Human& human);
    Human(const Human&& human);
    ~Human();  // 成员变量有“指针类型”，必须自行实现析构函数，用于释放内存

private:
    int age;
    string* name;
};

1.构造函数(Constructor)

成员变量无“指针类型”： 

Human::Human() : age(0), name()
{
    
}

成员变量有“指针类型”：

Human::Human():age(0), name(nullptr)
{

}

2.拷贝构造函数(Copy Constructor)

成员变量无“指针类型”： （可以使用编译器默认提供的版本）

Human::Human(const Human& human)
{
    this->age = human.age;    // 或，age = human.age;
    this->name = human.name;
}

成员变量有“指针类型”：

Human::Human(const Human& human)
{
    this->age = human.age;
    this->name = new string(*human.name);
}

3.拷贝赋值函数(拷贝赋值运算符, Copy assignment)

当一个类的对象向该类的另一个对象赋值时，就会用到该类的拷贝赋值函数。当没有重载拷贝赋值函数（赋值运算符）时，通过默认拷贝赋值函数来进行赋值操作。关于“拷贝赋值函数”的使用方法及注意事项参看《【C++】类的拷贝赋值函数》

成员变量无“指针类型”： （可以使用编译器默认提供的版本）

Human& operator=(const Human& rhs) {
	if (this == &rhs)	// 避免自我赋值
		return *this;

	this->age = rhs.age;	// 注意：同class的不同对象间互为友元(friend)，因此能直接访问rhs对象的private成员age。
    this->name = rhs.name;

	return *this;
}

成员变量有“指针类型”：

Human& operator=(const Human& rhs) {
	if (this == &rhs)	// 避免自我赋值
		return *this;

	this->age = rhs.age;	// 注意：同class的不同对象间互为友元(friend)，因此能直接访问rhs对象的private成员age。
    delete this->name;  // 必须先释放内存，否则会引发内存泄漏
    this->name = new string(*rhs.name);

	return *this;
}

4.移动构造函数(Move Constructor, C++11引入)

成员变量无“指针类型”： （可以使用编译器默认提供的版本）

此种情况下移动构造函数存在的意义不大！

Human::Human(const Human&& human)  // human在函数体中没有被修改，因此可以加const限制
{
    this->age = human.age;
    this->name = human.name;
}

成员变量有“指针类型”：

避免成员指针指向的内存重复释放和申请才是移动构造函数存在的最大价值！

Human::Human(Human&& human)   // human在函数体中被修改，因此不可以加const限制
{
    this->age = human.age;
    this->name = human.name;
    human.name = nullptr;    // 必须置空，否则human.name被析构函数释放，this->name也被释放！
}

5.移动赋值函数(Move assignment, C++11引入)

 成员变量无“指针类型”：函数体实现与“拷贝赋值函数”无异，感觉没有太多使用价值

Human& Human::operator=(Human&& human)
{
    cout << "Move assignment" << endl;

    if (&human == this)
        return *this;

    this->age = human.age;
    this->name = human.name;

    return *this;
}

成员变量有“指针类型”：

Human& Human::operator=(Human&& human)
{
    cout << "Move assignment" << endl;

    if (&human == this)
        return *this;

    this->age = human.age;
    delete this->name;
    this->name = human.name;
    human.name = nullptr;
}

6.析构函数(Destructor)

成员变量无“指针类型”： （可以使用编译器默认提供的版本）

Human::~Human()
{
    
}

成员变量有“指针类型”：

Human::~Human()
{
    delete name;    // 无需判断name是否为nullptr，因为delete操作符会执行判断(实为编译器会执行加判断是否为空代码)
}

完整例子

注：2种情况下的代码差别请注意标有“差异”的代码注释处。 

 1.类成员属性没有指针类型

#include <iostream>
#include <string>

using namespace std;

class Human
{
public:
    Human();
    Human(string name, int age);
    Human(const Human& human);
    Human& operator=(const Human& human);
    Human(const Human&& human);
    ~Human();  // 成员变量无指针类型，可以不用自行编写析构函数，使用编译器默认提供的即可。

private:
    int age;
    string name;
};

Human::Human() : age(0), name()
{
    cout << "Constructor" << endl;
}

Human::Human(string name, int age) : age(age), name(name)
{
    cout << "Constructor with parameters" << endl;
}

Human::Human(const Human& human)
{
    cout << "Copy constructor" << endl;
    this->age = human.age;
    this->name = human.name;
}

Human& Human::operator= (const Human& human)
{
    cout << "Copy assignment" << endl;

    if (&human == this)
        return *this;

    this->age = human.age;
    this->name = human.name;
}

Human::Human(const Human&& human)
{
    this->age = human.age;
    this->name = human.name;

    cout << "Move constructor" << endl;
}

Human::~Human()
{
    cout << "Destructor" << endl;
}

Human GetHuman()
{
    Human hu("Leo", 7);
    return hu;
}

int main()
{
    Human jack("Jack", 28); // 调用带参构造函数

    Human jack_son(jack);   // 调用拷贝构造函数

    Human jack_daughter("Lena", 5);

    Human Lena; // 调用无参构造函数

    Lena = jack_daughter;   // 调用拷贝赋值函数

    Human Leo = GetHuman();   // 调用移动构造函数

    return 0;
}

 2.类成员属性有指针类型 

#include <iostream>
#include <string>

using namespace std;

class Human
{
public:
    Human();
    Human(string *name, int age);
    Human(const Human& human);
    Human& operator=(const Human& human);
    Human& operator=(Human&& human);
    Human(Human&& human);  // 差异，无const限制
    ~Human();  // 成员变量无指针类型，可以不用自行编写析构函数，使用编译器默认提供的即可。

private:
    int age;
    string *name;  // 差异
};

Human::Human() : age(0), name(nullptr)
{
    cout << "Constructor" << endl;
}

Human::Human(string *name, int age) : age(age), name(name)
{
    cout << "Constructor with parameters" << endl;
}

Human::Human(const Human& human)
{
    cout << "Copy constructor" << endl;
    this->age = human.age;
    this->name = new string(*human.name);  // 差异
}

Human& Human::operator= (const Human& human)
{
    cout << "Copy assignment" << endl;

    if (&human == this)
        return *this;

    this->age = human.age;
    delete this->name;  // 差异； 必须先释放内存，否则会引发内存泄漏
    this->name = new string(*human.name);  // 差异
}

Human& Human::operator=(Human&& human)
{
    cout << "Move assignment" << endl;

    if (&human == this)
        return *this;

    this->age = human.age;
    delete this->name;
    this->name = human.name;
    human.name = nullptr;
}

Human::Human(Human&& human)
{
    this->age = human.age;
    this->name = human.name;
    human.name = nullptr;  // 差异; 必须置空，否则human.name被析构函数释放，this->name也被释放！

    cout << "Move constructor" << endl;
}

Human::~Human()
{
    delete name;  // 差异
    cout << "Destructor" << endl;
}

测试1： 

Human GetHuman()
{
    Human hu(new string("Leo"), 7);
    return hu;
}

int main()
{
    // 测试1
    Human jack(new string("Jack"), 28); // 调用带参构造函数

    Human jack_son(jack);   // 调用拷贝构造函数

    Human jack_daughter(new string("Lena"), 5);

    Human Lena; // 调用无参构造函数

    Lena = jack_daughter;   // 调用拷贝赋值函数

    Human Leo = GetHuman();   // 调用移动构造函数

    return 0;
}

测试2：

Human GetHuman()
{
    Human hu(new string("Leo"), 7);
    return hu;
}

int main()
{
    Human jack(new string("Jack"), 28); // 调用带参构造函数

    Human jack_son(jack);   // 调用拷贝构造函数

    Human jack_daughter(new string("Lena"), 5);

    Human Lena; // 调用无参构造函数

    Lena = jack_daughter;   // 调用拷贝赋值函数

    Human Leo;
    Leo = GetHuman();   // 调用移动构造函数和移动赋值函数

    return 0;
}

shmiloveyou
关注
专栏目录
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值