Совпадает ли статический тип объекта с динамическим типом, если компилятор может определить динамический тип при компиля ⇐ C++

[Anonymous]

[defns.dynamic.type] считывает

⟨glvalue⟩ тип самого производного объекта, на который ссылается glvalue

насколько я понимаю, данное

Код: Выделить всё

struct B {};
struct D : B {};
std::unique_ptr d = std::make_unique();

Код: Выделить всё

D const

— это динамический тип *d, даже если он известен во время компиляции.
Из [defns.static.type] я прочитал это ( мой акцент)

тип выражения результат анализа программы без учета семантики выполнения< /p>

Значит ли это, что *тип static у d также является D const, а не B const?
В конце концов, компилятор может (и часто делает) провести анализ и прийти к выводу, что *d действительно является константой D, а не константой B.

Подробнее здесь: https://stackoverflow.com/questions/791 ... he-compile