拷贝构造、移动构造、拷贝赋值、移动赋值

最近在学习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赋值后,将立即被销毁,无法获取,也不能修改。

相关推荐
白子寰11 分钟前
【C++打怪之路Lv14】- “多态“篇
开发语言·c++
小芒果_0116 分钟前
P11229 [CSP-J 2024] 小木棍
c++·算法·信息学奥赛
gkdpjj21 分钟前
C++优选算法十 哈希表
c++·算法·散列表
王俊山IT23 分钟前
C++学习笔记----10、模块、头文件及各种主题(一)---- 模块(5)
开发语言·c++·笔记·学习
-Even-26 分钟前
【第六章】分支语句和逻辑运算符
c++·c++ primer plus
我是谁??1 小时前
C/C++使用AddressSanitizer检测内存错误
c语言·c++
发霉的闲鱼2 小时前
MFC 重写了listControl类(类名为A),并把双击事件的处理函数定义在A中,主窗口如何接收表格是否被双击
c++·mfc
小c君tt2 小时前
MFC中Excel的导入以及使用步骤
c++·excel·mfc
xiaoxiao涛2 小时前
协程6 --- HOOK
c++·协程
羊小猪~~4 小时前
数据结构C语言描述2(图文结合)--有头单链表,无头单链表(两种方法),链表反转、有序链表构建、排序等操作,考研可看
c语言·数据结构·c++·考研·算法·链表·visual studio