dynamic_cast操作数必须是多态类型吗

class="baidu_pl">

class="article_content clearfix">

class="markdown_views prism-tomorrow-night">

dynamic_cast<>是C++运行时的一个类型转换运算符，通常用于自定义类型层次中的向下转型（downcasts），使用形式如下所示:

dynamic_cast<type*>(e)
dynamic_cast<type&>(e)
dynamic_cast<type&&>(e)

根据Primer中的解释，type必须是一个类类型，并且通常情况下该类型应该含有虚函数，即该类型是class="tags" href="/tags/DuoTai.html" title=多态>多态类型。也就是说有少数情况是不需要type为class="tags" href="/tags/DuoTai.html" title=多态>多态类型，这种情况就是派生类指针向基类指针的类型转换dynamic_cast<Base*>(Derived*)，这种转换不需要用到运行时信息RTTI，在编译时期就可以通过操作数的类型来判断转型是否合法。

编译器Clang源码，SemaCast.cpp中CheckDynamicCast()函数对dynamic_cast<>的使用语义进行了很好的体现。

dynamic_cast(srctype)中type类型必须是指针或者引用。

class="prettyprint">class=" hljs lasso">class="hljs-comment">// C++ 5.2.7p1: T shall be a pointer or reference to a complete class type,
class="hljs-comment">//   or "pointer to cv void".

   QualType DestPointee;
   const PointerType class="hljs-subst">*DestPointer class="hljs-subst">= DestTypeclass="hljs-subst">->getAsclass="hljs-subst"><PointerTypeclass="hljs-subst">>();
   const ReferenceType class="hljs-subst">*DestReference class="hljs-subst">= nullptr;
   class="hljs-keyword">if (DestPointer) {
     DestPointee class="hljs-subst">= DestPointerclass="hljs-subst">->getPointeeType();
   } class="hljs-keyword">else class="hljs-keyword">if ((DestReference class="hljs-subst">= DestTypeclass="hljs-subst">->getAsclass="hljs-subst"><ReferenceTypeclass="hljs-subst">>())) {
     DestPointee class="hljs-subst">= DestReferenceclass="hljs-subst">->getPointeeType();
   } class="hljs-keyword">else {
     class="hljs-built_in">Selfclass="hljs-built_in">.Diag(OpRangeclass="hljs-built_in">.getBegin(), diagclass="hljs-tag">::err_bad_dynamic_cast_not_ref_or_ptr)
       class="hljs-subst"><< thisclass="hljs-subst">->DestType class="hljs-subst"><< DestRange;
     SrcExpr class="hljs-subst">= ExprError();
     class="hljs-keyword">return;
   }

其中590行和592行要求DestType必须是指针或者引用类型。

另外，dynamic_cast(srctype)中srctype的类型要求。

class="prettyprint">class=" hljs php">class="hljs-comment">// C++ 5.2.7p5
   class="hljs-comment">// Upcasts are resolved statically.
   class="hljs-keyword">if (DestRecord && class="hljs-keyword">Self.IsDerivedFrom(SrcPointee, DestPointee)) {
     class="hljs-keyword">if (class="hljs-keyword">Self.CheckDerivedToBaseConversion(SrcPointee, DestPointee,
                                            OpRange.getBegin(), OpRange, 
                                            &BasePath)) {
       SrcExpr = ExprError();
       class="hljs-keyword">return;
     }

     Kind = CK_DerivedToBase;
     class="hljs-keyword">return;
   }

如果是向上转型（upcasts）的话，转换就会静态决议，也就是在编译阶段就能确定，不会耗费运行时的信息。

否则就需要操作数类型是class="tags" href="/tags/DuoTai.html" title=多态>多态类型，如下代码所示：

class="prettyprint">class=" hljs coffeescript">class="hljs-regexp">// C++ class="hljs-number">5.2class="hljs-number">.7: Otherwise, v shall be [polymorphic].
   class="hljs-reserved">const RecordDecl *SrcDecl = SrcRecord->getDeclclass="hljs-function">class="hljs-params">()->getDefinition();
   assert(SrcDecl && class="hljs-string">"Definition missing");
   class="hljs-keyword">if class="hljs-function">class="hljs-params">(!cast<CXXRecordDecl>(SrcDecl)->isPolymorphic()) {
     class="hljs-title">Self.class="hljs-title">Diagclass="hljs-params">(OpRange.getBegin(), diag::err_bad_dynamic_cast_not_polymorphic)
       << class="hljs-title">SrcPointee.class="hljs-title">getUnqualifiedTypeclass="hljs-params">() << class="hljs-title">SrcExpr.class="hljs-title">getclass="hljs-params">()->getSourceRange();
     SrcExpr = ExprError();
   }
   class="hljs-regexp">// dynamic_cast class="hljs-keyword">is class="hljs-keyword">not available class="hljs-reserved">with -fno-rtti.
   class="hljs-regexp">// As an exception, dynamic_cast to class="hljs-reserved">void* class="hljs-keyword">is available because it doesnt
   class="hljs-regexp">// use RTTI
   class="hljs-keyword">if (!Self.getLangOpts().RTTI && !DestPointee->isVoidType()) {
     Self.Diag(OpRange.getBegin(), class="hljs-attribute">diag::err_no_dynamic_cast_with_fno_rtti);
     SrcExpr = ExprError();
     class="hljs-keyword">return;
   }

   class="hljs-regexp">// Done. Everything class="hljs-keyword">else class="hljs-keyword">is run-time checks.
   Kind = CK_Dynamic;