Исходное сообщение
"Дэниэл Бернштейн выступил с инициативой создания Си-компилят..." Отправлено www2, 22-Дек-15 19:12
> Штука в том, что по (невалидному) указателю все эти метаданные можно повредить > и в результате рано или поздно ты получишь то, что в > языке называется UB. Или, например, как ты защитишься от double free? Проверкой сигнатуры в блоке памяти до указанного указателя. Проверкой указателя по списку выделенных блоков. Это не проблема. Конечно, тот же блок может быть выделен повторно, но даже с такой примитивной проверкой можно отсеять 99% повторных попыток освободить уже освобожденный блок. С помощью операционной системы можно использовать всё доступное адресное пространство (все 64 бита) так, чтобы дополнительно снизить вероятность повторного выделения блока, адрес которого уже выделялся ранее. > Запретить арифметику указателей? Сделать указатели auto-null при освобождении? Подсчет > ссылок? GC? Тогда это не C, и не морочьте голову. Не морочьте голову мне.