BohYoh.comトップページへ
C & C++ FAQ
目次

C++ 動的な型とは何ですか。

 動的な型(dynamic type)とは、左辺値式の表す左辺値が指す最派生オブジェクトの型のことです。
 たとえば、静的な型が“クラスBへのポインタ”であるポインタpが、クラスBから派生したクラスDのオブジェクトを指している場合、式*pの動的な型はDとなります。ポインタだけでなく、参照も同様です。
 なお、右辺値式の動的な型は、それの静的な型となります。


■ 根拠 ■
標準C++ 1st §1.3.3 dynamic type
標準C++ 2nd §1.3.3 dynamic type

戻る

BohYoh.comロゴ