Честно говоря, ваш вопрос и ваш псевдокод не имеют особого смысла. В ARC, ивар будет сильной ссылкой на объект [по умолчанию], и, таким образом, назначения в / из этого ивара будут управляться так же, как и все другие объекты с поддержкой ARC. Если вы компилируете без ARC, это не так.
Вопрос о том, используете ли вы ivars или свойства для своего кода, является вопросом стиля и имеет мало общего с управлением памятью [в ARC - в MRR вам потребуется вручную управлять ссылками ivar].
Ваш пример инициализатора и ваш -dealloc неверны в вашем вопросе, но это может быть просто потому, что это были быстрые заметки, а не реальный код.
Если у вас были проблемы с управлением памятью в ARC, похоже, что-то пошло не так. Вы пробовали строить и анализировать? Вы уверены, что включили ARC для всех файлов?
(Обратите внимание, я уже давно использую ARC, и это, как правило, просто "работает"). Мне еще не приходилось сталкиваться с серьезными проблемами, за исключением пары ошибок компилятора и хрупкой границы между ними. Код NS и CF).