【C++】C++中的委托构造函数详解

目录

一.委托构造函数概念

二.委托构造函数作用

三.委托构造函数的用法

 四.委派构造函数优化

五.委托构造函数注意事项

---

省时间读这里：

避免你有多个参数表不同但是逻辑相近（或者有公共部分）的构造函数的时候，一个逻辑写好几遍造成代码重复。

遇到的问题：

Q:执行的顺序？

A:先执行目标构造函数，再执行委托构造函数。

一.委托构造函数概念

C++11 引入了委托构造的概念，某个类型的一个构造函数可以委托同类型的另一个构造函数对对象进行初始化。为了描述方便我们称前者为委托构造函数，后者为目标构造函数。委托构造函数会将控制权交给目标构造函数，在目标构造函数执行完之后，再执行委托构造函数的主体。委托构造函数的语法非常简单，只需要在委托构造函数的初始化列表中调用目标构造函数即可。

委派构造函数：初始化列表中调用“基准版本”的构造函数就是委派构造函数。
目标构造函数：被调用“基准版本”构造函数就是目标构造函数。

---

二.委托构造函数作用

避免你有多个参数表不同但是逻辑相近（或者有公共部分）的构造函数的时候，一个逻辑写好几遍造成代码重复。

---

三.委托构造函数的用法

如何创建委托构造函数：

class Person {
public:
    // 非委托构造函数使用对应的实参初始化成员
    Person(std::string _name, int _age, double _income):
        name(_name), age(_age), income(_income) { }
    // 其余构造函数全都委托给另一个构造函数
    Person(): Person("", 0, 0) {}
    Person(std::string _name): Person(mike,0,0) {}
    Persona(std::string _name, int _age,): Person(mike,20,0){}
};

调用关系示例： 

#include <iostream>
class Data 
{
public:
	int num1;
	int num2;
	Data()    //目标构造函数
	{
		num1 = 100;
	}
	Data(int num) : Data()  //委托构造函数
	{ // 委托 Data() 构造函数
		num2 = num;
	}
};
void function()
{
	Data data(99);  //首先调用Data() 先给num1复制，然后走到Data(int num) : Data() ，给num2赋值
   
	std::cout <<data.num1 << std::endl;
	std::cout <<data.num2 << std::endl;
}

运行结果

100

99

---

 四.委派构造函数优化

为了使用委派构造时还能使用初始化列表，我们可以定义一个private 的目标构造函数，并将初始化列表放在这个private的目标构造函数中，这样其他委派构造函数就可以通过委派这个目标构造来实现构造的功能。

class Person
{
public:
    Person() :Person(1, 'a') {}
    Person(int i) : Person(i, 'a') {}
    Person(char ch) : Person(1, ch) {} 

private:
    Person(int i, char ch) :type(i), name(ch) {/*其他初始化信息*/}
    int type{ 1 };
    char name{ 'a' };
};

另一种形式

// 通过委派构造函数进行优化
class Person
{
public:
	Person()
	{
		InitPerson();
	}
	Person(int i) : Person()
	{
		type = i;
	}
	Person(char ch) : Person() // 委派构造函数不能使用初始化列表 初始化成员变量
	{
		name = ch;
	}

private:
	void InitPerson() { /* 其他初始化 */}
	int type{ 1 };
	char name{ 'a' };
};

---

五.委托构造函数注意事项

1.可能存在一个构造函数，它既是委托构造函数也是代理构造函数，要防止委托环的出现，否则导致构造死循环。

2.如果一个构造函数为委托构造函数，那么其初始化列表里就不能对数据成员和基类进行初始化，构造函数不能同时委派和使用初始化列表。所以如果委派构造函数要给变量赋初值，初始化代码必须放在函数体中。