从零开始学C++之构造函数与析构函数（三）：深拷贝与浅拷贝、空类

一、深拷贝与浅拷贝

说得简单点，假设一个类有指针成员，如果在拷贝的时候顺带连指针指向的内存也分配了，就称为深拷贝；如果只是分配指针本身的内存，那就是浅拷贝。浅拷贝造成的问题是有两个指针指向同块内存，delete 其中一个指针，那么剩下的指针将成为野指针。编译器合成的默认拷贝构造函数和赋值运算符是浅拷贝的，如果只是普通成员的赋值，浅拷贝也是可以的。

 

 C++ Code 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
#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_

 

 

 

 C++ Code 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
 
#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;
}

 

 

 

 C++ Code 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#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_ 成员，故实现了深拷贝，这样不会造成内存被释放两次的错误，或者修改指针指向的内存会影响另一个对象的错误。此外，如果我们想让对象是独一无二的，需要禁止拷贝，只需要将拷贝构造函数和等号运算符声明为私有，并且不提供它们的实现。


二、空类

空类默认产生的成员：

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

 C++ Code 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
#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个字节。


posted @ 2013-06-27 19:51  坚固66  阅读(157)  评论(0)  编辑  收藏  举报