使用 C++ 多态时需要注意的问题

本文为大便一箩筐的原创内容，转载请注明出处，谢谢：http://www.cnblogs.com/dbylk/



最近工作中遇到一些关于使用多态的细节问题，在此记录一下。

---

## 一、多态和模板匹配
模板是 C++ 在编译过程中使用的特性，而多态是程序运行时期的特性，因此，想要让多态作用于模板匹配是不可能的。

// Author ：大便一箩筐 2016-04-03

template<typename T>
void OutputTypeName(const Type& object)
{
    cout << typeid(T).name() << endl;              // 错误的例子，模板匹配不支持多态
    cout << typeid(object).name() << endl;         // 正确的例子
}

Ps：要想让 typeid 正确工作，需要启用编译器的 RTTI 选项（会对程序性能有一定的影响，在 MSVC 中默认开启），否则程序会运行报错。

RTTI，全称 Run-Time Type Information，运行时类型信息。具体来说就是支持在程序运行的过程中，通过 typeid 获取多态对象的实际类型（注意，一定要是多态对象，没有定义虚函数的类型无法让 RTTI 正确工作）。

## 二、多态与多重继承
在多重继承中使用多态时，作为指针类型的基类中一定要定义虚函数。
```
// Author ：大便一箩筐 2016-04-03

class Base

{

public:

~Base();

void Output() { cout << "A" << endl; }

int nData;

}

class FirstDerive : public Base

{

public:

virtual ~FirstDerive();

virtual void Output() { cout << "B" << endl; }

float fData;

}

class SecondDerive : public FirstDerive

{

public:

~SecondDerive();

void Output() { cout << "C" << endl; }

char cData;

}

void main()

{

Base* pBase = new SecondDerive(); // 错误的用法，Base中没有定义虚函数

pBase->Output(); // 输出结果为“A”

delete pBase; // 这一步会造成内存访问错误

FisrtDerive* pFirstDerive = new SecondDerive();      // 正确的用法
pFirstDerive ->Output();                             // 输出结果为“C”
delete pFirstDerive ;                                // 正确的用法

}

1. 输出结果错误产生的原因很简单，因为 Base 中没有定义虚函数，所以编译器并没有为它建立虚函数映射表，所以使用 Base 指针无法访问到子类中定义的虚函数。
2. delete pBase 报错，个人猜测可能的原因是 pBase 指针前存放了指向 SecondDerive 类型的 type_info 的指针，因此释放时需要调用 free( pBase - 4 )，而由于编译器并不知道 pBase 指向了 SecondDerive 类型的对象，也就是不知道 type_info 指针的存在，所以直接调用了 free( pBase ) 导致堆内存访问错误。（暂时没有时间深究这个问题，猜想的正确性留待以后验证）