Почему ARC не может автоматически устранять retain cycle?

Question

ARC работает только с количеством ссылок, а не с логикой связей. Он не анализирует граф объектов целиком. Для ARC retain cycle выглядит как корректное состояние. Автоматическое разрывание таких связей могло бы привести к ошибкам. Поэтому ответственность за это лежит на разработчике.

YeaHub · Accepted Answer

ARC — это предсказуемый и простой механизм, но именно из-за этого у него есть ограничения.Как ARC принимает решенияARC освобождает объект только в одном случае:когда счетчик сильных ссылок равен нулюARC не:анализирует граф объектовне ищет циклыне понимает «кто кому нужен»Что такое retain cycleRetain cycle — это ситуация, когда:объект A сильно ссылается на объект Bобъект B сильно ссылается на объект AС точки зрения ARC:оба объекта используютсясчетчик ссылок больше нуляудалять ничего нельзяПочему ARC не может разорвать цикл автоматическиНет информации о намеренияхARC не знает, является ли связь временной или логически необходимой.Риск удаления нужных объектовАвтоматическое разрывание ссылок может привести к крашу или некорректному состоянию.ПроизводительностьАнализ графа объектов в runtime был бы дорогим.Роль разработчикаРазработчик должен:использовать weak или unowned ссылкиаккуратно работать с замыканиямипроектировать зависимости осознанноВыводARC не устраняет retain cycle, потому что не может безопасно определить, какие ссылки допустимо разрывать без нарушения логики приложения.