Всегда, когда используется термин RAII, люди фактически говорят о деконструкции, а не об инициализации. Я думаю, что у меня есть базовое понимание того, что это может означать, но я не совсем уверен. Кроме того: является ли C ++ единственным языком RAII? А как насчет Java или C # /. NET?
Ответы:
Resource Acquisition Is Initialization означает, что объекты должны заботиться о себе как о целостном пакете и не ожидать, что другой код сообщит экземпляру «эй, кстати, ты скоро будешь вычищен - пожалуйста, приберись сейчас». Обычно это означает, что в деструкторе есть что-то значимое. Это также означает, что вы пишете класс специально для управления ресурсами, зная, что при определенных трудно предсказуемых обстоятельствах, таких как генерируемые исключения, вы можете рассчитывать на выполнение деструкторов.
Скажем, вы хотите написать некоторый код, в котором вы собираетесь изменить курсор Windows на курсор ожидания (песочные часы, пончик-неработающий и т. Д.), Выполнить свои действия и затем изменить его обратно. И скажите также, что «делай свое дело» может вызвать исключение. RAII способ сделать это - создать класс, ctor которого устанавливает курсор на ожидание, чей единственный «реальный» метод сделал то, что вы хотели, и чей dtor вернул курсор назад. Ресурсы (в данном случае состояние курсора) привязаны к области видимости объекта. Когда вы приобретаете ресурс, вы инициализируете объект. Вы можете рассчитывать на уничтожение объекта при возникновении исключений, а это значит, что вы можете рассчитывать на очистку ресурса.
Использование RAII хорошо означает, что вам не нужно finally. Конечно, он основан на детерминированном разрушении, которого вы не можете иметь в Java. Вы можете получить своего рода детерминированное разрушение в C # и VB.NET using.
Частично RAII решает, когда объект становится ответственным за свою собственную очистку - правило состоит в том, что объект становится ответственным, если и когда инициализация его конструктора завершится. Симметрия инициализации и очистки, конструктор и деструктор, означает, что они тесно связаны друг с другом.
Одним из пунктов RAII является обеспечение безопасности исключений - чтобы приложение оставалось самосогласованным при возникновении исключений. На первый взгляд это тривиально - когда исключение вызывает выход из области действия, локальные переменные в этой области действия должны быть уничтожены.
Но что произойдет, если исключение происходит в конструкторе?
Ну, объект не был полностью построен, поэтому не может быть безопасно разрушен. Конструктор должен иметь блоки по мере необходимости, чтобы гарантировать, что все необходимые очистки будут выполнены до того, как исключение распространится. Как только исключение распространится за пределы области, в которой был создан объект, не будет вызова деструктора, поскольку объект не был создан в первую очередь.
Рассмотрим, в частности, конструкторы для данных членов внутри разрушаемого объекта. Если один из них выдает исключение, код вашего основного конструктора не будет работать вообще, но будет иметь некоторый код, который образует неявную часть этого конструктора. Все члены, которые были успешно построены, будут автоматически уничтожены. Любые члены, которые не были созданы (в том числе тот, который вызвал исключение), не являются.
Таким образом, в основном RAII - это политика, которая гарантирует, что все, что будет полностью построено, будет уничтожено своевременно, особенно при наличии исключений, и что любой объект либо будет полностью построен, либо нет (не существует половины построенные объекты, которые вы не можете знать, как безопасно убирать). Выделенные ресурсы также освобождаются. И большая часть работы автоматизирована, поэтому программисту не нужно слишком беспокоиться об этом.