前面已经介绍了自定义类型的成员变量和成员函数的概念，并给出它们各自的语义，本文继续说明自定义类型剩下的内容，并说明各自的语义。
权限
成员函数的提供，使得自定义类型的语义从资源提升到了具有功能的资源。什么叫具有功能的资源？比如要把收音机映射为数字，需要映射的操作有调整收音机的频率以接收不同的电台；调整收音机的音量；打开和关闭收音机以防止电力的损耗。为此，收音机应映射为结构，类似下面：
| struct Radiogram { double Frequency; /* 频率 */ void TurnFreq( double value ); // 改变频率 float Volume; /* 音量 */ void TurnVolume( float value ); // 改变音量 float Power; /* 电力 */ void TurnOnOff( bool bOn ); // 开关 bool bPowerOn; // 是否开启 }; |
上面的Radiogram：：Frequency、Radiogram：：Volume和Radiogram：：Power由于定义为了结构Radiogram的成员，因此它们的语义分别为某收音机的频率、某收音机的音量和某收音机的电力。而其余的三个成员函数的语义也同样分别为改变某收音机的频率、改变某收音机的音量和打开或关闭某收音机的电源。注意这面的“某”，表示具体是哪个收音机的还不知道，只有通过成员操作符将左边的一个具体的收音机和它们结合时才知道是哪个收音机的，这也是为什么它们被称作偏移类型。这一点在下一篇将详细说明。
注意问题：为什么要将刚才的三个操作映射为结构Radiogram的成员函数？因为收音机具有这样的功能？那么对于选西瓜、切西瓜和吃西瓜，难道要定义一个结构，然后给它定义三个选、切、吃的成员函数？？不是很荒谬吗？前者的三个操作是对结构的成员变量而言，而后者是对结构本身而言的。那么改成吃快餐，吃快餐的汉堡包、吃快餐的薯条和喝快餐的可乐。如果这里的两个吃和一个喝的操作变成了快餐的成员函数，表示是快餐的功能？！这其实是编程思想的问题，而这里其实就是所谓的面向对象编程思想，它虽然是很不错的思想，但并不一定是合适的，下篇将详细讨论。
上面我们之所以称收音机的换台是功能，是因为实际中我们自己是无法直接改变收音机的频率，必须通过旋转选台的那个旋钮来改变接收的频率，同样，调音量也是通过调节音量旋钮来实现的，而由于开机而导致的电力下降也不是我们直接导致，而是间接通过收听电台而导致的。因此上面的Radiogram：：Power、Radiogram：：Frequency等成员变量都具有一个特殊特性——外界，这台收音机以外的东西是无法改变它们的。为此，C++提供了一个语法来实现这种语义。在类型定义符中，给出这样的格式：<权限>：。这里的<权限>为public、protected和private中的一个，分别称作公共的、保护的和私有的，如下：
| class Radiogram { protected: double m_Frequency; float m_Volume; float m_Power; private: bool m_bPowerOn; public: void TurnFreq( double ); void TurnVolume( float ); void TurnOnOff( bool ); }; |
可以发现，它和之前的标号的定义格式相同，但并不是语句修饰符，即可以struct ABC{ private： }；。这里不用非要在private：后面接语句，因为它不是语句修饰符。从它开始，直到下一个这样的语法，之间所有的声明和定义而产生的成员变量或成员函数都带有了它所代表的语义。比如上面的类Radiogram，其中的Radiogram：：m_Frequency、Radiogram：：m_Volume和Radiogram：：m_Power是保护的成员变量，Radiogram：：m_bPowerOn是私有的成员变量，而剩下的三个成员函数都是公共的成员函数。注意上面的语法是可以重复的，如：struct ABC { public： public： long a； private： float b； public： char d； }；。
什么意思？很简单，公共的成员外界可以访问，保护的成员外界不能访问，私有的成员外界及子类不能访问。关于子类后面说明。先看公共的。对于上面，如下将报错：
Radiogram a； a.m_Frequency = 23.0； a.m_Power = 1.0f； a.m_bPowerOn = true；
因为上面对a的三次操作都使用了a的保护或私有成员，编译器将报错，因为这两种成员外界是不能访问的。而a.TurnFreq（ 10 ）；就没有任何问题，因为成员函数Radiogram：：TurnFreq是公共成员，外界可以访问。那么什么叫外界？对于某个自定义类型，此自定义类型的成员函数的函数体内以外的一切能写代码的地方都称作外界。因此，对于上面的Radiogram，只有它的三个成员函数的函数体内可以访问它的成员变量。即下面的代码将没有问题。
void Radiogram：：TurnFreq（ double value ） { m_Frequency += value； }
因为m_Frequency被使用的地方是在Radiogram：：TurnFreq的函数体内，不属于外界。
为什么要这样？表现最开始说的语义。首先，上面将成员定义成public或private对于最终生成的代码没有任何影响。然后，我之前说的调节接收频率是通过调节收音机里面的共谐电容的容量来实现的，这个电容的容量人必须借助元件才能做到，而将接收频率映射成数字后，由于是数字，则CPU就能修改。如果直接a.m_Frequency += 10；进行修改，就代码上的意义，其就为：执行这个方法的人将收音机的接收频率增加10KHz，这有违我们的客观世界，与前面的语义不合。因此将其作为语法的一种提供，由编译器来进行审查，可以让我们编写出更加符合我们所生活的世界的语义的代码。
应注意可以union ABC { long a； private： short b； }；。这里的ABC：：a之前没有任何修饰，那它是public还是protected？相信从前面举的那么多例子也已经看出，应该是public，这也是为什么我之前一直使用struct和union来定义自定义类型，否则之前的例子都将报错。而前篇说过结构和类只有一点很小的区别，那就是当成员没有进行修饰时，对于类，那个成员将是private而不是public，即如下将错误。
class ABC { long a； private： short b； }； ABC a； a.a = 13；
ABC：：a由于前面的class而被看作private.就从这点，可以看出结构用于映射资源（可被直接使用的资源），而类用于映射具有功能的资源。下篇将详细讨论它们在语义上的差别。
构造和析构
了解了上面所提的东西，很明显就有下面的疑问：
struct ABC { private： long a， b； }； ABC a = { 10， 20 }；
上面的初始化赋值变量a还正确吗？当然错误，否则在语法上这就算一个漏洞了（外界可以借此修改不能修改的成员）。但有些时候的确又需要进行初始化以保证一些逻辑关系，为此C++提出了构造和析构的概念，分别对应于初始化和扫尾工作。在了解这个之前，让我们先看下什么叫实例（Instance）。
实例是个抽象概念，表示一个客观存在，其和下篇将介绍的“世界”这个概念联系紧密。比如：“这是桌子”和“这个桌子”，前者的“桌子”是种类，后者的“桌子”是实例。这里有10只羊，则称这里有10个羊的实例，而羊只是一种类型。可以简单地将实例认为是客观世界的物体，人类出于方便而给各种物体分了类，因此给出电视机的说明并没有给出电视机的实例，而拿出一台电视机就是给出了一个电视机的实例。同样，程序的代码写出来了意义不大，只有当它被执行时，我们称那个程序的一个实例正在运行。如果在它还未执行完时又要求操作系统执行了它，则对于多任务操作系统，就可以称那个程序的两个实例正在被执行，如同时点开两个Word文件查看，则有两个Word程序的实例在运行。
在C++中，能被操作的只有数字，一个数字就是一个实例（这在下篇的说明中就可以看出），更一般的，称标识记录数字的内存的地址为一个实例，也就是称变量为一个实例，而对应的类型就是上面说的物体的种类。比如：long a， *pA = &a， &ra = a；，这里就生成了两个实例，一个是long的实例，一个是long*的实例（注意由于ra是long&所以并未生成实例，但ra仍然是一个实例）。同样，对于一个自定义类型，如：Radiogram ab， c[3]；，则称生成了四个Radiogram的实例。
对于自定义类型的实例，当其被生成时，将调用相应的构造函数；当其被销毁时，将调用相应的析构函数。谁来调用？编译器负责帮我们编写必要的代码以实现相应构造和析构的调用。构造函数的原型（即函数名对应的类型，如float AB（ double， char ）；的原型是float（ double， char ））的格式为：直接将自定义类型的类型名作为函数名，没有返回值类型，参数则随便。对于析构函数，名字为相应类型名的前面加符号“~”，没有返回值类型，必须没有参数。如下：
| struct ABC { ABC(); ABC( long, long ); ~ABC(); bool Do( long ); long a, count; float *pF; }; ABC::ABC() { a = 1; count = 0; pF = 0; } ABC::ABC( long tem1, long tem2 ) { a = tem1; count = tem2; pF = new float[ count ]; } ABC::~ABC() { delete[] pF; } bool ABC::Do( long cou ) { float *p = new float[ cou ]; if( !p ) return false; delete[] pF; pF = p; count = cou; return true; } extern ABC g_ABC; void main(){ ABC a, &r = a; a.Do( 10 ); { ABC b( 10, 30 ); } ABC *p = new ABC[10]; delete[] p; } ABC g_a( 10, 34 ), g_p = new ABC[5]; |
上面的结构ABC就定义了两个构造函数（注意是两个重载函数），名字都为ABC：：ABC（实际将由编译器转成不同的符号以供连接之用）。也定义了一个析构函数（注意只能定义一个，因为其必须没有参数，也就无法进行重载了），名字为ABC：：~ABC.再看main函数，先通过ABC a；定义了一个变量，因为要在栈上分配一块内存，即创建了一个数字（创建装数字的内存也就导致创建了数字，因为内存不能不装数字），进而创建了一个ABC的实例，进而调用ABC的构造函数。由于这里没有给出参数（后面说明），因此调用了ABC：：ABC（），进而a.a为1，a.pF和a.count都为0.接着定义了变量r，但由于它是ABC&，所以并没有在栈上分配内存，进而没有创建实例而没有调用ABC：：ABC.接着调用a.Do，分配了一块内存并把首地址放在a.pF中。
注意上面变量b的定义，其使用了之前提到的函数式初始化方式。它通过函数调用的格式调用了ABC的构造函数ABC：：ABC（ long， long ）以初始化ABC的实例b.因此b.a为10，b.count为30，b.pF为一内存块的首地址。但要注意这种初始化方式和之前提到的“{}”方式的不同，前者是进行了一次函数调用来初始化，而后者是编译器来初始化（通过生成必要的代码）。由于不调用函数，所以速度要稍快些（关于函数的开销在《C++从零开始（十五）》中说明）。还应注意不能ABC b = { 1， 0， 0 }；，因为结构ABC已经定义了两个构造函数，则它只能使用函数式初始化方式初始化了，不能再通过“{}”方式初始化了。
上面的b在一对大括号内，回想前面提过的变量的作用域，因此当程序运行到ABC *p = new ABC[10]；时，变量b已经消失了（超出了其作用域），即其所分配的内存语法上已经释放了（实际由于是在栈上，其并没有被释放），进而调用ABC的析构函数，将b在ABC：：ABC（ long， long ）中分配的内存释放掉以实现扫尾功能。
对于通过new在堆上分配的内存，由于是new ABC[10]，因此将创建10个ABC的实例，进而为每一个实例调用一次ABC：：ABC（），注意这里无法调用ABC：：ABC（ long， long ），因为new操作符一次性就分配了10个实例所需要的内存空间，C++并没有提供语法（比如使用“{}”）来实现对一次性分配的10个实例进行初始化。接着调用了delete[] p；，这释放刚分配的内存，即销毁了10个实例，因此将调用ABC的析构函数10次以进行10次扫尾工作。
注意上面声明了全局变量g_ABC，由于是声明，并不是定义，没有分配内存，因此未产生实例，故不调用ABC的构造函数，而g_a由于是全局变量，C++保证全局变量的构造函数在开始执行main函数之前就调用，所有全局变量的析构函数在执行完main函数之后才调用（这一点是编译器来实现的，在《C++从零开始（十九）》中将进一步讨论）。因此g_a.ABC（ 10， 34 ）的调用是在a.ABC（）之前，即使它的位置在a的定义语句的后面。而全局变量g_p的初始化的数字是通过new操作符的计算得来，结果将在堆上分配内存，进而生成5个ABC实例而调用了ABC：：ABC（）5次，由于是在初始化g_p的时候进行分配的，因此这5次调用也在a.ABC（）之前。由于g_p仅仅只是记录首地址，而要释放这5个实例就必须调用delete（不一定，也可不调用delete依旧释放new返回的内存，在《C++从零开始（十九）》中说明），但上面并没有调用，因此直到程序结束都将不会调用那5个实例的析构函数，那将怎样？后面说明异常时再讨论所谓的内存泄露问题。
因此构造的意思就是刚分配了一块内存，还未初始化，则这块内存被称作原始数据（Raw Data），前面说过数字都必须映射成算法中的资源，则就存在数字的有效性。比如映射人的年龄，则这个数字就不能是负数，因为没有意义。所以当得到原始数据后，就应该先通过构造函数的调用以保证相应实例具有正确的意义。而析构函数就表示进行扫尾工作，就像上面，在某实例运作的期间（即操作此实例的代码被执行的时期）动态分配了一些内存，则应确保其被正确释放。再或者这个实例和其他实例有关系，因确保解除关系（因为这个实例即将被销毁），如链表的某个结点用类映射，则这个结点被删除时应在其析构函数中解除它与其它结点的关系。