Допустим, у нас есть иерархия классов. Внизу у нас есть Base, а вверху - Derived. Как определить класс объекта, даже если он преобразован в указатель базового класса.
Base* b = new Derived():
typeid(b).name(); // i want this to tell me that this is actually derived not base object
есть ли какой-либо другой способ, кроме ручной реализации строкового поля или такой и виртуальной функции get?
PS: я говорю о независимом от компилятора решении
убедитесь, что в базовом классе есть хотя бы один виртуальный метод, включите <typeinfo> и используйте текущий код только с дополнительным разыменованием typeid(*b).name().
typeid - это единственное место в C ++, где вы можете разыменовать нулевой указатель с четко определенным поведением, что означает, что он может вызвать исключение:
C ++ 11 §5.2.8 / 2:
Если выражение glvalue получено путем применения унарного оператора*к указателю и указатель является значением нулевого указателя (4.10),typeidвыражение вызывает исключениеstd::bad_typeid(18.7.3).
Если все, что вам нужно сделать, это выяснить, действительно ли b указывает на Derived, просто используйте dynamic_cast():
if (dynamic_cast<Derived*>(b)) { ... }
dynamic_cast возвращает нулевой указатель, если фактический тип среды выполнения объекта, на который указывает b, не является Derived (или класс, производный от Derived). В отличие от name() члена std::type_info, это инвариантно для компилятора.
Обратите внимание, что это работает, только если Base имеет хотя бы одну виртуальную функцию-член. Что в любом случае должно быть, поскольку вы управляете типами, производными от него, с помощью базового указателя, поэтому он должен иметь виртуальный деструктор.
