Список объектов с разными template?

Question

[Vitaliy]

Нужно в vector(или списке) хранить экземпляры моего класса, которые могут иметь разные типы в template

template<typename T>
class A{
    T val;
    typedef T type;
    public: A(T v){
        val = v;
    }
    
    T get(){
        return val;
    }
};

Если попробовать хранить только указатель на void, то при получении элементов из списка неизвестен их тип

int main()
{
    std::vector<void*> v;
    A<int>* a = new A<int>(8);
    v.push_back(a);
    auto first = v.at(0);
    printf("%d",((A<int>*)first)->get());
}

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

Answer 1

[devalone]

А как вы себе это представляете? Вектор - шаблонный класс и параметр шаблона задаёт тип. Поэтому вам нужно искать что-то готовое для этой цели или мудрить своё. Информацию о типе в любом случае где-то хранить придётся(ну или помнить что куда складывали, но это неудобно и не всегда получится), т.к. элемент контейнера - это просто набор байтов. Я вижу 2 варианта:
1 выделять память большим куском и где-то сохранять информацию о типе, скажем так:
до 4 байта - int, до 12 байта - double, до 50 байта - SomeType. Можно хранить в том же блоке данных перед каждым элементом. Для хранения информации о типе в C++ есть RTTI, там не так много возможностей, но всё же.
2 хранить указатель на void и опять же тип, но на этот раз для каждого элемента.
Если планируется хранить данные примерно так: [int, int , int, int, double, Color, Color, Color, Color, Color, Color], то можно сэкономить, сохраняя диапазоны.
Первый вариант лучше тем, что данных не разбросаны по памяти.
Погуглите, я думаю оба варианта уже кто-то реализовал.

UPD: набросал на коленке первый вариант https://github.com/DevAlone/c-universal-container/...

Comments

[Деревянко Александр]

может объединить скажем в emun все типы, используемые в программе, поставить им в соответствие скажем цифры и пользоваться дальше. Но автор кажется уже решил для себя..

[Деревянко Александр]

ты крут )) Я понял, если у меня будут траблы в написании проги, теперь я знаю к кому мне обратиться!! ))) И если где придется проги с "с" переписывать на плюсы. Ты молодец. Я посмотрел твои работы на git. Мне нравится :)

Answer 2

[Vitaliy]

Получилось реализовать следующим образом, расширив под это smart pointer
1. запись значения
а) значение передается по указателю и записывается как void*
б) записывается тип (typename) в type_info, таким образом
2. чтение
а) по typename проверяют нужный тип
б) получаю значение с указанием того же typename (именно это неудобно, так как приходится явно указывать тип, зато его можно узнать из type_info)

class IOData : public std::shared_ptr<void> {
  const std::type_info *ti;

public:
  template <typename T> void reset(T *ptr) {
    std::shared_ptr<void>::reset(ptr);
    ti = &typeid(T);
  }
  template <typename T> bool isType() { return typeid(T) == *ti; }
  template <typename T> T get() { return *(T *)std::shared_ptr<void>::get(); }
};
typedef std::vector<IOData> OutputData;

Comments

[Антон Жилин]

Поздравляю, вы изобрели std::any / boost::any

Answer 3

[Деревянко Александр]

разве вектор не предназначен для хранения однотипных данных?
Я тут подумал - может ассоциативный массив? "объект - его тип"...

Comments

[Vitaliy]

не в этом суть, можно и что-то другое кроме вектора, главное чтобы удобно было с элементами работать (тот же кортеж неудобен)

[Деревянко Александр]

Виталий Столяров: ну все же? Вектор не позволяет хранить элементы РАЗНЫХ типов. Объекты одного класса - суть одного типа.

[Vitaliy]

Александр: закрыли тему про вектор

[Деревянко Александр]

Виталий Столяров: как скажете...ваша тема.

Answer 4

[Vitaly]

Кортежи или вектор объектов типа вариант.

Comments

[Vitaliy]

с кортежами неудобно работать, а в std::variant как можно хранить любые типы, не указывая этого при объявлении вектора?

[Vitaly]

Придется привыкнуть) Вроде бы вполне удобно.
Насчёт std::variant не знаю, я QVariant пользуюсь обычно.