一:当实现一个类的时候,编译器都做了什么
前言:当我们实现一个类的时候,编译器为我们做了什么;在对类进行操作的时候,有哪些特殊的成员函数可以帮助我们更好的操纵类;
class A {
A();//默认构造函数
A(const A&);//拷贝构造函数
A& operator=(const A&);//拷贝赋值运算符
~A();//析构函数
int IntNum;
}
1.1 空类
class A {}
(1)默认构造函数
初始化对象的非static数据成员
(2)默认合成析构函数
销毁对象的非static数据成员
(3)默认合成拷贝构造函数
依次将每个非static成员拷贝到正在创建的对象中
(即使已经定义其他构造函数,编译器也会合成一个拷贝构造函数)
(4)默认合成拷贝赋值运算符
若类未定义自己的拷贝赋值运算符,编译器会为类合成一个。
Note:当我们需要自定义一个类的析构函数的时候,几乎可以肯定它也需要自定义一个拷贝构造函数和拷贝赋值运算符
(5)this指针
二:类中特殊的函数
2.1 类的对象在“拷贝,移动,赋值,销毁”时,做了什么
string str1(10,'.'); //直接初始化
string str2(str1); //直接初始化
string str3 = str1; //拷贝初始化
string str4 = "123456789"; //拷贝初始化
string str5 = string(10, '.'); //拷贝初始化
/*
直接初始化要求编译器使用普通的函数匹配来选择与我们提供的参数最匹配的构造函数
拷贝初始化要求编译器将右侧运算对象拷贝到正在创建的对象中,需要时进行类型转换
*/
void fun1(string s);
fun1(str1);//拷贝初始化:将一个对象作为实参传递给一个非引用类型的形参
string fun2();
string str6 = fun2();//拷贝初始化:从一个返回类型为非引用类型的函数返回对象
struct DATA{
int intNum;
string strNum;
}
DATA data1 = {1,"12345678"};//拷贝初始化:用花括号列表初始化一个数组中的元素或一个聚合类中的成员
/*
当初始化标准库容器或是调用其insert或push成员时,容器会对其元素进行拷贝初始化,
与之相对,用emplace成员创建的元素都进行直接初始化
*/
vector<int> VecNum1;
VecNum1.push_back(1);//拷贝初始化
VecNum1.emplace_back(1);//直接初始化
vector<int> VecNum2;
VecNum2.insert(VecNum2.end(), VecNum1.begin(), VecNum1.end());//拷贝初始化
(1)拷贝构造函数
(2)移动构造函数
/*
使用方法: 1.使用std:move()的标准库函数
2.使用定义了“移动构造函数”的标准库类
*/
A::A(A &&a) noexcept//移动操作不应该抛出异常,避免为了处理这种可能性而带来额外的操作
: IntNum(a.IntNum)//接管a中的资源
{
//a进入析构状态
}
/*
移动构造函数不申请新内存
*/
(3)拷贝赋值运算符
(4)移动赋值运算符
A& A::operator =(A && a) noexcept
{
//释放原有资源
//接管资源
//移后源对象可析构
}