Почему free() выводит ошибку?

Question

[rusyska55011]

Реализую двухсвязанный список. Для каждого элемента выделяю динамическую память, а когда хочу ее почистить, выдается окно с ошибкой в программе. Компилятор Visual Studio, стандарта C11

mylist.c

typedef struct list_node {
	void* data;
	struct list_node* prev;
	struct list_node* next;
} list_node;

typedef struct list {
	unsigned count;
	list_node* last;
	list_node* first;
} list;

list* new_list() {
	list* new_list_obj = (list*)malloc(sizeof(list));

	new_list_obj->count = 0;
	new_list_obj->first = NULL;
	new_list_obj->last = NULL;

	return new_list_obj;
}

void append_node(list* this_list, const void* new_data) {
	list_node* new_node = (list_node*)malloc(sizeof(new_node));
	
	new_node->data = new_data;
	new_node->next = NULL;

	if (!this_list->count) {
		this_list->first = new_node;
		new_node->prev = NULL;

	} else {
		new_node->prev = this_list->last;
		this_list->last->next = new_node;

	}

	this_list->count++;
	this_list->last = new_node;
}

list_node* get_node(const list* this_list, signed index) {
	int converted_index = convert_beyond_index(index, this_list->count);
	const unsigned max_index = this_list->count - 1;

	list_node* node = NULL;
	if (max_index / 2 >= converted_index) {
		node = this_list->first;
		for (int i = 0; i < converted_index; i++)
			node = node->next;
	}
	else {
		node = this_list->last;
		for (int i = max_index; i > converted_index; i--)
			node = node->prev;
	}

	return node;
}

void delete_node(list* this_list, const signed index) {
	if (!this_list->count)
		return;

	list_node* deleted_node = get_node(this_list, index);

	list_node* next_node = deleted_node->next;
	list_node* prev_node = deleted_node->prev;

	if (this_list->count == 1) {
		this_list->first == NULL;
		this_list->last == NULL;
	}
	else if (this_list->first == deleted_node) {
		next_node->prev = deleted_node->prev;
		this_list->first = next_node;
	}
	else if (this_list->last == deleted_node) {
		prev_node->next = deleted_node->next;
		this_list->last = prev_node;
	}
	else {
		next_node->prev = deleted_node->prev;
		prev_node->next = deleted_node->next;
	}

	this_list->count--;

	free(deleted_node); // после этого выводится ошибка
}

Comments

[Kirgus]

"Microsoft Visual C++ Runtime Library" - почему C++, если программа написана на C?

[rusyska55011]

Кирилл Гусарев, проблема была в том, что я выделил память не под тип данных, а под переменную, глупая очепачатка

list_node* new_node = (list_node*)malloc(sizeof(new_node)); // Выделяю память под херню

[Kirgus]

rusyska55011, да, в malloc вместо `new_node` надо вписать `*new_node`

Answer 1

[Wataru]

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

Вижу сразу ошибку в delete_node: Если вершина в списке всего одна, произойдет фингя: this_list->last не обновится, да и next_node->prev несуществующее будет переписано.

Comments

[rusyska55011]

Изучил код через дебаггер подробно
Очистка происходит только один раз, проблема не в этом
За то что указали, что я забыл обработать удаление единичной записи спасибо, перезалью

[Wataru]

rusyska55011, Ну тогда остается только запись в не свою память. Что за последовательность операций приводит к падению? Попробуйте ее сократить максимально, выкидывая какие-то операции поочередно пока программа продолжает падать. А дальше попробуйте после каждой операции вывести весь список. Так же выводите адреса удаляемых вершин.

Answer 2

[Василий Банников]

В функцию free ты должен передать сам deleted_node (указатель на кучу)
А ты передаёшь туда указатель на локальную переменную.

Comments

[rusyska55011]

Прошу прощения, что забыл убрать мою тщетную попытку что-то сделать. Это для теста было, сейчас исправлю)
Я передавал указатель таким образом free(deleted_node); и таким free((list_node*)deleted_node);
Результат всегда один