（C++算法工程师考点总结）面向对象编程

一、虚函数表

1、基础知识：

• 32位操作系统指针长度为4bytes，64位操作系统指针长度为8bytes。
• new一个对象时，只为类中的成员变量分配空间，对象之间共享成员函数。
• 当一个类（A）继承另一个类（B）时，类A会继承类B的函数的调用权。所以如果一个基类包含了虚函数，那么其继承类也可调用这些虚函数，换句话说，一个类继承了包含虚函数的基类，那么这个类也拥有自己的虚表。

虚函数表：
虚函数表是一个包含类中所有虚函数的函数指针的数组。
包含虚函数的类才会有虚函数表，同属于一个类的对象共享虚函数表，但是有各自的 _vptr（_vptr 是指向虚函数表的指针）。我们已经知道，通过类去创建一个对象时，不会为每个对象分配全套的内存（数据区+代码区），只会为每个对象分配单独的数据区，代码区是属于同一个类的所有对象共享的，所以由包含虚函数的类创建的对象，单独的内存空间中包含如下内容：_vptr（指向该类的虚函数表的表头）、该对象的数据成员。

1、为什么构造函数不能声明为虚函数、析构函数可以

二、const 修饰类成员函数

在普通的非const成员函数中，this的类型是一个指向类类型的 const 指针。可以改变this所指向的值，但不能改变this所保存的地址。
在const成员函数中，this的类型是一个指向const类类型对象的const指针。既不能改变this所指向的对象，也不能改变this所保存的地址。

1. const位于函数的后面
   任何不会修改数据成员的函数都应该声明为const类型。如果在编写const成员函数时，不慎修改了数据成员，或者调用了其它非const成员函数，编译器将指出错误，这无疑会提高程序的健壮性。以下程序中，类stack的成员函数GetCount仅用于计数，从逻辑上讲GetCount应当为const函数。编译器将指出GetCount函数中的错误。

class Stack
{
public:
	void Push(int elem);
	int Pop(void);
	intGetCount(void) const; // const 成员函数
private:
	int m_num;
	int m_data[100];
};
int Stack::GetCount(void)const
{
	++ m_num; // 编译错误，企图修改数据成员m_num
	Pop();         // 编译错误，企图调用非const函数
	return m_num;
}

const 成员函数的声明看起来怪怪的：const关键字只能放在函数声明的尾部，大概是因为其它地方都已经被占用了。
关于Const函数的几点规则：
a. const对象只能访问const成员函数,而非const对象可以访问任意的成员函数,包括const成员函数.
b. const对象的成员是不可修改的,然而const对象通过指针维护的对象却是可以修改的.
c. const成员函数不可以修改对象的数据,不管对象是否具有const性质.它在编译时,以是否修改成员数据为依据,进行检查.
d. 然而加上mutable修饰符的数据成员,对于任何情况下通过任何手段都可修改,自然此时的const成员函数是可以修改它的.

2. 用 const 修饰函数的参数
   如果参数做输出用，不管它是什么类型，也不论它采用“指针传递”还是“引用传递”，都不能加 const 修饰，否则该参数将失去输出功能。
   如果输入参数采用“值传递”，由于函数将自动产生临时变量用于复制该参数，该参数本来就无需保护，所以不要加const修饰。
   对于非内部数据类型的参数而言，像 void Func(A a) 这样声明的函数注定效率比较低。因为函数体内将产生 A 类型的临时对象用于复制参数 a，而临时对象的构造、复制、析构过程都将消耗时间，此时为了提高效率，一般使用 const + 引用的方式。
3. 用 const 修饰函数的返回值
   如果给以“指针传递”方式的函数返回值加const修饰，那么函数返回值（即指针）的内容不能被修改，该返回值只能被赋给加const修饰的同类型指针。例如函数

const char * GetString(void);
// 如下语句将出现编译错误：
char* str = GetString();
// 正确的用法是
const char *str =GetString();

如果函数返回值采用“值传递方式”，由于函数会把返回值复制到外部临时的存储单元中，加const修饰没有任何价值。
例如不要把函数

int GetInt(void) 写成 const int GetInt(void)。

同理不要把函数

A GetA(void) 写成 const A GetA(void)，其中A为用户自定义的数据类型。

如果返回值不是内部数据类型，将函数

A GetA(void) 改写为 const A &GetA(void)

的确能提高效率。但此时千万千万要小心，一定要搞清楚函数究竟是想返回一个对象的“拷贝”还是仅返回“别名”就可以了，否则程序会出错。
函数返回值采用“引用传递”的场合并不多，这种方式一般只出现在类的赋值函数中，目的是为了实现链式表达。
例如：

class A
{
	A & operate = (const A &other); // 赋值函数
};
A a, b, c; // a, b, c 为A的对象

a= b = c; // 正常的链式赋值
(a= b) = c; // 不正常的链式赋值，但合法

如果将赋值函数的返回值加const修饰，那么该返回值的内容不允许被改动。上例中，语句a= b = c 仍然正确，但是语句(a= b) = c 则是非法的。