3 Terms and definitions [intro.defs]

3.9 dynamic type [defns.dynamic.type]

& langle; glvalue & rangle; тип, most derived object на который ссылается glvalue
[ Example: Если pointer p статический тип, чей статический тип - «указатель на класс B», указывает на объект класса D, derived from B, динамический тип выражения *p - «D». References обрабатываются аналогично. ]end example