Здравствуйте, vsb, Вы писали:
vsb> Я бы сказал, что Memory Safety это когда в типовом коде невозможны подобные ошибки, а не когда эти ошибки вообще невозомжны ни в какой программе на этом языке.
Как раз в типовом коде дельфей это сделать легко. Ссылки на объекты неотслеживаемые, поэтому заехать в удаленный объект — как два пальца. Была попытка прикрутить ARC для объектов и слабые ссылки, но не прижилось оно. Слабые ссылки оставили только для интерфейсных типов в итоге.
vsb> Но про Delphi в любом случае мимо, по крайней мере по моим воспоминаниям Delphi от C особо не отличается в этом плане. Разве что индексация массивов проверяется по дефолту.
Индексция проверяется, строки автоматически управляются, динамические массивы (благодаря которым про сырую память можно забыть вообще) — автоматически, интерфейсы — автоматически, варианты — автоматически, в новых версиях автоматические записи завезли. В общем, все достаточно неплохо.