[C++基础]046_拷贝构造函数与重载赋值运算符(精深版解释)

目录


<<Effective C++>>第三版第12条


什么是copying函数？

通常情况下，编译器会自动为我们的类创建"拷贝构造函数"和"赋值运算符"。这里的拷贝构造函数和赋值运算符就是所谓的copying函数。

编译器自动生成时，复制的情况

View Code

1 #include <iostream>
2 using namespace std;
3
4 class A
5 {
6     int m_i;
7     A( int i ) : m_i(i){}
8     A()
9     {
10         A(0);
11     }
12 };
13 int main()
14 {
15     A obj;
16     cout << obj.m_i << endl;
17
18     system("PAUSE");
19     return 0;
20 }

输出结果：

-858993460
请按任意键继续. . .

上述代码我们在默认构造函数里调用我们自己重载的有参数的构造函数，希望借此来初始化我们的成员变量。但是结果并不是我们所希望的那样，原因很简单，显然上面代码中，A obj；这里已经为obj分配了内存，然后调用默认构造函数，但是默认构造函数还未执行完，却调用了另一个构造函数，这样相当于产生了一个匿名的临时A对象，它调用A(int)构造函数，将这个匿名临时对象自己的数据成员m_i初始化为0；但是obj的数据成员并没有得到初始化。于是obj的m_i是未初始化的，因此其值也是不确定的。

因此，在构造函数里调用构造函数是需要千万小心的，但是这样我们就没有办法来实现我们的赋值计划了吗？不是的，我们还有一个神器:placement new。

修改后的代码如下：

1 class A
2 {
3     int m_i;
4     A( int i ) : m_i(i){}
5     A()
6     {
7         new (this)A(0);
8     }
9 };

下面就让我们来进入new的奇幻世界。

new 、operator new 和 placement new 区别

★new ：不能被重载，其行为总是一致的。它先调用operator new分配内存，然后调用构造函数初始化那段内存，相当于全局的运算符+、-、*、/。

★operator new：要实现不同的内存分配行为，应该重载operator new，而不是new。delete和operator delete类似。delete首先调用对象的析构函数，然后调用operator delete释放掉所使用的内存。

★placement new：只是operator new重载的一个版本。它并不分配内存，只是返回指向已经分配好的某段内存的一个指针。因此不能删除它，但需要调用对象的析构函数。

placement new的含义

placement new 是重载operator new 的一个标准、全局的版本，它不能够被自定义的版本代替（不像普通版本的operator new 和 operator delete能够被替换）。

1 void *operator new( size_t, void *p ) throw() { return p; }

placement new的执行忽略了size_t参数，只返还第二个参数。其结果是允许用户把一个对象放到一个特定的地方，达到调用构造函数的效果。 和其他普通的new不同的是，它在括号里多了另外一个参数。比如：

1 Widget * p = new Widget;   // ordinary new
2 pi = new (ptr) int;        // placement new

括号里的参数ptr是一个指针，它指向一个内存缓冲器，placement new将在这个缓冲器上分配一个对象。Placement new的返回值是这个被构造对象的地址(比如括号中的传递参数)。

※placement new主要适用于：在对时间要求非常高的应用程序中，因为这些程序分配的时间是确定的；长时间运行而不被打断的程序；以及执行一个垃圾收集器 (garbage collector)。

Placement new 存在的理由

(1).用Placement new 解决buffer的问题

问题描述：用new分配的数组缓冲时，由于调用了默认构造函数，因此执行效率上不佳。若没有默认构造函数则会发生编译时错误。如果你想在预分配的内存上创建 对象，用缺省的new操作符是行不通的。要解决这个问题，你可以用placement new构造。它允许你构造一个新对象到预分配的内存上。

(2).增大时空效率的问题

使用new操作符分配内存需要在堆中查找足够大的剩余空间，显然这个操作速度是很慢的，而且有可能出现无法分配内存的异常（空间不够）。placement new 就可以解决这个问题。我们构造对象都是在一个预先准备好了的内存缓冲区中进行，不需要查找内存，内存分配的时间是常数；而且不会出现在程序运行中途出现内 存不足的异常。所以，placement new非常适合那些对时间要求比较高，长时间运行不希望被打断的应用程序。

如何使用placement new

下面是一个placement new使用的实例，注意这个实例在第一步中有三种实现方法，第二种就是传说中的栈空间申请内存。

#include <iostream>
using namespace std;

class A
{
public:
A(){}
A(int i){
this->m_i = i;
}
void print(){
cout<<"m_i = "<<this->m_i<<endl;
cout<<"-----------------"<<endl;
}
private:
int m_i;
};

int main()
{
// 第一步 缓存提前分配
// 方法1：在堆上申请内存
char *buff1 = new char[sizeof(A)];

// 方法2：：在栈上申请内存
char buff2[2*sizeof(A)];

// 方法3：：直接通过地址
char* buff3 = reinterpret_cast<char*> (0x275315DE);

// 第二步：对象的分配
A *pA1 = new(buff1)A(1);
A *pA2 = new(buff2)A(2);
A *pA3 = new(buff3)A(3);

// 第三步：使用
pA1->print();
pA2->print();
pA3->print();

// 第四步：释放内存
delete[] buff1;
delete[] buff2;
//delete[] buff3;

system("PAUSE");
return 0;
}