Самопроизвольное изменение указателя с NULL в 0xcccccc (С++)

[burik]

Всем привет.

Пишу класс AVL-дерева на C++ (если кто не знает - это самобалансирующееся дерево). Дерево хранится в памяти посредством такой вот структуры:

Код: Выделить всё

struct Tree {
   int key, value, height;
   Tree *p, *l, *r; // родитель, левое поддерево, правое поддерево
}

Видимо, я чего-то не понимаю, но суть проблемы в следующем.

При создании нового элемента, поля структуры l и r приравниваются к NULL. Однако, в определенный момент времени эти указатели становятся равными 0xcccccccc, в следствие чего не выполняется условие типа (node->l == NULL) и все работает некорректно.

Чем может быть вызвано такое явление?

[Хакер]

Только одним — кто-то по ошибке пишет эти данные туда, на какое место приходятся эти указатеоли.

Либо бракованая адресная арифметика, либо use-after-free.

[burik]

use-after-free - это, как я понял, использование указателя на память, которая была освобождена? Т.е. типа такого:

Код: Выделить всё

int *a = new int;
delete a;
*a = 5;

Я правильно понимаю?

А "бракованая адресная арифметика" это как? Точнее от чего она возникает?

[Хакер]

use-after-free - это, как я понял, использование указателя на память, которая была освобождена? Т.е. типа такого:

Код: Выделить всё

int *a = new int;
delete a;
*a = 5;

Я правильно понимаю?

Скорее так:

Код: Выделить всё

int *a = new int;
delete a;
Something(); // Куча действий, требующих выделения памяти или вызов ждущих функций (Sleep, WaitForXXX и т.п.)
*a = 5;

[burik]

Спасибо большое, вроде разобрался