隐式成员函数

kangels

# c* ~  v7 a9 K6 ]  T8 }7 m0 ]
C++自动提供的成员函数
/ M8 |' A" R: U* e: p

2 w; j, D0 T# o6 E$ m
• 默认的构造函数，如果没有定义
• 默认的析构函数，如果没有定义
• 复制构造函数，如果没有定义
• 赋值操作符，如果没有定义
• 取址操作符，如果没有定义
  ( ~, J" s0 M2 r

1. 默认的构造函数
如果没有默认的构造函数，C++将创建默认的构造函数，例如定义了一个base类，没有定义任何构造函数，则编译器将提供下述默认构造函数：
base::base(){}
; S; I, j$ q6 S9 ]9 [8 y5 q' i也就是一个什么都不做的默认构造函数

3 l  t( F" ]6 r# _  ?* o2. 默认的析构函数
& r; m1 Z( _% n, O: `' d3. 复制构造函数
' }$ B. \$ J* I复制构造函数用于初始化，将一个对象复制到新创建的对象中，而不是常规的赋值过程中。
! r2 x. G- ]3 l. W( A' oClass_name(const Class_name &)
<1> 何时调用复制构造函数
1 n# U# f; q( p8 [( R- g2 M新建 一个对象并将其初始化为同类现有对象时，复制构造函数都将被调用。
假设dog为animal类的一个对象，下面几种情况都将调用复制构造函数
animal cat = dog;
animal pig(dog);
; U8 ~( w& x& _% X4 a8 F8 nanimal fish = animal(dog);
animal * pa = new animal(dog);
每当程序生成对象副本时，编译器都将调用复制构造函数。
void I_love_eat(animal an);                            // 调用此函数时将生成实参的对象副本，将调用复制构造函数
animal Big_bad_animal();                              // 此函数返回animal对象时将生成animal对象副本，也将调用复制构造函数
* Q' C4 i: v  }& x; X$ m* y; ^! E<2> 复制构造函数的功能。
默认的复制构造函数逐个复制非静态成员
6 z, @7 g9 |+ I2 T8 O" X* v( m5 t+ s
2 `8 U7 l+ t5 j' Y# h4. 赋值操作符
ANSI C允许结构赋值，而C++允许类对象赋值，这是通过自动为类重载赋值操作符实现的。
Class_name & operator =(const Class_name &);
7 @  X% z, a* k8 b- S2 ^, B6 ^: I<1> 何时使用赋值操作符
& K4 b1 G1 C% r6 l8 S将已有对象赋值给另一个同类对象时，将使用重载的赋值操作符。
<2> 赋值操作符的功能
4 C. H5 i, o$ N+ t/ M9 n, T与复制构造函数相似，赋值操作符的隐式实现也对成员进行逐个复制。
* [! f6 |+ X! d
5 .取址操作符
7 Y: N2 K8 ~6 o8 @! W