从零开始学C++之构造函数与析构函数(三):深拷贝与浅拷贝、空类与空数组

一、深拷贝与浅拷贝

说得简单点,假设一个类有指针成员,如果在拷贝的时候顺带连指针指向的内存也分配了,就称为深拷贝,如下图(v2 从 v 拷贝而来):

如果只是分配指针本身的内存,那就是浅拷贝,如下图:

浅拷贝造成的问题是有两个指针指向同块内存,delete 其中一个指针,那么剩下的指针将成为野指针。编译器合成的默认拷贝构造函数和赋值运算符是浅拷贝的,如果只是普通成员的赋值,浅拷贝也是可以的。

#ifndef _STRING_H_
#define _STRING_H_

class String
{
public:
    String(char *str = "");
    ~String();
    String(const String &other);
    String &operator=(const String &other);



    void Display();

private:
    char *AllocAndCpy(char *str);

    char *str_;
};

#endif // _STRING_H_
#include "String.h"
//#include <string.h>
#include <cstring>
#include <iostream>
using namespace std;

String::String(char *str/* = */)
{
    str_ = AllocAndCpy(str);
}

String::~String()
{
    delete[] str_;
}

String::String(const String &other)
{
    str_ = AllocAndCpy(other.str_);
}

String &String::operator =(const String &other)
{
    if (this == &other)
        return *this;

    delete[] str_;
    str_ = AllocAndCpy(other.str_);
    return *this;
}

char *String::AllocAndCpy(char *str)
{
    int len = strlen(str) + 1;
    char *tmp = new char[len];
    memset(tmp, 0, len);
    strcpy(tmp, str);
    return tmp;
}

void String::Display()
{
    cout << str_ << endl;
}
#include "String.h"

int main(void)
{
    String s1("AAA");
    s1.Display();
    String s2 = s1;     // 调用拷贝构造函数
    // 系统提供的默认拷贝构造函数实施的是浅拷贝 s2.str_ = s1.str_

    String s3;
    s3.Display();
    s3 = s2;            // 调用等号运算符
    // 系统提供的默认等号运算符实施的是浅拷贝 s3.str_ = s2.str_;
    // s3.operator=(s2);
s3.Display();
    // 要让对象是独一无二的,我们要禁止拷贝
    // 方法是将拷贝构造函数与=运算符声明为私有,并且不提供它们的实现
    return 0;
}

上面程序中String 类有一个char* str_ 成员,故实现了深拷贝,这样不会造成内存被释放两次的错误,或者修改指针指向的内存会影响另一个对象的错误。此外,如果我们想让对象是独一无二的,需要禁止拷贝,只需要将拷贝构造函数和等号运算符声明为私有,并且不提供它们的实现。

注意:在编写派生类的赋值函数时,不要忘记对基类的数据成员重新赋值,可以通过调用基类的赋值函数来实现,比如在

Derived& Derived::operator=(const Derived& other) { } 中调用Base::operator=(other);

注:尽量不要把 string 类型变量当作结构体成员,因为有些函数对整个结构体进行拷贝时默认就是 memcpy,即对于 string 变量来说只拷贝了指针,这可能会造成一些莫名其妙的bug,比如指针地址被重用而导致指针指向的内容可能被覆盖重写。--踩过的坑

二、空类与空数组

空类默认产生的成员:

class Empty {}; Empty(); // 默认构造函数 Empty( const Empty& ); // 默认拷贝构造函数 ~Empty(); // 默认析构函数 Empty& operator=( const Empty& );  // 默认赋值运算符 Empty* operator&();               // 取址运算符 const Empty* operator&() const;    // 取址运算符 const

#include <iostream>
using namespace std;

class Empty
{
public:
    Empty *operator&()
    {
        cout << "AAAA" << endl;
        return this;
    }

    const Empty *operator&() const
    {
        cout << "BBBB" << endl;
        return this;
    }
};

int main(void)
{
    Empty e;
    Empty *p = &e;      // 等价于e.operator&();

    const Empty e2;
    const Empty *p2 = &e2;

    cout << sizeof(Empty) << endl;

    return 0;
}

单步调试一下,可以看到分别调用了两个取地址运算符函数,而且空类的大小为1个字节。

体会一下下面的程序结果:

#include<iostream>
using namespace std;
int main()
{
    int a[0];
    class B {};
    struct C
    {
        int  m;
        int  n;
        char buffer[];
    };
    class D
    {
        int  s[0];
    };

    cout << "sizeof(a)=" << sizeof(a) << endl; //0
    cout << "B{}=" << sizeof(B) << endl; //1
    cout << "C=" << sizeof(C) << endl; //8
    cout << "D=" << sizeof(D) << endl; //0

    return 0;
}

参考:

C++ primer 第四版 Effective C++ 3rd C++编程规范

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏西安-晁州

js程序设计01——基本概念

本文为js高级程序设计学习笔记,笔记中不乏本人学习js的一些心得demo,喜欢的朋友可以直接参考原书“javascript高级程序设计”,写本笔记的目的是对js...

1840
来自专栏LanceToBigData

JavaScript之JS的数据类型

JavaScript一共有6中数据类型: 基本数据类型(5):字符串(String)、数字(Number)、布尔(Boolean)、数组(Array)、空(N...

823
来自专栏光变

2.1 ASM-类-结构

本章介绍了使用ASM core的API,生成编译后的class和转换编译后的class。 首先展示了编译后的class文件,然后介绍相应的ASM接口、组件和工具...

1012
来自专栏数据结构与算法

洛谷P3377 【模板】左偏树(可并堆)

题目描述 如题,一开始有N个小根堆,每个堆包含且仅包含一个数。接下来需要支持两种操作: 操作1: 1 x y 将第x个数和第y个数所在的小根堆合并(若第x或第y...

2474
来自专栏along的开发之旅

C#三元运算符?:高级点的用法

当看到,(selectionMethod==0)?(ISelectionMethod)new EliteSelection():            ...

863
来自专栏Golang语言社区

【Go 语言社区】Go语言学习-接口赋值

在go语言中,接口赋值分为2中情况: 1、将对象实例赋值给接口; 2、将一个接口赋值给另一个接口。 1、将对象实例赋值给接口: 要求对象实现了接口...

3074
来自专栏性能与架构

体验 Mysql shell 控制台

以前登录Mysql的控制台后,使用SQL语言来操作数据库,如 mysql> select * from tablename; Mysql 5.7.12 之后有了...

34210
来自专栏轮子工厂

常见的java面试的基础问题(二) | 附赠程序员面试必看的经典图书

(1)设计模式:解决某类问题行之有效的方法,是一种思想,是规律的总结 (2)用来保证某个类在内存中只有一个对象 (3)保证唯一性的思想及步骤:

783
来自专栏C/C++基础

C/C++数组与指针详解

数组大小(元素个数)一般在编译时决定,也有少部分编译器可以运行时动态决定数组大小,比如icpc(Intel C++编译器)。

972
来自专栏cs

pytho字典集合

字典是在大括号里放置逗号分隔的 关键字:值对 ,{key ,value},是无序的,关键字相当于一个内存地址。dictionary是python唯一的映射关系,...

3277

扫码关注云+社区