一、背景回顾
上篇博客我们自写动态数组,发现有很多地方我们以前未曾遇到过,比如什么时候用const
,函数返回值用引用还是用值?为啥重写函数必须有const
和非const
之分。这周我专门查阅了 《C++Primer》 一书,并且根据相关习题,理解了关于拷贝控制的知识。直接罗列知识点,是十分愚蠢的做法,笔者容易失去疲倦,读者容易困乏。所以我们以小项目为驱动,直接看项目来加深对知识点的理解。
二、拷贝构造
2.1 特征
代码特征: 参数列表中:第一个参数是自身类型的引用,其余任何额外参数都有默认值。
class Foo{
Foo();
Foo(const Foo&);//拷贝构造
};
思考:为啥拷贝构造需要传入的是 const
且是引用类型?
这里你需要知道一个知识点:参数以值的形式传参的时候,就会调用拷贝构造函数。
“如果参数不是引用类型,则调用永远也不会成功——为了调用拷贝构造,我们需要拷贝实参,我们又要调用拷贝构造,如此无限循环,子子孙孙无穷尽也。”
2.2 IDE合成的拷贝构造函数
即使我们定义了其他构造函数,编译器也会为我们合成一个拷贝构造函数。一般情况下:合成拷贝构造函数 用来将其参数的成员逐个拷贝到正在创建的对象中,而且它还比较强大,可以自动拷贝数组中的元素,当然如果是一个类数组,它又会调用该类的拷贝构造函数来进行拷贝。
2.3 初始化&&赋值
参考Nmoek的博客
初始化是从类型的描述开始,赋值是两个已存在对象之间开始的。
初始化和赋值是包含和被包含的关系。初始化和赋值都能够使得变量具有确定的值。
给变量初始化一定是给变量赋值,但给变量赋值不一定是初始化。
2.4拷贝初始化&&直接初始化
简单直接:使用等号的就是拷贝初始化反之则是拷贝初始化。 当然:前提都是两项都是初始化。要和赋值区分开来
string s5 = "hiya"; //拷贝初始化
string s6("hiya"); //直接初始化
string s7(10, 'c'); //直接初始化,s7的内容是cccccccccc
2.5 调用:“拷贝初始化”的情况
①等号=
②将一个对象作为实参,传递给非引用类型的形参
③从一个返回类型为非引用类型的函数返回一个对象。
④从花括号列表初始化一个数组钟的元素或者聚合类的成员。
⑤初始化某些容器的时候
三、代码例子
本例子是《C++Primer习题集》13.13答案:建议F11单步调试跟一下:
#include<stdio.h>
#include<iostream>
#include<vector>
using namespace std;
#include <initializer_list>
struct X
{
X()
{
std::cout << "构造函数X()" << std::endl;
}
X(const X&)
{
std::cout << "拷贝构造函数X(const X&)" << std::endl;
}
X& operator=(const X& rhs)
{
std::cout << "拷贝赋值运算符=(const X&)" << std::endl;
return *this;
}
~X()
{
std::cout << "析构函数~X()" << std::endl;
}
};
void f1(X x)
{
}
void f2(X& x)
{
}
int main()
{
cout << "局部变量:" << endl;
X x;
cout << endl;
cout << "非引用参数传递:" << endl;
f1(x);
cout << endl;
cout << "引用参数传递:" << endl;
f2(x);
cout << endl;
cout << "动态分配" << endl;
X* px = new X;
cout << endl;
cout << "添加到容器中:" << endl;
vector<X> vx;
vx.push_back(x);
cout << endl;
cout << "释放动态分配对象:" << endl;
delete px;
cout << endl;
cout << "间接初始化和赋值:" << endl;
X y = x;
y = x;
cout << endl;
cout << "程序结束" << endl;
return 0;
}
运行结果: