隐式成员函数

kangels

C++自动提供的成员函数

7 Q9 Z( s5 r6 N& [3 Q
• 默认的构造函数，如果没有定义
• 默认的析构函数，如果没有定义
• 复制构造函数，如果没有定义
• 赋值操作符，如果没有定义
• 取址操作符，如果没有定义
  2 t1 a! S- D+ f# n+ J1 Q

1. 默认的构造函数
3 v7 [0 s! F, [! t: G如果没有默认的构造函数，C++将创建默认的构造函数，例如定义了一个base类，没有定义任何构造函数，则编译器将提供下述默认构造函数：
base::base(){}
) w+ e' {- z/ j% D6 ^- O. e# A也就是一个什么都不做的默认构造函数

; e& z  T* v- y, Z" J2 f6 S$ `2. 默认的析构函数
. ~! D- _/ h; ^$ ?8 Q, g% p& v3. 复制构造函数
( c: ^& `7 e7 [- y复制构造函数用于初始化，将一个对象复制到新创建的对象中，而不是常规的赋值过程中。
: U( G7 Z( A& E3 c6 m- j, AClass_name(const Class_name &)
& B, g9 R& V; Q$ [6 t/ W<1> 何时调用复制构造函数
% Y" w: M6 r+ ]6 F新建 一个对象并将其初始化为同类现有对象时，复制构造函数都将被调用。
* z4 }' k- T* T$ r( Z" _假设dog为animal类的一个对象，下面几种情况都将调用复制构造函数
. t7 h: x# t- A& f" aanimal cat = dog;
animal pig(dog);
: z, S4 h' d; P, E. fanimal fish = animal(dog);
animal * pa = new animal(dog);
每当程序生成对象副本时，编译器都将调用复制构造函数。
void I_love_eat(animal an);                            // 调用此函数时将生成实参的对象副本，将调用复制构造函数
animal Big_bad_animal();                              // 此函数返回animal对象时将生成animal对象副本，也将调用复制构造函数
/ _- O! c5 ?5 U/ l  H1 M" F<2> 复制构造函数的功能。
默认的复制构造函数逐个复制非静态成员

4. 赋值操作符
ANSI C允许结构赋值，而C++允许类对象赋值，这是通过自动为类重载赋值操作符实现的。
5 [9 ~- `$ q2 r! y' N" N+ yClass_name & operator =(const Class_name &);
0 v, d" G7 ]1 a4 f4 k* E2 w<1> 何时使用赋值操作符
- k6 F' j! m* m: k% g6 c将已有对象赋值给另一个同类对象时，将使用重载的赋值操作符。
$ c" e; R# O1 b% G+ J<2> 赋值操作符的功能
与复制构造函数相似，赋值操作符的隐式实现也对成员进行逐个复制。
2 b; f+ J) f6 @- r' S. p; D0 h
5 .取址操作符