隐式成员函数

kangels

( u+ z( K( K) Z! Z% H! N
) w8 V9 o0 i0 {! z! `C++自动提供的成员函数

• 默认的构造函数，如果没有定义
• 默认的析构函数，如果没有定义
• 复制构造函数，如果没有定义
• 赋值操作符，如果没有定义
• 取址操作符，如果没有定义
  

1. 默认的构造函数
如果没有默认的构造函数，C++将创建默认的构造函数，例如定义了一个base类，没有定义任何构造函数，则编译器将提供下述默认构造函数：
5 m8 Z- I5 L- V5 D! ibase::base(){}
% m! j; t; Q$ p# d% y也就是一个什么都不做的默认构造函数

2. 默认的析构函数
+ b+ d* w7 v# ]/ U3. 复制构造函数
6 a" `; C6 w9 x6 \复制构造函数用于初始化，将一个对象复制到新创建的对象中，而不是常规的赋值过程中。
  A" x, n; P: e! P' A1 P5 LClass_name(const Class_name &)
<1> 何时调用复制构造函数
新建 一个对象并将其初始化为同类现有对象时，复制构造函数都将被调用。
: {% |7 P/ ]& s. q4 R+ a. S- q2 [& Z5 a假设dog为animal类的一个对象，下面几种情况都将调用复制构造函数
animal cat = dog;
animal pig(dog);
animal fish = animal(dog);
animal * pa = new animal(dog);
每当程序生成对象副本时，编译器都将调用复制构造函数。
/ U7 D) ^/ O4 [' X; xvoid I_love_eat(animal an);                            // 调用此函数时将生成实参的对象副本，将调用复制构造函数
0 S' G9 W8 h7 ianimal Big_bad_animal();                              // 此函数返回animal对象时将生成animal对象副本，也将调用复制构造函数
<2> 复制构造函数的功能。
5 V; \9 E6 p) p5 ~/ w1 S  I默认的复制构造函数逐个复制非静态成员
1 J0 Q* {6 m; \7 c) f/ E/ T% D4 u! q9 E
0 J# i# ]8 t! s: f) Z# y4. 赋值操作符
ANSI C允许结构赋值，而C++允许类对象赋值，这是通过自动为类重载赋值操作符实现的。
/ K! R$ G5 b) q1 G2 x* X9 v: O$ rClass_name & operator =(const Class_name &);
<1> 何时使用赋值操作符
将已有对象赋值给另一个同类对象时，将使用重载的赋值操作符。
9 e3 J8 X* O  t/ [' K<2> 赋值操作符的功能
与复制构造函数相似，赋值操作符的隐式实现也对成员进行逐个复制。
% p+ z; K& b. i1 ?9 r) Z
9 p/ m4 w) G# ^3 k5 q: b7 e5 .取址操作符