thinking C++ 卷2

类别:VC语言 点击:0 评论:0 推荐:

 对大多数程序来说,向下造型不是必须的,因为在面向对象应用程序里多态每天都解决了大量的问题。可是,检查一个向更多派生类型造型的能力对大多实用程序如编译器,类浏览器和数据库都是很重要的。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名空间中声明。

本文地址:http://com.8s8s.com/it/it1051.htm