最近在学习C++的拷贝构造函数时发现一个问题：在函数中返回局部的类对象时，并没有调用拷贝构造函数。针对这个问题，查阅了一些资料，这里记录整理一下。
调用拷贝构造函数的三种情况：
① 用一个类去初始化另一个对象时（初始化的为新对象）
②一个对象作为参数，以值传递的方式传入函数内
③ 返回值作为类对象，函数执行完成返回调用时。
下面写了一个示例代码：
#include <iostream>
#include <string>
using namespace std;
class Demo {
public:
Demo(string name, int data) : m_name(name), m_data(data) {
cout << "默认构造函数" << endl;
}
Demo(const Demo& other) {
cout << "拷贝构造函数" << endl;
m_name = other.m_name;
m_data = other.m_data;
}
Demo& operator=(const Demo& other) {
cout << "拷贝赋值运算符重载" << endl;
m_name = other.m_name;
m_data = other.m_data;
return *this; //return *this 是为了可以连续赋值
}
Demo(const Demo&& other) {
cout << "移动构造函数" << endl;
m_name = other.m_name;
m_data = other.m_data;
}
Demo& operator=(const Demo&& other) {
cout << "移动赋值运算符重载" << endl;
m_name = other.m_name;
m_data = other.m_data;
return *this;
}
private:
string m_name;
int m_data;
};
void test01()
{
//默认构造
Demo a("zhangsam", 10);
Demo b("lisi", 20);
//拷贝构造：使用一个类去初始化另一个对象时
Demo c = a;
//拷贝赋值运算符重载：使用一个类对另一个对象赋值
c = b = a;
//移动构造。使用右值对象对初始化一个对象时
Demo e = move(a);
//移动赋值运算符重载：使用一个右值对象对另一个对象赋值
e = move(b);
}
//当类对象做形参是，调用拷贝构造函数
Demo test02(Demo d1)
{
Demo f("wangwu", 30);
//返回一个类对象时，这里调用了移动构造函数
//这里编译器默认优化，需要增加-fno-elide-constructor编译选项，但是调用的确实移动构造函数
//原因是，在新的标砖中，当编译器识别到返回的是一个局部的对象，将自动使用move转化。
//前提是类中自定义了移动构造函数，否则将调用拷贝构造函数
return f;
}
int main()
{
test01();
cout << "-----------" << endl;
Demo a1("test", 40);
test02(a1);
cout << "-----------" << endl;
return 0;
}
最开始正常编译 g++ test.cpp
执行结果：
可以看到，test02函数最后返回一个f对象，但是并没有调用拷贝构造函数。
① Demo a1("test", 40); //默认构造函数
② a1形参传参 //拷贝构造函数
③ 函数内 Demo f("wangwu", 30); //默认构造函数
④ return f //？？？未打印任何东西
查阅资料后，说是需要增加一个编译选项 -fno-elide-constructors， 果然增加后，出现了相应的打印。
但是，，为什么是调用的移动构造函数。。。
再次查阅资料到：当从同类型的右值（亡值（将亡值））或纯右值）（C++17前）亡值初始化（直接初始化或者复制初始化）对象时会调用移动构造函数，情况包括：
1、初始化 T a = std::move(b) 或 T a（std::move(b)）
2、函数实参传递 f(std::move(a)) 其中a的类型是T 且f 是Ret f (T t);
3、函数返回：在像T f() 这样的函数中的retuen a；，其中a的类型是T， 且T中自定义了移动构造函数。
所以，，，函数中的局部类对象其实是一个将亡值？？
然后又百度了下将亡值的概念和定义：
就传统的理解而言，函数foo的返回值在内部创建然后被赋值给v（外部接收返回值的对象），然后v获得这个对象时，会将整个temp拷贝一份，然后把temp销毁。如果这个temp非常大，这将造成大量额外的开销（这也是c++一直被诟病的问题）。在新的特性里面，会自动检测这个值是不死局部的，是的话，就直接move()了。用不同的编译器，不同的开关（debug，relese）结果可能都不一样。
例如，一个函数v = foo(），接收返回值的v是一个左值，foo()返回的值也就是一个右值（也是纯右值）。但是v可以被别的变量捕获到，而foo()产生的那个返回值作为一个临时变量，一旦被v赋值后，将立即被销毁，无法获取，也不能修改。