test

Sun Studio 12：C++ 用户指南

9.4.3 将分层结构向下或交叉强制类型转换

向下或交叉强制类型转换分层结构时，分层结构必须是多态的（具有虚函数）。结果在运行时检查。

对分层结构向下或交叉强制类型转换时，有时不能从 v 转换到 T。例如，尝试的转换可能不明确，T 可能无法访问，或 v 可能未指向（或引用）必要类型的对象。如果运行时检查失败且 T 是指针类型，则强制类型转换表达式的值是 T 类型的空指针。如果 T 是引用类型，不会返回任何值（没有 C++ 中的空引用），并且会抛出标准异常 std::bad_cast。

例如，此公共派生的示例成功：


#include <assert.h>
#include <stddef.h> // for NULL

class A {public: virtual void f();};
class B {public: virtual void g();};
class AB: public virtual A, public B {};

void simple_dynamic_casts()
{
  AB ab;
  B* bp = &ab;        // no casts needed
  A* ap = &ab;
  AB& abr = dynamic_cast<AB&>(*bp);  // succeeds
  ap = dynamic_cast<A*>(bp);         assert(ap!= NULL);
  bp = dynamic_cast<B*>(ap);         assert(bp!= NULL);
  ap = dynamic_cast<A*>(&abr);       assert(ap!= NULL);
  bp = dynamic_cast<B*>(&abr);       assert(bp!= NULL);
}

但此示例失败，因为基类 B 不可访问。


#include <assert.h>
#include <stddef.h> // for NULL
#include <typeinfo>

class A {public: virtual void f() {}};
class B {public: virtual void g() {}};
class AB: public virtual A, private B {};

void attempted_casts()
{
  AB ab;
  B* bp = (B*)&ab; // C-style cast needed to break protection
  A* ap = dynamic_cast<A*>(bp); // fails, B is inaccessible
  assert(ap == NULL);
  try {
    AB& abr = dynamic_cast<AB&>(*bp); // fails, B is inaccessible
  }
  catch(const std::bad_cast&) {
    return; // failed reference cast caught here
  }
  assert(0); // should not get here
}

如果在一个单独的基类中存在虚拟继承和多重继承，那么实际动态强制类型转换必须能够识别出唯一的匹配。如果匹配不唯一，则强制类型转换失败。例如，假定有如下附加类定义：


class AB_B:     public AB,        public B {};
class AB_B__AB: public AB_B,      public AB {};

示例：


void complex_dynamic_casts()
{
  AB_B__AB ab_b__ab;
  A*ap = &ab_b__ab;
                    // okay: finds unique A statically
  AB*abp = dynamic_cast<AB*>(ap);
                    // fails: ambiguous
  assert(abp == NULL);
                    // STATIC ERROR: AB_B* ab_bp = (AB_B*)ap;
                    // not a dynamic cast
  AB_B*ab_bp = dynamic_cast<AB_B*>(ap);
                    // dynamic one is okay
  assert(ab_bp!= NULL);
}

dynamic_cast 返回的空指针错误可用作两个代码体之间的条件，一个用于类型确定正确时处理强制类型转换，另一个用于类型确定错误时处理强制类型转换。


void using_dynamic_cast(A* ap)
{
  if (AB *abp = dynamic_cast<AB*>(ap))
    {            // abp is non-null,
                 // so ap was a pointer to an AB object
                 // go ahead and use abp
      process_AB(abp);}
  else
    {          // abp is null,
               // so ap was NOT a pointer to an AB object
               // do not use abp
      process_not_AB(ap);
    }
}

在兼容模式 (-compat[=4]) 下，如果尚未使用 -features=rtti 编译器选项启用运行时类型信息，则编译器将 dynamic_cast 转换到 static_cast 并发出警告。

如果禁用了异常，编译器会将 dynamic_cast<T&> 转换到 static_cast<T&> 并发出警告。（对于引用类型，dynamic_cast 要求运行时发现转换无效的情况下抛出异常。）有关异常的信息，请参见7.5.3 诊断有问题的搜索。

动态强制类型转换需要比对应的设计模式慢，例如虚函数的转换。请参见由 Erich Gamma 编著的《Design Patterns: Elements of Reusable Object-Oriented Software》（Addison-Wesley 出版，1994）。