1、声明与定义：
首先，必须知道“声明”和“定义”之间的区别，因为这两个术语在全书中会被确切地使用。“声明”向计算机介绍名字，它说，“这个名字是什么意思”。而“定义”为这个名字分配
存储空间。无论涉及到变量时还是函数时含义都一样。无论在哪种情况下，编译器都在“定义”处分配存储空间。对于变量，编译器确定这个变量占多少存储单元，并在内存中产生存放它们的空间。对于函数，编译器产生代码，并为之分配存储空间。函数的存储空间中有一个由使用不带参数表或带地址操作符的函数名产生的指针。定义也可以是声明。如果该编译器还没有看到过名字A，程序员定义int A，则编译器马上为这个名字分配存储地址。声明常常使用于e x t e r n关键字。如果我们只是声明变量而不是定义它，则要求使用e x t e r n。对于函数声明， e x t e r n是可选的，不带函数体的函数名连同参数表或返回值，自动地作为一个声明。函数原型包括关于参数类型和返回值的全部信息。int f(float,char);是一个函数原型，因为它不仅介绍f这个函数的名字，而且告诉编译器这个函数有什么样的参数和返回值，使得编译器能对参数和返回值做适当的处理。C + +要求必须写出函数原型，因为它增加了一个重要的安全层。
extern int i;//声明
extern float f(float);//声明
float b;//声明+定义
float f(float a){//定义
return a+1.0;
}
int i;//定义
int h(int x){//声明+定义
return x+1;
}
main(){
b=1.0;
i=2;
f(b);
h(i);
}
在函数声明时，参数名可给出也可不给出。而在定义时，它们是必需的。这在C语言中确实如此，但在C + +中并不一定。
2、句柄类：
C + +中的存取控制允许将实现与接口部分分开，但实现的隐藏是不完全的。编译器必须知道一个对象的所有部分的声明，以便创建和管理它。我们可以想象一种只需声明一个对象的公共接口部分的编程语言，而将私有的实现部分隐藏起来。但C + +在编译期间要尽可能多地做静态类型检查。这意味着尽早捕获错误，也意味着程序具有更高的效率。然而这对私有的实现部分来说带来两个影响：一是即使程序员不能轻易地访问实现部分，但他可以看到它；二是造成一些不必要的重复编译。
可见的实现部分：
有些项目不可让最终用户看到其实现部分。例如可能在一个库的头文件中显示一些策略信息，但公司不想让这些信息被竞争对手获得。比如从事一个安全性很重要的系统(如加密算法)，我们不想在文件中暴露任何线索，以防有人破译我们的代码。或许我们把库放在了一个“有敌意”的环境中，在那里程序员会不顾一切地用指针和类型转换存取我们的私有成员。在所有这些情况下，就有必要把一个编译好的实际结构放在实现文件中，而不是让其暴露在头文件中。
减少重复编译：
在我们的编程环境中，当一个文件被修改，或它所依赖的文件包含的头文件被修改时，项目负责人需要重复编译这些文件。这意味着无论何时程序员修改了一个类，无论是修改公共的接口部分，还是私有的实现部分，他都得再次编译包含头文件的所有文件。对于一个大的项目而言，在开发初期这可能非常难以处理，因为实现部分可能需要经常改动；如果这个项目非常大，用于编译的时间过多就可能妨碍项目的完成。解决这个问题的技术有时叫句柄类（ handle classes）或叫“Cheshire Cat”[ 1 ]。有关实现的任何东西都消失了，只剩一个单一的指针“ s m i l e”。该指针指向一个结构，该结构的定义与其所有的成员函数的定义一样出现在实现文件中。这样，只要接口部分不改变，头文件就不需变
动。而实现部分可以按需要任意更动，完成后只要对实现文件进行重新编译，然后再连接到项目中。这里有个说明这一技术的简单例子。头文件中只包含公共的接口和一个简单的没有完全指定的类指针。这是所有客户程序员都能看到的。这行
struct cheshire;
是一个没有完全指定的类型说明或类声明（一个类的定义包含类的主体）。它告诉编译器，cheshire 是一个结构的名字，但没有提供有关该结构的任何东西。这对产生一个指向结构的指针来说已经足够了。但我们在提供一个结构的主体部分之前不能创建一个对象。在这种技术里，包含具体实现的结构主体被隐藏在实现文件中。
#ifndef HANDLE_H
#define HANDLE_H
class handle{
struct cheshire;
cheshire *smile;
public:
void initialize();
void cleanup();
int read();
void change(int);
};
#endif
这是所有客户程序员都能看到的。这行
struct cheshire;
是一个没有完全指定的类型说明或类声明（一个类的定义包含类的主体）。它告诉编译器，cheshire 是一个结构的名字，但没有提供有关该结构的任何东西。这对产生一个指向结构的指针来说已经足够了。但我们在提供一个结构的主体部分之前不能创建一个对象。在这种技术里，包含具体实现的结构主体被隐藏在实现文件中。
#include "handle.h"
struct handle::cheshire{
int i;
};
void handle::initialize(){
smile=(cheshire *)malloc(sizeof(cheshire));
assert(smile);
smile->i=0;
}
void handle::cheanup(){
free(smile);
}
int handle::read(){
return smile->i;
}
void handle::change(int x){
smile->i=x;
}
cheshire 是一个嵌套结构，所以它必须用范围分解符定义
struct handle::cheshire {
在h a n d l e : : i n i t i a l i z e ( )中，为cheshire struct分配存储空间[ 1 ]，在h a n d l e : : c l e a n u p ( )中这些空间被释放。这些内存被用来代替类的所有私有部分。当编译H A N D L E . C P P时，这个结构的定义被隐藏在目标文件中，没有人能看到它。如果改变了c h e s h i r e的组成，唯一要重新编译的是H A N D L E . C P P，因为头文件并没有改动。句柄（h a n d l e）的使用就像任何类的使用一样，包含头文件、创建对象、发送信息。
#include "handle.h"
main(){
handle u;
u.initialize();
u.read();
u.change(2);
}
客户程序员唯一能存取的就是公共的接口部分，因此，只是修改了在实现中的部分，这些文件就不须重新编译。虽然这并不是完美的信息隐藏，但毕竟是一大进步
3、重载：
返回值重载：
void f();
int f();
当编译器能从上下文中唯一确定函数的意思时，如int x = f();这当然没有问题。然而，在C中，我们总是可以调用一个函数但忽略它的返回值，在这种情况下，编译器如何知道调用哪个函数呢？更糟的是，读者怎么知道哪个函数会被调用呢？仅仅靠返回值来重载函数实在过于微妙了，所以在C + +中禁止这样做。
4、const ：
与使用# d e f i n e一样，使用c o n s t必须把c o n s t定义放进头文件里。这样，通过包含头文件，可把c o n s t定义单独放在一个地方并把它分配给一个编译单元。C + +中的c o n s t默认为内部连接，也就是说，c o n s t仅在c o n s t被定义过的文件里才是可见的，而在连接时不能被其他编译单元看到。当定义一个常量（c o n s t）时，必须赋一个值给它，除非用e x t e r n作了清楚的说明：
extern const bufsize；
虽然上面的e x t e r n强制进行了存储空间分配（另外还有一些情况，如取一个c o n s t的地址，也要进行存储空间分配），但是C + +编译器通常并不为c o n s t分配存储空间，相反它把这个定义保存在它的符号表里。当c o n s t被使用时，它在编译时会进行常量折叠。
5、volatile：
v o l a t i l e的语法与c o n s t是一样的，但是v o l a t i l e的意思是“在编译器认识的范围外，这个数据可以被改变”。不知何故，环境正在改变数据（可能通过多任务处理），所以，v o l a t i l e告诉编译器不要擅自做出有关数据的任何假定—在优化期间这是特别重要的。如果编译器说：“我已经把数据读进寄存器，而且再没有与寄存器接触”。一般情况下，它不需要再读这个数据。但是，如果数据是v o l a t i l e修饰的，编译器不能作出这样的假定，因为可能被其他进程改变了，它必须重读这个数据而不是优化这个代码。就像建立c o n s t对象一样，程序员也可以建立v o l a t i l e对象，甚至还可以建立const volatile对象，这个对象不能被程序员改变，但可通过外面的工具改变。下面是一个例子，它代表一个类，这个类涉及到硬件通信：
就像c o n s t一样，我们可以对数据成员、成员函数和对象本身使用v o l a t i l e，可以并且也只能为v o l a t i l e对象调用v o l a t i l e成员函数。函数i s r ( )不能像中断服务程序那样使用的原因是：在一个成员函数里，当前对象（ t h i s）的地址必须被秘密地传递，而中断服务程序I S R一般根本不要参数。为解决这个问题，可以使i s r ( )成为静态成员函数，这是下面章节讨论的主题。v o l a t i l e的语法与c o n s t是一样的，所以经常把它们俩放在一起讨论。为表示可以选择两个中的任何一个，它们俩通称为c - v限定词。
6、内联函数（inline）：
在解决C + +中宏存取私有的类成员的问题过程中，所有和预处理器宏有关的问题也随着消失了。这是通过使宏被编译器控制来实现的。在C + +中，宏的概念是作为内联函数来实现的，而内联函数无论在任何意义上都是真正的函数。唯一不同之处是内联函数在适当时像宏一样展开，所以函数调用的开销被取消。因此，应该永远不使用宏，只使用内联函数。
任何在类中定义的函数自动地成为内联函数，但也可以使用i n l i n e关键字放在类外定义的函数前面使之成为内联函数。但为了使之有效，必须使函数体和声明结合在一起，否则，编译器将它作为普通函数对待。因此
inline int PlusOne(int x);
没有任何效果，仅仅只是声明函数（这不一定能够在稍后某个时候得到一个内联定义）。成功的方法如下：
inline int PlusOne(int x) { return ++x ;}
注意，编译器将检查函数参数列表使用是否正确，并返回值（进行必要的转换）。这些事情是预处理器无法完成的。假如对于上面的内联函数，我们写成一个预处理器宏的话，将有不想要的副作用。
一般应该把内联定义放在头文件里。当编译器看到这个定义时，它把函数类型（函数名+返回值）和函数体放到符号表里。当使用函数时，编译器检查以确保调用是正确的且返回值被正确使用，然后将函数调用替换为函数体，因而消除了开销。内联代码的确占用空间，但假如函数较小，这实际上比为了一个普通函数调用而产生的代码（参数压栈和执行C A L L）占用的空间还少。
在头文件里，内联函数默认为内部连接——即它是static, 并且只能在它被包含的编译单元看到。因而，只要它们不在相同的编译单元中声明，在内联函数和全局函数之间用同样的名字也不会在连接时产生冲突。
6、转换连接：
如果C + +中编写一个程序需要用到C库，那该怎么办呢？如果这样声明一个C函数：
float f(int a,char b);
C + +的编译器就会将这个名字变成像_ f _ i n t _ i n t之类的东西以支持函数重载（和类型安全连接）。然而，C编译器编译的库一般不做这样的转换，所以它的内部名为_ f。这样，连接器将无法解决我们C + +对f（）的调用。
C + +中提供了一个连接转换指定，它是通过重载e x t e r n关键字来实现的。e x t e r n后跟一个字符串来指定我们想声明的函数的连接类型，后面是函数声明。
extern "C" float f(int a,char b);
这就告诉编译器f ( )是C连接，这样就不会转换函数名。标准的连接类型指定符有“ C”和“C + +”两种，但编译器开发商可选择用同样的方法支持其他语言。
多数C + +编译器开发商在他们的头文件中处理转换连接指定，包括C和C + +，所以我们不用担心它们。虽然标准的C + +只支持“C”和“C + +”两种连接转换指定，但用同样的方法可以实现对其他语言的支持。
C++中extern c的深层探索
C++语言的创建初衷是“a better C”，但是这并不意味着C++中类似C语言的全局变量和函数所采用的编译和连接方式与C语言完全相同。作为一种欲与C兼容的语言，C++保留了一部分过程式语言的特点（被世人称为“不彻底地面向对象”），因而它可以定义不属于任何类的全局变量和函数。但是，C++毕竟是一种面向对象的程序设计语言，为了支持函数的重载，C++对全局函数的处理方式与C有明显的不同。2.从标准头文件说起某企业曾经给出如下的一道面试题：面试题为什么标准头文件都有类似以下的结构？#ifndef __INCvxWorksh#define __INCvxWorksh#ifdef __cplusplusextern "C" {#endif/*...*/#ifdef __cplusplus}#endif#endif /* __INCvxWorksh */分析显然，头文件中的编译宏“#ifndef __INCvxWorksh、#define __INCvxWorksh、#endif” 的作用是防止该头文件被重复引用。那么#ifdef __cplusplusextern "C" {#endif#ifdef __cplusplus}#endif的作用又是什么呢？我们将在下文一一道来。3.深层揭密extern "C"extern "C" 包含双重含义，从字面上即可得到：首先，被它修饰的目标是“extern”的；其次，被它修饰的目标是“C”的。让我们来详细解读这两重含义。被extern "C"限定的函数或变量是extern类型的；extern是C/C++语言中表明函数和全局变量作用范围（可见性）的关键字，该关键字告诉编译器，其声明的函数和变量可以在本模块或其它模块中使用。记住，下列语句：extern int a;仅仅是一个变量的声明，其并不是在定义变量a，并未为a分配内存空间。变量a在所有模块中作为一种全局变量只能被定义一次，否则会出现连接错误。引用一个定义在其它模块的全局变量或函数（如，全局函数或变量定义在A模块，B欲引用）有两种方法， 一、B模块中include模块A的头文件。二、模块B中对欲引用的模块A的变量或函数重新声明一遍，并前加extern关键字。通常，在模块的头文件中对本模块提供给其它模块引用的函数和全局变量以关键字extern声明。例如，如果模块B欲引用该模块A中定义的全局变量和函数时只需包含模块A的头文件即可。这样，模块B中调用模块A中的函数时，在编译阶段，模块B虽然找不到该函数，但是并不会报错；它会在连接阶段中从模块A编译生成的目标代码中找到此函数。与extern对应的关键字是static，被它修饰的全局变量和函数只能在本模块中使用。因此，一个函数或变量只可能被本模块使用时，其不可能被extern “C”修饰。被extern "C"修饰的变量和函数是按照C语言方式编译和连接的；未加extern “C”声明时的编译方式首先看看C++中对类似C的函数是怎样编译的。作为一种面向对象的语言，C++支持函数重载，而过程式语言C则不支持。函数被C++编译后在符号库中的名字与C语言的不同。例如，假设某个函数的原型为：void foo( int x, int y );该函数被C编译器编译后在符号库中的名字为_foo，而C++编译器则会产生像_foo_int_int之类的名字（不同的编译器可能生成的名字不同，但是都采用了相同的机制，生成的新名字称为“mangled name”）。_foo_int_int这样的名字包含了函数名、函数参数数量及类型信息，C++就是靠这种机制来实现函数重载的。例如，在C++中，函数void foo( int x, int y )与void foo( int x, float y )编译生成的符号是不相同的，后者为_foo_int_float。同样地，C++中的变量除支持局部变量外，还支持类成员变量和全局变量。用户所编写程序的类成员变量可能与全局变量同名，我们以"."来区分。而本质上，编译器在进行编译时，与函数的处理相似，也为类中的变量取了一个独一无二的名字，这个名字与用户程序中同名的全局变量名字不同。未加extern "C"声明时的连接方式假设在C++中，模块A的头文件如下：// 模块A头文件 moduleA.h#ifndef MODULE_A_H#define MODULE_A_Hint foo( int x, int y );#endif在模块B中引用该函数：// 模块B实现文件 moduleB.cpp#include "moduleA.h"foo(2,3);实际上，在连接阶段，连接器会从模块A生成的目标文件moduleA.obj中寻找_foo_int_int这样的符号！加extern "C"声明后的编译和连接方式加extern "C"声明后，模块A的头文件变为：// 模块A头文件 moduleA.h#ifndef MODULE_A_H#define MODULE_A_Hextern "C" int foo( int x, int y );#endif在模块B的实现文件中仍然调用foo( 2,3 )，其结果是：（1）模块A编译生成foo的目标代码时，没有对其名字进行特殊处理，采用了C语言的方式；（2）连接器在为模块B的目标代码寻找foo(2,3)调用时，寻找的是未经修改的符号名_foo。如果在模块A中函数声明了foo为extern "C"类型，而模块B中包含的是extern int foo( int x, int y ) ，则模块B找不到模块A中的函数；反之亦然。所以，可以用一句话概括 extern “C”这个声明的真实目的（任何语言中的任何语法特性的诞生都不是随意而为的，来源于真实世界的需求驱动。我们在思考问题时，不能只停留在这个语言是怎么做的，还要问一问它为什么要这么做，动机是什么，这样我们可以更深入地理解许多问题）：实现C++与C及其它语言的混合编程。明白了C++中extern "C"的设立动机，我们下面来具体分析extern "C"通常的使用技巧。4.extern "C"的惯用法（1）在C++中引用C语言中的函数和变量，在包含C语言头文件（假设为cExample.h）时，需进行下列处理：extern "C"{#include "cExample.h"}而在C语言的头文件中，对其外部函数只能指定为extern类型，C语言中不支持extern "C"声明，在.c文件中包含了extern "C"时会出现编译语法错误。笔者编写的C++引用C函数例子工程中包含的三个文件的源代码如下：/* c语言头文件：cExample.h */#ifndef C_EXAMPLE_H#define C_EXAMPLE_Hextern int add(int x,int y);#endif/* c语言实现文件：cExample.c */#include "cExample.h"int add( int x, int y ){return x + y;}// c++实现文件，调用add：cppFile.cppextern "C"{#include "cExample.h"}int main(int argc, char* argv[]){add(2,3);return 0;}如果C++调用一个C语言编写的.DLL时，当包括.DLL的头文件或声明接口函数时，应加extern "C" { }。（2）在C中引用C++语言中的函数和变量时，C++的头文件需添加extern "C"，但是在C语言中不能直接引用声明了extern "C"的该头文件，应该仅将C文件中将C++中定义的extern "C"函数声明为extern类型。笔者编写的C引用C++函数例子工程中包含的三个文件的源代码如下：//C++头文件 cppExample.h#ifndef CPP_EXAMPLE_H#define CPP_EXAMPLE_Hextern "C" int add( int x, int y );#endif//C++实现文件 cppExample.cpp#include "cppExample.h"int add( int x, int y ){return x + y;}/* C实现文件 cFile.c/* 这样会编译出错：#include "cppExample.h" */extern int add( int x, int y );int main( int argc, char* argv[] ){add( 2, 3 );return 0;}7、extern声明外部变量：
extern用在变量声明中常常有这样一个作用，你在*.c文件中声明了一个全局的变量，这个全局的变量如果要被引用，就放在*.h中并用extern来声明。
现代编译器一般采用按文件编译的方式，因此在编译时，各个文件中定义的全局变量是 互相透明的，i作为全局变量只能定义一次，也就是说，在编译时，全局变量的可见域限制在文件内部。下面举一个简单的例子。创建一个工程，里面含有A.cpp和B.cpp两个简单的C++源文件：
//A.cppint i;void main(){}//B.cppint i;这两个文件极为简单，在A.cpp中我们定义了一个全局变量i，在B中我们也定义了一个全局变量i。 我们对A和B分别编译，都可以正常通过编译，但是进行链接的时候，却出现了错误，错误提示如下：Linking...B.obj : error LNK2005: "int i" (?i@@3HA) already defined in A.objDebug/A.exe : fatal error LNK1169: one or more multiply defined symbols foundError executing link.exe.A.exe - 2 error(s), 0 warning(s)这就是说，在编译阶段，各个文件中定义的全局变量相互是透明的，编译A时觉察不到B中也定义了i，同样，编译B时觉察不到A中也定义了i。 但是到了链接阶段，要将各个文件的内容“合为一体”，因此，如果某些文件中定义的全局变量名相同的话，在这个时候就会出现错误，也就是上面提示的重复定义的错误。 因此，各个文件中定义的全局变量名不可相同。 在链接阶段，各个文件的内容（实际是编译产生的obj文件）是被合并到一起的，因而，定义于某文件内的全局变量，在链接完成后，它的可见范围被扩大到了整个程序。 这样一来，按道理说，一个文件中定义的全局变量，可以在整个程序的任何地方被使用，举例说，如果A文件中定义了某全局变量，那么B文件中应可以使用该变量。修改我们的程序，加以验证：//A.cppvoid main(){i = 100; //试图使用B中定义的全局变量}//B.cppint i;编译结果如下：Compiling...A.cppC:\Documents and Settings\wangjian\桌面\try extern\A.cpp(5) : error C2065: 'i' : undeclared identifierError executing cl.exe.A.obj - 1 error(s), 0 warning(s)编译错误。其实出现这个错误是意料之中的，因为：文件中定义的全局变量的可见性扩展到整个程序是在链接完成之后，而在编译阶段，他们的可见性仍局限于各自的文件。 编译器的目光不够长远，编译器没有能够意识到，某个变量符号虽然不是本文件定义的，但是它可能是在其它的文件中定义的。 虽然编译器不够远见，但是我们可以给它提示，帮助它来解决上面出现的问题。这就是extern的作用了。 extern的原理很简单，就是告诉编译器：“ 你现在编译的文件中，有一个标识符虽然没有在本文件中定义，但是它是在别的文件中定义的全局变量，你要放行！” 我们为上面的错误程序加上extern关键字：//A.cppextern int i;void main(){i = 100; //试图使用B中定义的全局变量}//B.cppint i;顺利通过编译，链接。
extern函数1
常见extern放在函数的前面成为函数声明的一部分，那么， C语言 的 关键字 extern在函数的声明中起什么作用？答案与分析：如果函数的声明中带有关键字extern，仅仅是暗示这个函数可能在别的源文件里定义，没有其它作用。即下述两个函数声明没有明显的区别：extern int f(); 和int f();当然，这样的用处还是有的，就是在程序中取代include “*.h”来声明函数，在一些复杂的项目中，我比较习惯在所有的函数声明前添加extern修饰。 extern 函数2当函数提供方单方面修改函数原型时，如果使用方不知情继续沿用原来的extern申明，这样编译时编译器不会报错。但是在运行过程中，因为少了或者多了输入参数，往往会造成系统错误，这种情况应该如何解决？答案与分析：目前业界针对这种情况的处理没有一个很完美的方案，通常的做法是提供方在自己的xxx_pub.h中提供对外部 接口 的声明，然后调用包涵该文件的头文件，从而省去extern这一步。以避免这种错误。宝剑有双锋，对extern的应用，不同的场合应该选择不同的做法。
8、值拷贝、位拷贝：
为了便于说明我们以String类为例：
首先定义String类，而并不实现其成员函数。
Class String{
public:
String(const char *ch=NULL);//默认构造函数
String(const String &str);//拷贝构造函数
~String(void);
String &operator=(const String &str);//赋值函数
private:
char *m_data;
};
位拷贝拷贝的是地址，而值拷贝则拷贝的是内容。如果定义两个String对象A和B。A.m_data和B.m_data分别指向一段区域，A.m_data="windows",B.m_data=“linux";
如果未重写赋值函数，将B赋给A;则编译器会默认进行位拷贝，A.m_data=B.m_data则A.m_data和B.m_data指向同一块区域，虽然A.m_data指向的内容会改变成"linux",但是这样容易出现这些问题：
(1):A.m_data原来指向的内存区域未释放，造成内存泄露。
(2):A.m_data和B.m_data指向同一块区域，任何一方改变都会影响另一方
(3)：当对象被析构时，B.m_data被释放两次。
对于编译器，如果不主动编写拷贝函数和赋值函数，它会以“位拷贝”的方式自动生成缺省的函数。如果重写赋值函数和拷贝构造函数后，A.m_data=B.m_data，进行的是值拷贝，会将B.m_data的内容赋给A.m_data,A.m_data还是指向原来的内存区域，但是其内容改变。
9、多重继承：
当继承基类时，在派生类中就获得了基类所有数据成员的副本，该副本称为子对象。假若对类d 1和类d 2进行多重继承而形成类m i，类m i会包含d 1的子对象和d 2的子对象
现在考虑如果d 1和d 2都是从相同基类派生的，该基类称为b a s e，那么会发生什么呢？在上面的图中，d 1和d 2都包含b a s e的子对象，所以m i包含基的两个子对象。从继承图形状上看，有时该继承层次结构称为“菱形”。没有菱形情况时，多重继承相当简单，但是只要菱形一出现，由于新类中存在重叠的子对象，麻烦就开始了。重叠的子对象增加了存储空间，这种额外开销是否成为一个问题取决于我们的设计，但它同时又引入了二义性。
class base{
public:
virtual char * vf()const=0;
};
class d1:public base{
public:
char * vf()const{
return "d1";
}
};
class d2:public base{
public:
char * vf()const{
return "d2";
}
};
class mi :public d1,public d2{};//不能向上映射，由于d 1和d 2分别对v f ( )定义这会导致一个冲突，所以不能生成m i类。其次，在对b [ ]的数组定义中试图创建一个new mi 并将类型转化为b a s e *，由于没有办法搞清我们打算使用d 1子对象的b a s e还是d 2子对象的b a s e作为结果地址，所以编译器将不会受理。采用虚基类可解决
虚基类初始化：
class base{
public:
base(int =0){}
virtual char * vf()const=0;
};
class d1:virtual public base{
public:
d1():base(1){}
char *vf()conat{
return "d1";
}
};
class d2:virtual public base{
public:
d2():base(2){}
char *vf()const{
return "d2";
}
};
class mi:public d1,public d2{
public:
mi(){}
char *vf()const{
return d1::vf();
};
class x:public mi{
public:
x(){}//若基类没有默认构造函数虚提供基类初始化,x():base(n){}
};
传值和应用：
class base{
public:
virtual void f()const{
cout<<"base"<<endl;
}
};
class derived1:public base{
public:
void f()const{
cout<<"derived1"<<endl;
}
}
void f1(base b){
b.f();
}
void f2(base &b){
b.f();
}
int main(){
derived d;
f1(d);
f2(d);
}
输出结果为：base derived1
10、派生、组合：
组合即在类中使用其他类定义的数据成员。
11、对象切片：
对象切片通常发生在子类对象被赋值到父类对象时, 由于子类在继承父类时,通常会增加一些变量或函数,这样子类的大小比父类大, 则在赋值时,子类对象拷贝到父类对象不完全,即发生切片现象.
对象切片应避免！
12、RTTI--Run-time Type Identification：
在c++中为了支持RTTI 提供了两个操作符：
1 dynamic_cast 操作符它允许在运行时刻进行类型转换从而使程序能够在一个类层次结构中安全地转换类型把基类指针转换成派生类指针或把指向基类的左值转换成派生类的引用当然只有在保证转换能够成功的情况下才可以。
2 typeid 操作符它指出指针或引用指向的对象的实际派生类型但是对于要获得的派生类类型的信息dynamic_cast 和typeid 操作符的操作数的类型必须是带有一个或多个虚拟函数的类类型即对于带有虚拟函数的类而言RTTI 操作符是运行时刻的事件而对于其他类而言它只是编译时刻的事件在本节我们将更详细地了解这两个操作符所提供的支持。
13、顺序容器、关联容器：
vector deque 以及list 都是动态增长的，在这三者之中选择的准则主要是关注插入特性以及对元素的后续访问要求，vector 表示一段连续的内存区域每个元素被顺序存储在这段内存中对vector 的随机访问比如先访问元素5 然后访问15 然后再访问7 等等效率很高，因为每次访问离vector起始处的位移都是固定的，但是在任意位置而不是在vector 末尾插人元素则效率很低因为它需要把待插入元素右边的每个元素都拷贝一遍类似地删除任意一个而不是vector的最后一个元素效率同样很低因为待删除元素右边的每个元素都必须被复制一遍，这种代价对于大型的复杂的类对象来说尤其大。一个deque 也表示一段连续的内存区域但是与vector 不同的是它支持高效地在其首部插入和删除元素它通过两级数组结构来实现一级表示实际的容器第二级指向容器的首和尾。list 表示非连续的内存区域并通过一对指向首尾元素的指针双向链接起来从而允许向前和向后两个方向进行遍历在list 的任意位置插入和删除元素的效率都很高，指针必须被重新赋值但是不需要用拷贝元素来实现移动，另一方面它对随机访问的支持并不好访问一个元素需要遍历中间的元素另外每个元素还有两个指针的额外空间开销。
下面是选择顺序容器类型的一些准则：
如果我们需要随机访问一个容器则vector 要比list 好得多
如果我们已知要存储元素的个数则vector 又是一个比list 好的选择
如果我们需要的不只是在容器两端插入和删除元素则list 显然要比vector 好
除非我们需要在容器首部插入和删除元素否则vector 要比deque 好
如果我们既需要随机访问元素又需要随机插入和删除元素那么又该怎么办呢？我们需要在随机访问的代价和拷贝右边或左边相邻元素的代价之间进行折衷一般来说应该是由应用程序的主要操作查找或插入来决定容器类型的选择为了做这个决定我们可能需要知晓两种容器类型的性能如果两种容器类型的性能都不能够使我们满意则需要自己设计更复杂的数据结构。
list 以简单方式增长每当一个新对象被插入到list 中时插入处的两个元素的前指针和后指针被重新赋值为指向新对象新对象的前后指针被初始化为指向这两个元素list 只占有其包含的元素所必需的存储区额外的开销有两个方面与每个值相关联的两个附加指针以及通过指针进行的间接访问。