Деструкторы в C

Посмотри баблиотеку glib.

А это не сборка мусора?

А что имено в glib?

в голову пока что приходит только такой метод:
есть некоторый аки объект:

#define REGISTER_OBJ(obj, type) obj.destruct = do_##type_destruct
#define UNREGISTER_OBJ(obj) obj.destruct()

static void do_type1_destruct(void)
{
...
}

...

static void do_typeN_destruct(void)
{
...
}

struct obj {
/* some data */
void (*destruct)(void);
};

void f()
{
struct obj = malloc();

obj.field1 = init_field1();
..
obj.fieldN = init_fieldN();
REGISTER_OBJECT(obj, type1);
....
....
....
UNREGISTER_OBJECT(obj);
}

деструктор должен вызываться АВТОМАТИЧЕСКИ

> А это не сборка мусора?

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

Смотри Gobject.

http://developer.gnome.org/doc/API/2.0/gobject/index.html

Как простой вариант:

Написать свои функции выделения/освобождения памяти, в который указатели на выделенные участки памяти будут также сохраняться в каком-либо статическом списке. Написать также две функции enter_scope() и leave_scope(), первая из которых будет ложить в стек 0, а вторая - освобождать из стека все значения до первого 0-я.

Сразу после входа в блок вызываем enter_scope(), перед выходом - leave_scope().

А как ему здесь поможет GObject?

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

sorry, не в статическом списке, а в статическом стеке

Сделай

#define return call_destructors(); return

И пиши в процедурах return; в конце.
Это все конечно будет работать для функции а не для скопа.

Только все же лучше взять C++.

#define { { enter_scope();
#define } leave_scope(); }

ещё как-нить создание своего struct заменить на struct + функция регистрации потом leave_scope(); найдёт их и очистит

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

и т.д. пока не изобретёшь С++

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

> #define { { enter_scope();
> #define } leave_scope(); }

macro names must be identifiers
по очевидной причине

// wbr

Лучше:
#define begin { enter_scope(); {
#define end } leave_scope(); }

И будет Pascal :)

Никак. Юзай православный С++.