Допустим имеется один абстрактный класс: Word
- от него производим два класса: Noun
и Verb
. Тут сталкиваемся с вопросом: как хранить объекты этих классов? Создавать для каждого класса отдельный массив для храниения или есть вариант как их хранить в одном месте?
-
Можно. Очевидно, речь идет об указателях на объекты.– user176262Commented 29 мая 2018 в 13:12
-
@Igor не понял про 4 символа...– Andrej LevkovitchCommented 29 мая 2018 в 13:13
-
Система не позволяет слишком короткие комментарии.– user176262Commented 29 мая 2018 в 13:15
-
@Igor и как это сделать?– Andrej LevkovitchCommented 29 мая 2018 в 13:16
3 ответа
Обычно такое делают, храня в массиве либо ссылки (std::reference_wrapper<Word>
, например) — но тогда надо куда-то складывать сами объекты, либо указатели (std::unique_ptr<Word>
, в частности; Word *
вряд ли имеет смысл).
Если хочется массив ссылок, два варианта, в принципе:
I. Положить рядом массив указателей, куда эти ссылки ссылаются.
std::vector<std::reference_wrapper<Word>> words;
std::vector<std::unique_ptr<Word>> library;
и тщательно вручную следить за соответствием массивов друг другу.
II. Либо сделать собственный боксинг:
template<typename T> struct Box: public std::unique_ptr<T> {
using std::unique_ptr<T>::unique_ptr;
operator T &() const { return **this; }
};
std::vector<Box<Word>> words;
words.push_back(std::make_unique<Noun>("мама"));
(Пример простой реализации, ни на что не претендующий.)
Ну вот самый простой пример:
$ cat word.cpp
#include <iostream>
#include <vector>
#include <memory>
struct Word {
virtual int value() const = 0;
virtual ~Word() = default;
};
struct Noun: Word { int value() const { return 42; }};
struct Verb: Word { int value() const { return 31416; }};
template<typename T> struct Box: std::unique_ptr<T> {
using std::unique_ptr<T>::unique_ptr;
operator T &() const { return **this; }
};
int main() {
std::vector<Box<Word>> v;
v.push_back(std::make_unique<Noun>());
v.push_back(std::make_unique<Verb>());
for(Word const &w: v) std::cout << w.value() << std::endl;
}
И если запустить, получится:
$ g++ word.cpp && ./a.exe
42
31416
-
Вообще-то я еще в вопросе указал, что меня интересует именно: "куда их складывать" Commented 29 мая 2018 в 13:18
-
-
прошу прощения, но все не могу понять куда таки складывать сами объекты? Commented 29 мая 2018 в 13:35
-
-
1Не нужно наследоваться от unique_ptr. У него нет виртуального деструктора.– KoVadimCommented 29 мая 2018 в 13:54
Просто объекты хранить не стоит - сработает срезка.
Храните указатели (или интеллектуальные указатели) на абстрактный класс, и все будет отлично работать.
-
Тобишь кроме как создавать два отдельных массива вариантов нет? Commented 29 мая 2018 в 13:19
-
Ну я же написал - один массив, но указателей. Вы КАК планируете создавать объекты? Если динамически - вообще идеально подходит. Если статически - сохраняйте в массиве указатели на
Word
, только тогда не удаляйте их, только и всего... Покажите, как бы вы хотели, чтобы выглядел ваш код - тогда можно будет подсказать точнее...– HarryCommented 29 мая 2018 в 13:35
Для хранения иерархически связанных типов можно использовать массив указателей на базовый класс. А чтобы не заморачиваться с низкоуровневыми конструкциями, вполне подойдет std::vector
, параметризованный типом умного указателя std::unique_ptr
.
#include <memory>
#include <vector>
using namespace std;
struct Word {
virtual ~Word() = 0;
};
Word::~Word() {};
struct Noun : Word { };
struct Verb : Word { };
int main()
{
vector<unique_ptr<Word>> v;
v.push_back(make_unique<Noun>());
v.push_back(make_unique<Verb>());
}