Как хранить разные типы данных в одном списке? (C ++)

Я предлагаю boost :: variant или boost :: any . [ Связанный вопрос ]

Я вижу, что есть много попыток чтобы решить вашу проблему к настоящему моменту, но у меня такое чувство, что вы смотрите не в ту сторону - почему вы на самом деле вообще хотите это сделать? Есть ли в базовом классе какие-то интересные функции, которые вы не указали?

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

Вы, вероятно, можете сделать это с помощью библиотеки Boost, или вы могли бы создать класс с кодом типа и указателем void на данные, но это означало бы отказ от некоторой типовой безопасности C ++ . Другими словами, если у вас есть свойство «foo», значение которого является целым числом, и вы вместо этого присваиваете ему строковое значение, компилятор не найдет для вас ошибку.

Я бы порекомендовал пересмотреть ваш дизайн и переоценить, действительно ли вам нужна такая гибкость. Вам действительно нужно иметь возможность обрабатывать свойства любого типа? Если вы можете сузить его до нескольких типов, вы сможете найти решение, используя наследование или шаблоны, без необходимости «бороться с языком».

Другое возможное решение - написать промежуточный класс, управляющий указателями на классы Property :

class Bla {
private:
  Property* mp
public:
  explicit Bla(Property* p) : mp(p) { }

  ~Bla() { delete p; }

  // The standard copy constructor
  // and assignment operator
  // aren't sufficient in this case:
  // They would only copy the 
  // pointer mp (shallow copy)
  Bla(const Bla* b) : mp(b.mp->clone()) { }

  Bla& operator = (Bla b) { // copy'n'swap trick
    swap(b);
    return *this;
  }

  void swap(Bla& b) {
    using std::swap; // #include <algorithm>
    swap(mp, b.mp);
  }

  Property* operator -> () const {
    return mp;
  }

  Property& operator * () const {
    return *mp;
  }
};

Вы должны добавить виртуальный метод clone в ваши классы возвращают указатель на только что созданную копию самого себя:

class StringProperty : public Property {
// ...
public:
  // ...
  virtual Property* clone() { return new StringProperty(*this); }
  // ...
};

Затем вы сможете сделать это:

std::vector<Bla> v;
v.push_back(Bla(new StringProperty("Name", "Jon Doe")));
// ...
std::vector<Bla>::const_iterator i = v.begin();
(*i)->some_virtual_method();

Выход из области видимости v означает, что все Bla s будет уничтожен, автоматически освободив указатели, которые они содержат. Из-за перегруженного оператора разыменования и косвенного обращения класс Bla ведет себя как обычный указатель. В последней строке * i возвращает ссылку на объект Bla , а использование -> означает то же самое, как если бы это был указатель на свойство объект.

Возможный недостаток этого подхода состоит в том, что вы всегда получаете операцию кучи ( new и delete ), если промежуточные объекты необходимо скопировать. Это происходит, например, если вы превышаете емкость вектора и все промежуточные объекты должны быть скопированы в новый участок памяти.

В новом стандарте (т. Е.c ++ 0x) вы сможете использовать шаблон unique_ptr : его

• можно использовать внутри стандартных контейнеров (в отличие от auto_ptr , который нельзя использовать в стандартных контейнерах),
• предлагает обычно более быструю семантику перемещения (ее можно легко передать), а
• заботится об удерживаемых указателях (освобождает их автоматически).

Способ более низкого уровня — использовать объединение

class Property
  union {
    int int_data;
    bool bool_data;
    std::cstring* string_data;
  };
  enum { INT_PROP, BOOL_PROP, STRING_PROP } data_type;
  // ... more smarts ...
};

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

РЕДАКТИРОВАТЬ: Еще немного кода, чтобы привести пример использования.

Property car = collection_of_properties.head();
if (car.data_type == Property::INT_PROP) {
  printf("The integer property is %d\n", car.int_data);
} // etc.

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

Property::Property(bool value) {
  bool_data = value;
  data_type = BOOL_PROP;
}

Напишите шаблонный класс Property, производный от Property с элементом данных типа T