Является ли typeid() достаточным для безопасности типа?

Question

Мне было интересно, если typeid является «достаточно жестким» критерием безопасности типа, чтобы отказаться от всех обычных мер предосторожности. В частности, рассмотрим следующий фрагмент кода:

class storage 
{ 
private: 
    std::map<std::type_index, void*> objects; 

public: 
    template<typename T> 
    void put(T* ptr) 
    { 
     objects[typeid(*ptr)] = ptr; 
    } 
}; 

storage stor; 

ClassA* a = new ClassA(); 
ClassB* b = new ClassB(); 

stor.put(a); 
stor.put(b); 

это безопасно, чтобы получить объекты обратно с карты, используя информацию из typeid?

template<typename T> 
T* storage::get() 
{ 
    return static_cast<T*>(objects[typeid(T)]); 
} 

Спасибо, Н.

Answer 1

Он работает, в том смысле, что a2 имеет такое же значение, как a.

Это не обязательно «безопасно». Например, если a указал на экземпляр некоторого производного класса A, то a2 не гарантировалось бы иметь то же значение, что и a. Поэтому безопасность зависит от того, что вы подразумеваете под словом «отказаться от обычных мер предосторожности». Вы не можете отказаться от «меры предосторожности», что если вы конвертируете указатель в void*, вам необходимо его вернуть обратно в исходный.