隐式成员函数

kangels

; I5 F7 d# C4 d! M
2 I* d- w! G# Y7 N5 A3 \5 L& CC++自动提供的成员函数
* D! h. k, Q6 G

+ T0 c1 J" e0 L% w" y  r- z& O
• 默认的构造函数，如果没有定义
• 默认的析构函数，如果没有定义
• 复制构造函数，如果没有定义
• 赋值操作符，如果没有定义
• 取址操作符，如果没有定义
  

1. 默认的构造函数
5 H6 I% z  Q& {3 Q3 Y8 l如果没有默认的构造函数，C++将创建默认的构造函数，例如定义了一个base类，没有定义任何构造函数，则编译器将提供下述默认构造函数：
" Z" C5 ], ?3 p1 {% X2 {' ubase::base(){}
3 R7 O# E' w9 T# X也就是一个什么都不做的默认构造函数

2. 默认的析构函数
3. 复制构造函数
& q; i6 ^/ R- s4 A* F$ K复制构造函数用于初始化，将一个对象复制到新创建的对象中，而不是常规的赋值过程中。
Class_name(const Class_name &)
<1> 何时调用复制构造函数
新建 一个对象并将其初始化为同类现有对象时，复制构造函数都将被调用。
+ v+ w* @" h6 g/ Z0 ]+ Q# J  _假设dog为animal类的一个对象，下面几种情况都将调用复制构造函数
animal cat = dog;
* f+ S5 ~  c- M/ H; O5 Wanimal pig(dog);
" c% l1 L2 Z) h" ]2 uanimal fish = animal(dog);
0 t8 r" [: @) \. q% r9 vanimal * pa = new animal(dog);
每当程序生成对象副本时，编译器都将调用复制构造函数。
2 u" o' M  G5 ^6 L5 b2 I8 T: i/ _9 Svoid I_love_eat(animal an);                            // 调用此函数时将生成实参的对象副本，将调用复制构造函数
; C6 \1 }$ F, S, e) [& uanimal Big_bad_animal();                              // 此函数返回animal对象时将生成animal对象副本，也将调用复制构造函数
: J3 a! R1 I' R) `' D8 B3 W<2> 复制构造函数的功能。
, X5 F& F* [( t; L+ O# F默认的复制构造函数逐个复制非静态成员
) X1 Z" {4 S0 Q
4. 赋值操作符
ANSI C允许结构赋值，而C++允许类对象赋值，这是通过自动为类重载赋值操作符实现的。
Class_name & operator =(const Class_name &);
<1> 何时使用赋值操作符
+ t- O/ i# E# {; x5 l+ `. A将已有对象赋值给另一个同类对象时，将使用重载的赋值操作符。
<2> 赋值操作符的功能
与复制构造函数相似，赋值操作符的隐式实现也对成员进行逐个复制。
1 O! Q( x' v% q- [8 K
$ A- g5 [8 `0 O# _! s5 .取址操作符
# M/ y; L* l8 y; E