Почему autorelease освобождает счетчик ссылок позже?

Механизм autorelease в Objective-C

Что такое autorelease?

autorelease — это концепция из управления памятью в Objective-C, которая тесно связана с AutoreleasePool. Основная идея заключается в том, что объект, помеченный как autorelease, не освобождается немедленно, а добавляется в текущий autorelease pool. Затем этот пул освобождает все находящиеся в нём объекты в конце текущего run loop итерации (или в другой момент, который определяется разработчиком). Это позволяет отложить освобождение памяти на "позже".

Почему autorelease освобождает память позже?

Исторический контекст: ручное управление памятью

В MRC (Manual Reference Counting) разработчик должен был явно контролировать счётчик ссылок (retain count) объекта. Использование autorelease позволяло отказаться от ручного вызова release в определённых случаях, особенно при возврате объектов из методов. Например:

- (NSString *)generateString {
    NSString *str = [[[NSString alloc] initWithFormat:@"Hello, %@", self.name] autorelease];
    return str;
}

Здесь объект str помещается в autorelease pool, чтобы вызывающий код мог использовать строку без немедленного освобождения. Если бы здесь использовался release вместо autorelease, то объект мог бы быть освобождён до того, как вызывающий код получит к нему доступ.

Механизм работы Autorelease Pool

Каждый раз, когда создаётся autorelease pool, он начинает собирать объекты, которым был отправлен autorelease. Основной пул создаётся автоматически на каждом цикле выполнения основного потока (run loop). Пример создания пула вручную:

@autoreleasepool {
    for (int i = 0; i < largeNumber; i++) {
        NSString *tempString = [NSString stringWithFormat:@"index %d", i];
        // tempString автоматически помещается в autorelease pool
    }
    // Здесь autorelease pool будет дренирован, освобождая все временные объекты
}

При вызове autorelease:

1. Объект добавляется в текущий стек autorelease pools.
2. Позже, когда пул будет осушен (drain), всем объектам в нём будет отправлено сообщение release.
3. Если счётчик ссылок объекта становится равным нулю, память освобождается.

Причины отложенного освобождения

1. Упрощение возврата объектов из методов: Время жизни объекта продлевается до конца текущего autorelease pool, что удобно при возвращении вновь созданных объектов. Вызывающий код может использовать объект, не беспокоясь о немедленном освобождении.

   Без autorelease пришлось бы либо использовать retain в вызывающем коде, либо возвращать объект с retain count = 1, что могло бы приводить к утечкам при неправильном использовании.

2. Групповое освобождение объектов: autorelease pool позволяет освобождать множество объектов одновременно в конце итерации цикла или другого логического блока. Это улучшает производительность, так как снижает нагрузку от множественных вызовов release.

3. Избежание "висячих" указателей: Отложенное освобождение снижает риск освобождения объекта, пока он ещё используется. Если бы объект освобождался сразу после вызова autorelease (вместо ожидания дренирования пула), это могло бы вызвать сбои.

Пример в современном ARC

Хотя ARC (Automatic Reference Counting) автоматически управляет памятью, autorelease всё ещё используется "за кулисами". Например, при возврате объектов из методов, которые не начинаются с alloc, new, copy, mutableCopy, ARC может использовать autorelease для совместимости с кодом на MRC. Однако в ARC явное использование autorelease запрещено: вместо этого компилятор автоматически вставляет соответствующие вызовы.

Вывод

autorelease освобождает счётчик ссылок позже, чтобы обеспечить корректное время жизни объектов — особенно при возврате из методов — и для эффективного группового управления памятью через autorelease pools. Это ключевой механизм, который исторически позволял упростить управление памятью в Objective-C, а в современном ARC продолжает работать неявно, обеспечивая обратную совместимость и оптимизацию.