Опциональный вызов деструктора в шаблоне

@SQReder · Регистрация: 04.07.2009

Студворк — интернет-сервис помощи студентам

Разбираясь с шаблонами, решил описать набор шаблонов для работы с матрицами. Выделение памяти, применение операции к каждому элементу и освобождение памяти.
При освобождении памяти, если элемент матрицы является классом, то по-хорошему нужно вызвать деструктор. В результате вышел такой код:

C++

/* -----------------------------------------
 Шаблон для выделения памяти под матрицу
 ----------------------------------------- */
template<typename T>
T** allocate_matrix(unsigned int h, unsigned int w, T default_value = NULL) {
    T** matrix = new T*[h];
    for (unsigned int y = 0; y < h; y++) {
        matrix[y] = new T[w];
        for (unsigned int x = 0; x < w; x++)
            matrix[y][x] = default_value;
    }
 
    return matrix;
}
 
/* -----------------------------------------
 Шаблон освобождения памяти
 усли destroy == true то для каждого
 значения сначала вызывается деструктор
 ----------------------------------------- */
template<typename T>
void delete_matrix(T** matrix, unsigned int h, unsigned int w, bool destroy =
    false) {
    // если нулевой указатель - то выходим из функции - освобождать нечего
    if (matrix == NULL)
        return;
 
    // проходим по строкам матрицы
    for (unsigned int y = 0; y < h; y++) {
        // если указано вызвать деструкторы - вызывем
        // для каждого значения в строке
        if (destroy)
            for (unsigned int x = 0; x < w; x++)
                delete matrix[y][x];
        // освобождаем память от строки
        delete[]matrix[y];
    }
 
    // освобождаем указатель на строки
    delete[]matrix;
}

в этом примере все прекрасно работает, деструкторы вызываются

C++

void foo() {
  SomeClass *** matrix;
  matrix = allocate_matrix<SomeClass>(10, 10);
  delete_matrix(matrix, 10, 10, true);
}

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

C++

void bar() {
  int ** matrix;
  matrix = allocate_matrix<int>(10, 10);
  delete_matrix(matrix, 10, 10);
}

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

@Deviaphan · 23.03.2011, 18:44

Сообщение от SQReder

if (destroy) for (unsigned int x = 0; x < w; x++) delete matrix[y][x];

Это удаляет объект, на который хранится указатель в матрице. Т.е. когда Т - указатель. Если использовать интеллектуальные указатели или хранить в матрице значения, то в этом цикле необходимость отпадает.

@Deviaphan Делаю внезапно и красиво 1313 / 1228 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	23.03.2011, 18:44	2
	Сообщение от SQReder if (destroy) for (unsigned int x = 0; x < w; x++) delete matrix[y][x]; Это удаляет объект, на который хранится указатель в матрице. Т.е. когда Т - указатель. Если использовать интеллектуальные указатели или хранить в матрице значения, то в этом цикле необходимость отпадает. 0

Опции темы