Как создать динамический массив из объектов класса?

Question

[Борода]

Нужно создать динамический массив из объектов класса, у которого единственный конструктор принимает значение. Язык C++ без использования класса vector!

Описание класса:

class Test {
	int k;
public:
	Test(int _i) {k = _i; }
	~Test();

	void put_k(int i) {k = i; }
	int get_k() {return k; }
};

Реализация

#define COUNT_OBJ 4
int main()
{
	// Данное объявление массива не является верным, т.к. конструктору класса Test в обязательном порядке нужно передать параметр типа int
	Test *objPtr = new Test[COUNT_OBJ];

	// Со статическим объявлением массива все проще
	Test objArray[COUNT_OBJ] = {5, 6, 7, 8};

	return 0;
}

Comments

[Борода]

Ivan Sokolov: Compiler: MinGW (TDM-GCC-32)
Если добавить конструктор без параметров, либо объявить статический массив Test objArray[COUNT_OBJ] = {5, 6, 7, 8}; - в обоих случаях все работает.

Answer 1

[Борода]

И так, нашел несколько способов:

1. Если компилятор поддерживает стандарт C++ 2011
Test *objPtr = new Test[COUNT_OBJ] {5, 6, 7, 8};

2. Реализация того, что было сказано GavriKos

Test *objPtr = (Test*)calloc(COUNT_OBJ, sizeof(Test));
memset(objPtr, 0, COUNT_OBJ * sizeof(Test));
for (int i = 0; i < COUNT_OBJ; ++i) objPtr[i].put_k(i + 5);

Этот вариант нужно использовать с осторожностью, т.к. память выделяется но не вызываются конструктор и деструктор объекта.

3. Вариант, представленный Rsa97 в комментариях

Test **objPtr = new Test*[COUNT_OBJ];
for (int i = 0; i < COUNT_OBJ; ++i) objPtr[i] = new Test(i + 5);

4. На мой взгляд, самая удачная реализация с использованием Placement new. На данный способ указал Игорь Иванов

Test *objPtr = static_cast<Test*>(operator new[] (COUNT_OBJ * sizeof(Test)));
for (int i = 0; i < COUNT_OBJ; ++i) new (objPtr + i) Test(i + 5);

Comments

[MetalKrot]

насчёт второго варианта: мне кажется, что здесь только выделение памяти под массив. но реального заполнения элементами нету. в итоге undefined behavior. поправьте, если не прав

Answer 2

[Игорь Иванов]

Классический Placement new

Answer 3

[Ivan Bogachev]

Используйте vector и не думайте ни о чем

std::vector<Test> myTests(4, Test(777));
std::cout << myTests[0].get_k(); // 777

Answer 4

[GavriKos]

Варианты:
1) Использовать vector
2) Выделить просто участок памяти (malloc и иже с ними), а потом заполнить его в цикле
3) Не использовать конструктор с параметром, а сделать метод типа Initialize.

Comments

[Борода]

1 - vector мне не совсем подходит, нужно именно массив
2 - можете пояснить по-подробнее?
3 - данный класс уже написан, я могу лишь использовать то, что есть

[GavriKos]

mink_h Почему vector не подходит?
По второму пункту. Что то вроде такого (код очень черновой и не факт что сработает в чистом виде):
Test* foo = (test*)malloc(sizeof(Test*) * count);
for (int i=0; i

[GavriKos]

mink_h Вообще вот прям ваш случай - смотрите что советуют stackoverflow.com/questions/4754763/object-array-i...

Answer 5

[Максим Мосейчук]

Вы только лишь выделяете память. Инициализировать необходимо вручную.

Comments

[Борода]

Дело в том, что я вообще не могу объявить такой массив:
error: no matching function for call to 'Test::Test()'
Test *objPtr = new Test[COUNT_OBJ];

Answer 6

[Rsa97]

Test **objPtr = new (Test *)[COUNT_OBJ];
for (int i = 0; i < COUNT_OBJ; i++)
    objPtr[i] = new Test(i);

Comments

[Борода]

error: array bound forbidden after parenthesized type-id

[Rsa97]

mink_h: Значит так:

typedef Test * TestPtr;
...
 Test **objPtr = new TestPtr[COUNT_OBJ];
  for (int i = 0; i < COUNT_OBJ; i++)
    objPtr[i] = new Test(i);

[Борода]

Спасибо! Данный метод работает, вопрос пока не закрываю - хочется узнать еще варианты.

Answer 7

[asapelkin]

А что если сделать массив не объектов этого класса, а массив указателей на обьекты? А потом в цикле инициализировать каждый элемент уже с вызовом конструктора.
А вообще, используйте вектор, какие проблемы.

Comments

[Борода]

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

Answer 8

[Mercury13]

Операция присваивания или перемещения есть? Пускай даже созданная автоматически? Если есть — вот, смотрите.

#include <iostream>
#include <vector>

class Test {
  int k;
public:
  Test(int _i) {k = _i; }

  void put_k(int i) {k = i; }
  int get_k() {return k; }
};


struct TestWrapper {
    Test payload;
    TestWrapper() : payload(0) {}
    TestWrapper(int i) : payload(i) {}
    TestWrapper(const Test& i) : payload(i) {}
};

int main()
{
    Test test(10);
    std::vector<TestWrapper> v;
    v.push_back(test);
    std::cout << v[0].payload.get_k() << std::endl;
    return 0;
}

Если нет — тогда динамический массив так просто работать не может (фишка динамического массива — заводить новый массив и копировать информацию из старого). Только использованием умных указателей.

#include <iostream>
#include <vector>
#include <memory>


class Test {
  int k;
public:
  Test(int _i) {k = _i; }
  Test& operator=(const Test&) = delete;
  Test& operator=(Test&&) = delete;

  void put_k(int i) {k = i; }
  int get_k() {return k; }
};


int main()
{
    std::vector<std::unique_ptr<Test>> v;
    v.push_back(std::unique_ptr<Test>(new Test(10)));
    std::cout << v[0]->get_k() << std::endl;
    return 0;
}

Comments

[Борода]

Извините, сразу не написал - vector использовать не могу.

[Mercury13]

Какие проблемы написать свой vector?

[Mercury13]

std::vector я привёл только ради примера. Написать свой vector — полдня работы. И ещё полдня — написать на всё это юнит-тесты.

[MetalKrot]

Mercury13: повеселил) ты ещё аллокатор свой на это всё дело напиши. не вижу в этом смысла. vector использовать нельзя потому что это тестовый пример, задание, которое нужно выполнить с определёнными условиями

[Mercury13]

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

[Борода]

А я и не прошу писать за меня пример - здесь я ищу ответ на конкретно поставленный вопрос. Ведь именно для этого и существует данный ресурс?

[Mercury13]

Ещё раз. Если объект подлежит перемещению или копированию — оберни его во что-то с конструктором по умолчанию. Это позволит завести массив.
Если не подлежит — используй умные указатели. Если unique_ptr тоже запрещён — пиши сам, только операцию «присвоить» уничтожьб возможны трудноуловимые ошибки.