Как работает ARC и чем он отличается от MRC в Objective-C и Swift?

Как устроен ARC и в чём его отличие от MRC?

• Контекст: управление памятью в Objective-C и Swift
• MRC (Manual Retain-Release):
• разработчик самостоятельно вызывает retain и release
• при неверном подсчёте ссылок легко допустить утечку или другую ошибку
• необходимо постоянно контролировать баланс операций удержания
• ARC (Automatic Reference Counting):
• компилятор сам добавляет вызовы retain/release
• уменьшает количество ошибок и делает код проще
• не устраняет циклические ссылки (для этого требуются weak/unowned)
• Главное различие:
• MRC: память контролируется вручную
• ARC: управление памятью автоматизируется на этапе компиляции
• Практическая польза ARC:
• повышает безопасность и производительность
• сокращает сроки разработки
• широко применяется в современных приложениях для iOS и macOS
• Ограничения ARC:
• для устранения циклов сильных ссылок нужны дополнительные механизмы
• не выполняет сборку мусора, в отличие от GC

Таким образом, ARC представляет собой современный механизм подсчёта ссылок с автоматизацией: он заменил MRC, упростив управление памятью без снижения производительности.

Подробный ответ

Основной ответ

ARC (Automatic Reference Counting) и MRC (Manual Reference Counting) — механизмы управления памятью, которые главным образом применяются в экосистеме Apple, включая Objective-C и Swift. Оба подхода используют подсчёт ссылок (reference counting), чтобы определить момент освобождения объекта. Ключевая разница заключается в том, кто управляет счётчиком и освобождением памяти.

Ключевые моменты

• При использовании MRC программист вручную добавляет вызовы retain, release и autorelease, управляя жизненным циклом объектов. Если забыть выполнить release, возникнет утечка памяти; преждевременное освобождение, напротив, может привести к падению приложения.
• В ARC, появившемся в Xcode 4.2 и iOS 5, эту работу автоматизирует компилятор: во время компиляции он добавляет необходимые вызовы управления ссылками. Такой подход уменьшает вероятность ошибок и сокращает объём кода, сохраняя высокую эффективность использования памяти.
• ARC не применяет Garbage Collector. В отличие от GC, память освобождается детерминированно сразу после того, как число ссылок становится равным нулю, поэтому задержка ниже, а производительность предсказуемее.

Практический контекст

В актуальных проектах Apple, включая разработки на Swift и Objective-C с Xcode 12+, почти всегда выбирают ARC — это стандартный и рекомендуемый способ управления памятью. В отдельных ситуациях, например при взаимодействии с низкоуровневым C API или поддержке legacy-кода, возможно ручное управление памятью, однако оно требует осторожности и тщательного тестирования.