C++：拷贝管理

最新推荐文章于 2024-07-25 08:00:00 发布

阿有耳

最新推荐文章于 2024-07-25 08:00:00 发布

阅读量479

点赞数 1

分类专栏： C++笔记文章标签： C++ 拷贝管理析构函数拷贝赋值运算符拷贝构造函数

本文链接：https://blog.csdn.net/u012674931/article/details/49715457

版权

C++笔记专栏收录该内容

1 篇文章 0 订阅

订阅专栏

《C++ Primer》看到这一章我都惊呆了，C++竟然还能有这种功能：类可以控制该类型对象拷贝、赋值、移动和销毁时做什么。
以上操作通过：拷贝构造函数、移动构造函数、拷贝赋值运算符、移动赋值运算符、以及析构函数构成。

拷贝构造函数：

定义：如果一个构造函数的第一个参数是自身类类型的引用，且任何额外参数都有默认值，则此构造函数是拷贝构造函数。

本质上是个构造函数，所以它出现就会构造新对象，没有新对象它就没出现。

拷贝构造函数的第一个参数必须是一个引用类型，因为如果是值传递方式穿参的话，会立即再次调用拷贝构造函数，这样就形成无限递归了！危险！

如果我们没有自定义一个拷贝构造函数，编译器会自动帮我们合成一个。默认拷贝构造函数会将其参数成员逐个拷贝到正在创建的对象中。

以下情况会发生拷贝初始化：
1. 用=定义变量。
2. 将一个对象作为实参传递给一个非引用类型的形参。
3. 从一个返回类型为非引用类型的函数返回一个对象。
4. 列表初始化一个数组中的元素或一个聚合类中的成员。

有个小坑是，A aa = a;像这样定义并初始化一个A类型的变量aa，只会调用拷贝构造函数，不会调用拷贝赋值运算符。

#include <iostream>
using namespace std;

class A{
public:
    A(int i=0):n(i){}

    A(A &a, int i=0):n(i){
        cout<< a.getI() <<endl;
        cout<< getI() <<endl;
        cout<<"hello"<<endl;
    }

    const int getI(){
        return n;
    }

private:
    int n = 0;
};

int main(){
    A a(998);
    A b = a;//调用拷贝构造函数
    //输出结果为：
    //998
    //0
    //hello
    //证明 a 被当成了拷贝构造函数的第一个参数
    return 0;
}

拷贝赋值运算符

这其实就是个操作符重载。本质上是个名为operator=的函数，所有有形参有返回值，有函数体，都有。

当然要成为一个伟大的赋值运算符，当然要付出一点代价：
1. 名字必须是operator=
2. 必须定义为成员函数
3. 左侧运算对象就绑定到隐式的this参数上
4. 接受一个与其所在类相同类型的参数
5. 为了与内置类型的赋值保持一致，返回指向左侧对象的引用。

如果类没有定义自己的拷贝赋值操作符，编译器会自动生成一个。它会将右侧运算对象的每个非static成员赋予左侧运算对象的对应成员。


#include <iostream>
using namespace std;

class A{
public:
    A(int i=0):n(i){}

    A(A &a, int i=0):n(i){
        cout<< a.getI() <<endl;
        cout<< getI() <<endl;
        cout<<"hello"<<endl;
    }

    A &operator=(const A &r){
        n = r.n;
        cout<<"copying..."<<endl;
        return *this;
    }

    const int getI(){
        return n;
    }

private:
    int n = 0;
};

int main(){
    A a(998);
    A b(333);
    b = a;
    cout<< b.getI()<<endl;
    //copying...
    //998
    return 0;
}