В Руководстве по программированию сборки мусора Какао я не вижу железной уверенности, что Аруман выше того, что адрес объекта гарантированно постоянен:
http://developer.apple.com/mac/library/documentation/Cocoa/Conceptual/GarbageCollection/Articles/gcArchitecture.html
Раздел закрытых и открытых систем:
'[В открытой системе сбора мусора сборщики] перераспределяют и копируют блоки памяти и обновляют каждый ссылающийся указатель, чтобы отразить новый адрес. [...] Какао-сборщик мусора устанавливает баланс между «закрытым» и «открытым», точно зная, где находятся указатели на отсканированные блоки, где это возможно, легко отслеживая «внешние» ссылки и будучи «консервативным» только там, где это необходимо. .
И, учитывая общую «динамическую» природу среды выполнения Cocoa, я бы хотел действительно развернутого обсуждения этой темы в документации Apple, даже для программы без сбора мусора. Я не нахожу никаких утверждений в духе «адрес памяти объекта гарантированно не изменится» при поиске на всем сайте developer.apple.com - попробуйте Google с помощью:
site:developer.apple.com cocoa "object's memory address" OR "memory address of an object" guaranteed OR permanent
И затем есть этот страшный предмет ... многопоточности (аааа).