对大多数程序来说，向下造型不是必须的，因为在面向对象应用程序里多态每天都解决了大量的问题。可是，检查一个向更多派生类型造型的能力对大多实用程序如编译器，类浏览器和数据库都是很重要的。C++提供了dynamic_cast 操作符来检查造型。下面的程序是用dynamic_cast对上一个例子的重写：
//: C08:Security.h
#ifndef SECURITY_H
#define SECURITY_H
#include <iostream>
class Security {
public:
virtual ~Security() {}
};
class Stock : public Security {};
class Bond : public Security {};
class Investment : public Security {
public:
void special() {
std::cout << "special Investment function” <<std::endl;
}
};
class Metal : public Investment {};
#endif // SECURITY_H ///:~
//: C08:CheckedCast2.cpp
// Uses RTTI’s dynamic_cast.
#include <vector>
#include "../purge.h"
#include "Security.h"
using namespace std;
int main() {
vector<Security*> portfolio;
portfolio.push_back(new Metal);
portfolio.push_back(new Investment);
portfolio.push_back(new Bond);
portfolio.push_back(new Stock);
for(vector<Security*>::iterator it =
portfolio.begin();
it != portfolio.end(); ++it) {
Investment* cm = dynamic_cast<Investment*>(*it);
if(cm)
cm->special();
else
cout << "not a Investment" << endl;
}
cout << "cast from intermediate pointer:” << endl;
Security* sp = new Metal;
Investment* cp = dynamic_cast<Investment*>(sp);
if(cp) cout << " it's an Investment” << endl;
Metal* mp = dynamic_cast<Metal*>(sp);
if(mp) cout << " it's a Metal too!” << endl;
purge(portfolio);
} ///:~
这个例子更简短，因为原来代码中大多都是用来检查造型的。dynamic_cast的目标类型放在尖括号中，像其他的C++新类型转换一样，要转换的对象作为操作数出现。如果你需要安全的向下造型dynamic_cast需要你使用的类型支持多态。这有反过来要求类至少要有一个虚函数。幸运的是，Security的基类有一个虚析构函数，所以我们无需创建额外的函数来完成工作。因为dynamic_cast在运行时起作用，使用虚函数表，它比其他的新式造型花费要大。
你能够通过引用来使用dynamic_cast而不是指针，但是因为这里不存在空引用，你需要另外的方法来了解造型是否失败了。这个另外的方法就是捕获bad_cast 异常，如下：
//: C08:CatchBadCast.cpp
#include <typeinfo>
#include "Security.h"
using namespace std;
int main() {
Metal m;
Security& s = m;
try {
Investment& c = dynamic_cast<Investment&>(s);
cout << "It's an Investment" << endl;
} catch(bad_cast&) {
cout << "s is not an Investment type" << endl;
}
try {
Bond& b = dynamic_cast<Bond&>(s);
cout << "It's a Bond" << endl;
} catch(bad_cast&) {
cout << "It's not a Bond type" << endl;
}
} ///:~
bad_cast类在头文件<typeinfo>中定义。正如其他的标准库，<typeinfo>在std名空间中声明。
