Как работает пул автозапуска NSAutoreleasePool?

Да, ваш второй фрагмент кода вполне допустим.

Каждый раз, когда -autorelease отправляется объекту, он добавляется в самый внутренний пул autorelease. Когда пул опорожняется, он просто отправляет -release всем объектам в пуле.

Пулы автозапуска - это просто удобство, которое позволяет вам отложить отправку -релиз до «позже». Это «позже» может произойти в нескольких местах, но чаще всего в приложениях с графическим интерфейсом пользователя Cocoa происходит конец текущего цикла цикла выполнения.

И да и нет. В конечном итоге вы бы освободили строковую память, но «просочили» объект NSAutoreleasePool в память, используя слив вместо выпуска, если бы вы запускали это в среде со сборкой мусора (не управляемой памятью). Эта «утечка» просто делает экземпляр NSAutoreleasePool «недоступным», как любой другой объект без сильных указателей в GC, и этот объект будет очищен при следующем запуске GC, что вполне может произойти сразу после вызова -drain:

drain

In a garbage collected environment, triggers garbage collection if memory allocated since last collection is greater than the current threshold; otherwise behaves as release. ... In a garbage-collected environment, this method ultimately calls objc_collect_if_needed.

В остальном это похоже на то, как -release ведет себя без GC, да. Как утверждали другие, -release не работает под GC, поэтому единственный способ убедиться, что пул работает правильно под GC, - через -drain, а -drain под не-GC работает точно так же, как -release под не-GC, и, возможно, передает свои функциональность более понятна.

Я должен указать, что ваше утверждение «все, что вызывается с помощью new, alloc или init» не должно включать «init» (но должно включать «copy»), потому что «init» не выделяет память, а только устанавливает объект (конструктор мода). Если вы получили объект alloc'd, а ваша функция вызывала только init как таковую, вы бы не выпустили ее:

- (void)func:(NSObject*)allocd_but_not_init
{
    [allocd_but_not_init init];
}

Это не потребляет больше памяти, чем вы уже начали (при условии, что init не создает экземпляры объектов, но вы в любом случае не несете ответственности за них).

Нет, ты ошибаешься. В документации четко указано, что под без GC, -drain эквивалентен -release, что означает, что NSAutoreleasePool приведет к утечке нет.

NSAutoreleasePool: слив против выпуска

Поскольку функции drain и release, кажется, вызывают путаницу, возможно, стоит уточнить здесь (хотя это описано в документация ...).

Строго говоря, с точки зрения общей картины drain является нет эквивалентом release:

В среде с подсчетом ссылок drain выполняет те же операции, что и release, поэтому они в этом смысле эквивалентны. Чтобы подчеркнуть, это означает, что вы делаете утечку пула нет, если вы используете drain, а не release.

В среде со сборкой мусора release не работает. Таким образом, это не имеет никакого эффекта. drain, с другой стороны, содержит подсказку сборщику, что он должен «собирать при необходимости». Таким образом, в среде со сборкой мусора использование drain помогает сбалансировать очистку системы.

Как уже отмечалось, ваш второй фрагмент кода верен.

Я хотел бы предложить более лаконичный способ использования пула автозапуска, который работает во всех средах (подсчет ссылок, GC, ARC), а также позволяет избежать путаницы слива / выпуска:

int main(void) {
  @autoreleasepool {
    NSString *string;
    string = [[[NSString alloc] init] autorelease];
    /* use the string */
  }
}

В приведенном выше примере обратите внимание на блок @autoreleasepool. Это задокументировано здесь.

Что я прочитал от Apple: «В конце блока пула автозапуска объектам, которые получили сообщение автозапуска в блоке, отправляется сообщение освобождения - объект получает сообщение освобождения каждый раз, когда он отправлял сообщение автозапуска в блоке».

https://developer.apple.com/library/mac/documentation/cocoa/conceptual/MemoryMgmt/Articles/mmAutoreleasePools.html

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