C++编译器生成的默认函数

C++ 编译器生成的默认函数

话题引入：

对象的赋值与复制是如何进行的？他们的区别是什么？如果一个空的自定义类型能否执行这些操作？

对象赋值：通过“ = ”运算符重载

User a(10),b;

b = a;

对象复制：调用拷贝构造函数

User b;

User a(b);

或者

User a = b;  //相当于User a(b); 也是调用拷贝构造函数

 

二者的区别：赋值是对一个已经存在的对象进行赋值（已经实现定义了被赋值的对象），而复制是从无到有建立一个新的对象，并使它与已有的对象相同。

浅复制与深复制：若对象中有指针成员，在复制时，只会将该指针成员的地址复制给新建立的对象，因此，两个对象中的指针成员都指向了同一块内存区域，在释放时会出现重复释放的问题。需要手动定义拷贝构造函数，在构造函数中将为指针变量分配新的内存，是不同对象的指针成员指向不同的内存区域。

 

用到拷贝构造函数的三种情况：

1、需要建立一个新对象，并用另一个同类对象对其进行初始化

2、函数的参数为类的对象时，在调用函数时需要建立一个实参的拷贝，按实参复制一个形参，系统是通过调用拷贝构造函数实现的

3、函数的返回值是类的对象：函数调用结束时，需要将函数中的对象复制一个临时对象，并传给该函数的调用处。

[cpp]  view plain copy

1. User getUser()  
2. {    
3. User temp;    
4. return temp;  
5. }  
6. int main()  
7. {    
8. User user = getUser();//调用getUser();  
9. }  

 

getUser()函数调用结束时，getUser中建立的对象temp的生命周期结束（即将销毁），所以不是将temp带回main,而是在执行return语句时，调用User类的拷贝构造函数，按temp拷贝一个新的、对象，然后将它赋值给user.

 

 

编译器提供的默认函数：

以上提到了对象的拷贝构造和赋值运算，如果是自定义类型想进行这些操作，还需要额外的函数定义吗？答案是：如果没有特殊要求则不需要，编译器已经给我们提供了默认实现。只是需要注意的是这些默认实现是按位复制的浅复制方式。

 

定义一个空的C++类，例如

[cpp]  view plain copy

1. class Empty  
2. {  
3. }  

 

一个空的class在C++编译器处理过后就不再为空，编译器会自动地为我们声明一些member function，一般编译过去就相当于

[cpp]  view plain copy

1. class Empty  
2. {  
3. public:  
4. Empty();              // 缺省构造函数  
5. Empty( const Empty& );  // 拷贝构造函数  
6. ~Empty();             // 析构函数  
7. Empty& operator=( const Empty& ); // 赋值运算符  
8. Empty* operator&();    // 取址运算符  
9. const Empty* operator&() const; // 取址运算符 const  
10. };  

 

下面给出一个完整实现这些函数的类型定义示例：

[cpp]  view plain copy

1. class Student  
2. {  
3. public:  
4.     Student();  //构造函数  
5.     ~Student(); //析构函数  
6.     Student( const Student& stu ); //拷贝构造函数  
7.     Student& operator=( const Student& stu); //赋值运算符  
8.     bool operator==(const Student& stu) const; //==运算符重载  
9.   
10. public:  
11.     char Name[10];  
12.     int Age;  
13. };  
14.   
15. //构造函数  
16. Student::Student()  
17. {  
18.     TRACE("Student的构造函数\r\n");  
19. }  
20.   
21. //析构函数  
22. Student::~Student()  
23. {  
24.     TRACE("Student的析构函数\r\n");  
25. }  
26.   
27. //拷贝构造函数  
28. Student::Student( const Student& stu)  
29. {  
30.     TRACE("Student的复制构造函数\r\n");  
31.     sprintf(Name, stu.Name);  
32.     Age = stu.Age;  
33. }  
34.   
35. //赋值运算符  
36. Student& Student::operator=( const Student& stu)  
37. {  
38.     TRACE("Student的赋值运算符\r\n");  
39.     //此处应该先释放该对象的成员变量指向原有内存（该类型不涉及）  
40.     //...  
41.     sprintf(Name, stu.Name);  
42.     Age = stu.Age;  
43.   
44.     return *this;  
45. }  
46.   
47. bool Student::operator==( const Student& stu) const  
48. {  
49.     TRACE("==运算符\r\n");  
50.     return strcmp(Name, stu.Name) == 0 && Age==stu.Age;  
51. }  

转自:http://blog.csdn.net/zztfj/article/details/7988022