Проблемы с динамическим массивом внутри класса

[romeo]

Вопрос в следующем - создаю  класс, экземпляры которого должны иметь длину задаваемую при вызове конструктора. Т.е. использую двумерный динамический массив. Если я описываю этот массив не с помощью класса, а в функции main, то ошибок не возникает, а если использую конструктор, то при инициализации массива возникает сообщение типа
Unhandled exception at 0x00401065 in myProg.exe: 0xC0000005: Access violation writing location 0xbaadf00d.
Вроде все проверил, не пойму где ошибка. Посмотрите пожалуйста

Код:

#include "stdafx.h"
#include <stdio.h>
#include <iostream>
#include <ctime>
//#include "Chromosome.h"

using namespace std;

class Chromosome
{
	bool **Chromos;
	int GeneQty, GeneSize;


public:
	Chromosome (int GQty, int GSize);
	~Chromosome();
	void ShowChrom();

};


Chromosome::Chromosome (int GQty, int GSize)//создание пустой хромосомы, как массива генов
{
	GeneQty = GQty; GeneSize = GSize;
	Chromos = new bool* [GeneQty]; 
	for (int i=0; i<GeneSize; i++)
	{
		Chromos[i] = new bool[GeneSize];
	};
	for (int l=0; l<GeneQty; l++)
       {
        for (int j=0; j<GeneSize; j++)   
		   Chromos[l][j]= false;
       };
}

Chromosome::~Chromosome()
{
	for(int i=0; i<GeneQty; i++)
			delete [] Chromos[i];
	delete [] Chromos;
}


void Chromosome::ShowChrom()
{
   cout<<"Cromosome "<<endl;
	for (int i=0; i<GeneQty; i++)
    {
       for (int j=0; j<GeneSize; j++)   cout<<Chromos[i][j];
	   cout<<"   ";
    }
	cout<<endl;
};
void main()
{
	int r=5, z=4;
	Chromosome Ch1(r, z);
}

[Джон]

Ошибка - первый цикл должен до GeneQty работать, а не до GeneSize

for (int i=0; i<GeneSize; i++)

надо

for (int i=0; i<GeneQty; i++)


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

[romeo]

Ага,  я тоже заметил, но поздно. Все равно спасибо большое))

[romeo]

А вот по поводу конструктора я бы выслушал замечания . Так что если не трудно,  напиши

[Антон (LogRus)]

Улыбнуло
я бы сделал вектор векторов

[Джон]

Лучше поздно, чем после сдачи проекта.

Насчёт улучшений... Если это ВСЁ, что происходит, то ничего не надо делать. Насчёт конструктора - я проглядел, я чёт решил, что это у тебя ф-я инициаллизации. Тогда надо было бы проверить уже существующую память и освободить её, если новый размер не совпадает с существующим. А если это у тебя единственный конструктор. То пойдёт. Я бы сделал стандартный конструктор и ф-ю инициаллизации. Ибо конструктор не возвращает значение. А значения ты будешь передавать разные. Но это уже просто совет по дизайну.

[romeo]

Это не все, что происходит - это тот кусок где была проблема. Вообще я планирую, чтобы пользователь сразу выбрал размерность массива, а все экземпляры будут одного размера.
Тогда вопрос - можно ли сделать так, чтобы один раз передать в класс размерность массива и не указывать для каждого экземпляра одни и те же параметры?
Функция заполнения массива реализована отдельно, в конструкторе просто создается пустой массив с нулевыми (false) значениями.

ЗЫ: спасибо за комментарии

[Алексей++]

romeo, два варианта: статический массив или статический указатель.
Статический указатель (static) будет виден один и тот же во всех экземплярах класса - и ты сможешь всегда посмотреть, создавал уже или нет массив (указатель!=0).
Статические массив (int A[7777]) - инкапсулировать обычный массив в некую структуру, а экземпляр той структуры динамически создать в твоём классе (боремся с переполнением стека)

[Джон]

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

Ну, статические переменные члены класса напрашиваются сами собой. Как Лёшка написал. Я бы только сделал статическими размерности - m_nGeneQty и m_nGeneSize и два конструктора. Честно говоря сразу не понял, что Лёшка имел ввиду. Ведь тебе нужны разные массивы с разным содержанием, но с одинаковой размерностью? Или? Но я думаю он пояснит.

[Джон]

Или если важно отследить постоянство размерности, что я бы сделал так

Код:

class Chromosome
{
public:
	Chromosome()
	{
		if( (0==m_nGeneQty)||(0==m_nGeneQty))
		{
			throw; // ещё пустые
		}

                 // дальше по тексту

	}
	
	~Chromosome();

	static void SetDim(int GQty, int GSize)
	{
		if( (0==m_nGeneQty)||(0==m_nGeneSize))
		{
			m_nGeneQty = GQty;
			m_nGeneSize = GSize;
		}
		else
		{
			throw; // уже проинициаллизированы
		}
	}

private
	bool **m_pChromos;
	static int m_nGeneQty;
	static int m_nGeneSize;

};

void main()
{
	int r=5, z=4;
        Chromosome::SetDim(r,z)
	Chromosome Ch1;
	Chromosome Ch2;
	Chromosome Ch3;
	Chromosome Ch4;

...

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

[Антон (LogRus)]

пользуйтесь STL
хрень какая-то с памятью на куче. вы же при проблемах с выделением памяти, её в кучу вернуть не сможете нормально или сохраняйте при первом проходе данные о том инициализировали указатель во втором цикле или нет.

Вот интересно реально нужно данные на куче выделять или размер уже известен в CompileTime

[Алексей++]

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

Ну, статические переменные члены класса напрашиваются сами собой. Как Лёшка написал. Я бы только сделал статическими размерности - m_nGeneQty и m_nGeneSize и два конструктора. Честно говоря сразу не понял, что Лёшка имел ввиду. Ведь тебе нужны разные массивы с разным содержанием, но с одинаковой размерностью? Или? Но я думаю он пояснит.

ну, человек просит

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

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

Код:

struct s_JustArray
{
	enum
	{
		e_N=10000,
	};

	int* array;

	s_JustArray()
	{
		array=new int [e_N];
		if(array)memset(array,0,sizeof(*array)*e_N);
	}

	~s_JustArray()
	{
		if(array)
		{
			delete [] array;
		}
	}
	//методы для работы с , если надо
	//...
};

//рабочая структура
struct s_Work
{
	static s_JustArray m_A;//получился динамический массив, который один на всех ))

};

LogRus, пусть человек в суть явления вникает, зачем ты его в шаблоны сразу толкаешь ? Которые нисколько не менее трудны для понимания

[Алексей++]

а если всё же в каждом экземпляре нужен свой массив, тогда убираем static

Код:

//рабочая структура
struct s_Work
{
	s_JustArray m_A;//массив в каждом экземпляре
};

[Джон]

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

[Алексей++]

виноват, исправлюсь ) Неравильно условие понял сначала

[romeo]

LogRus, старайся четче выражать свои мысли
Джон, спасибо)) ситуация проясняется. Ты правильно меня понял - для каждого экземпляра свой массив.

[Антон (LogRus)]

romeo, чего не понятного?

Код:

	Chromos = new bool* [GeneQty]; 
	for (int i=0; i<GeneSize; i++)
	{
		Chromos[i] = new bool[GeneSize];
	};

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

[Алексей++]

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

Код:

Chromos = new bool [GeneQty*GeneSize];

и это всё становиться не менне удобно, чем пресловутый вехтор

[Антон (LogRus)]

Кидает, он кидает.
Сам попробуй.

[Алексей++]

как попробовать, как добиться такой ситуации:

1)была выделена память
2) при этом вылетело исключение

?

[Антон (LogRus)]

попробуй в цикле выделять по сотнями мегабайт память и ловить при этом  std::bad_alloc
и у видишь что он ловится
сам специально проверил
летит исключение и стандарт читал
там сказано new ()[] throw(std::bad_alloc)

[Алексей++]

LogRus, во первых, я предлагаю одним блоком выделить, а не серией. Тут - либо выделилось , либо нет, никакой потери. Если не выделилось = вернёт 0

а при чём тут std:: ? Оно точно сюда ?
Проверю дома, сейчас нельзя компутер ронять  - сижу глыбоко в отладкке

[romeo]

LogRus, а почему вектор безопаснее? какая разница каким способом память выделить? просвети пожалуйста

[Finch]

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

[romeo]

Finch, а что, тот деструктор, который я прописал (см. листинг вверху) разве не гарантирует возврата памяти системе?

[romeo]

Джон, еще вопросик, что за условие в 9-м посте

Код:

 if( (0==m_nGeneQty)||(0==m_nGeneSize))

?

[Finch]

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

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

Джон, еще вопросик, что за условие в 9-м посте
Код:

 if( (0==m_nGeneQty)||(0==m_nGeneSize))

?

Это проверка на нуль одного из параметров.

[romeo]

Это-то да, я у себя потом исправил, а правильный листинг не выложил. Тем не менее деструктор типа

Код:

Chromosome::~Chromosome()
{
	for(int i=0; i<GeneSize; i++)
			delete [] Chromos[i];
	delete [] Chromos;
	
}

не гарантирует отсутствие проблем с высвобождением памяти?

[romeo]

А возможно ли создать статический массив экземпляров класса, если конструктор при этом имеет входные параметры?

[Finch]

Он то освободит, насколько я знаю, по стандарту при попытке удаления адресса ֳֹNULL, оператор delete не должен предпринимать каких либо действий или исключений.