C & C++ FAQ
目次
C++
動的型とは何ですか。
動的型
（
dynamic type
）とは、左辺値式の表す左辺値が指す最派生オブジェクトの型のことです。
たとえば、その静的な型が“クラスBへのポインタ”であるポインタpが，クラスBから派生したクラスDのオブジェクトを指している場合、式*pの動的型は“D”となります。ポインタでなく、参照でも同様です。
右辺値式の動的型は、それの静的型です。
■ 根拠 ■
標準Ｃ++ 1st
§1.3.3
dynamic type
標準Ｃ++ 2nd
§1.3.3
dynamic type
戻る
