При отправке сообщения об освобожденном объекте не происходит "изящного сбоя".
Выделенный объект поддерживается битом памяти, выделенным в куче.Он может иметь много ссылок на это распределение;много указателей, которые содержат адрес указанного распределения.Когда объект освобожден, все эти указатели все еще указывают на него, если явно не сбросить какое-либо другое значение.И, разумеется, после освобождения этого бита o 'память может быть перераспределена.
То есть, нет магии - никакой эффективной магии в любом случае [см. NSZombie] -для превращения всех указателей на конкретный объект во что-то, что волшебным образом съедает все сообщения без ошибок.
Другими словами, вам необходимо создать свое приложение таким образом, чтобы объекты, которые больше не были жизнеспособными, действительно больше не были жизнеспособными на всех уровняхвашего приложения.