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