C++中的位拷贝和值拷贝

既然每个类能自动生成构造函数、复制构造函数、析构函数与赋值函数函数，为什么还要程序员编写？

（1）如果使用“缺省的无参数构造函数”和“缺省的析构函数”，等于放弃了自主“初始化”和“清除”的机会，C++发明人Stroustrup的好心好意白费了。

（2）“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”的方式来实现，倘若类中含有指针变量，这两个函数注定将出错。

为了便于说明我们以String类为例：

首先定义String类，而并不实现其成员函数。

Class String{
public:
String(const char *ch=NULL);//默认构造函数
String(const String &str);//拷贝构造函数
~String(void);
String &operator=(const String &str);//赋值函数
private:
char *m_data;
};

位拷贝拷贝的是地址，而值拷贝则拷贝的是内容。

如果定义两个String对象A和B。A.m_data和B.m_data分别指向一段区域，A.m_data="windows",B.m_data=“linux";

如果未重写赋值函数，将B赋给A;则编译器会默认进行位拷贝，A.m_data=B.m_data

则A.m_data和B.m_data指向同一块区域，虽然A.m_data指向的内容会改变成"linux",但是这样容易出现这些问题：

(1):A.m_data原来指向的内存区域未释放，造成内存泄露。

(2):A.m_data和B.m_data指向同一块区域，任何一方改变都会影响另一方

(3)：当对象被析构时，B.m_data被释放两次。

对于编译器，如果不主动编写拷贝函数和赋值函数，它会以“位拷贝”的方式自动生成缺省的函数。

如果重写赋值函数和拷贝构造函数后，

A.m_data=B.m_data，进行的是值拷贝，会将B.m_data的内容赋给A.m_data,A.m_data还是指向原来的内存区域，但是其内容改变。