Массив общих указателей на разные классы

Question

Я пытаюсь выяснить, можно ли создать массив общих указателей для разных типов. Например, что-то вроде этого:

vector<shared_ptr<**???**>> v; 
v.push_back(shared_ptr<int>(new int)); 
v.push_back(shared_ptr<MyClass>(new MyClass())); 

или любой другой способ передать shared_ptr, не зная его тип.

Answer 1

Предполагая, что вы хотите хранить объекты, которые не наследуют общий класс, самым простым способом, который приходит на ум, является использование boost::any.

Вы по-прежнему должны быть уверены в том, какой тип каждого объекта хранится в каждом индексе (то есть, чтобы иметь возможность выполнять правильные boost::any_cast).

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

Хотя оба (any и void указатель) будет работать таким же образом (указатель в сторону), если вы приводите к неправильному типу, any будет сгенерировано исключение bad_any_cast (IIRC), в то время как с void указателем, вы будете получить неопределенное поведение. Простая попытка на coliru дала a segfault.

Answer 2

Больше типа сейф может быть:

/// header #include <boost/variant.hpp> 
typedef boost::variant < boost::shared_ptr <T1>, boost::shared_ptr <T2>, ... > VariantT; 

std::vector <VariantT> container; 
container.push_back (boost::shared_ptr <T1> (new T1)); // or boost::make_shared 
container.push_back (boost::shared_ptr <T2> (new T2)); // or boost::make_shared 

Более взглянуть на Boost.Variant library.

Answer 3

Так же, как любой фундаментальный тип указателя конвертируемый в void*, любой shared_ptr будет конвертировать в shared_ptr<void>:

vector<shared_ptr<void>> v; 
v.push_back(make_shared<int>()); 
v.push_back(make_shared<MyClass>()); 

Теперь у вас есть vector в полной мере ввода-стертые общих указатели. Вы не можете делать ничего интересного с ним, однако, вы должны были бы как-то знать, какие типы хранятся в каких слотах vector конвертировать их обратно:

auto intptr = static_pointer_cast<int>(v[0]); 
auto myclass_ptr = static_pointer_cast<MyClass>(v[1]); 

Таким образом, хотя это возможно для этого это не очень полезно и, вероятно, свидетельствует о сломанном дизайне.