free и const

Question

[Aren_SH]

Столкнулся со следующей ситуацией. Есть указатель (void *) который впоследствии освобождается через free()

struct {
	void *value;
	....
};
...
// Присваивается указатель на какое-нибудь значение
node->value = value;
...
free(node->value);

Проблема возникает если node->value присвоить указатель на const переменную (или строковую константу), которую free() не может очистить.

Можно ли проверить, что free() передается корректный указатель и предотвратить проблему? Или это остается на совести погромиста?

Answer 1

[Monnoroch]

void free(void * ptr);

а не

void free(const void * ptr);

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

Answer 2

[Ilya Evseev]

если node->value присвоить указатель на const переменную

Нормальный компилятор должен ругнуться на таком присвоении.

Answer 3

[ixSci]

Нет.

Answer 4

[Aren_SH]

Понятно. Спасибо всем за ответы.