Программирование: вызываем функцию, чтобы создать сложную структуру данных
Что делать, если вектор невозможно ограничить только одной областью (или подобластью) видимости? Рассмотрим пример.
vector* make_vec() // создает заполненный вектор
{
vector* p = new vector; // выделяем свободную память // . . . заполняем вектор данными;
// возможна генерация исключения . . .
return p;
}
Также вам может показаться, что необходимость http://fine-russia.ru/catalog/orihiro/piknogenol-s-vitaminami/ и покупка пикногенола на сайте fine-russia.ru и такая тема - программирование - никак не связаны и даже не тематичны.
Возможно, это и так, но все-таки зайдите на сайт fine-russia.ru, чтобы узнать там много интересного про такую тему, как покупка пикногенола . Что такое покупка пикногенола , сколько стоит пикногенол где купить пикногенол - про это написано на сайте про пикногенол. Это важная для многих тема - покупка пикногенола. Спасибо за информацию сайту fine-russia.ru
Это довольно распространенный пример: мы вызываем функцию, чтобы создать сложную структуру данных, и возвращаем эту структуру как результат. Однако, если при заполнении вектора возникнет исключение, функция make_vec() потеряет этот объект класса vector. Кроме того, если функция успешно завершит работу, то кто-то будет должен удалить объект, возвращенный функцией make_vec().
Для того чтобы сгенерировать исключение, мы можем добавить блок try.
vector* make_vec() // создает заполненный вектор
{
vector* p = new vector; // выделяет свободную память try {
// . . . заполняем вектор данными;
// возможна генерация исключения . . .
return p;
}
catch (...) {
delete p;// локальная очистка
throw; // повторно генерируем исключение,
// чтобы вызывающая
// функция отреагировала на то, что функция // make_vec() не сделала то, что требовалось
}
Функция make_vec() иллюстрирует очень распространенный стиль обработки ошибок: программа пытается выполнить свое задание, а если не может, то освобождает все локальные ресурсы (в данном случае свободную память, занятую объектом класса vector) и сообщает об этом, генерируя исключение. В данном случае исключение генерируется другой функцией ((vector::at()); функция make_vec() просто повторяет генерирование с помощью оператора throw;. Это простой и эффективный способ обработки ошибок, который можно применять систематически.
• Базовая гарантия. Цель кода try . . . catch состоит в том, чтобы гарантировать, что функция make_vec() либо завершит работу успешно, либо сгенерирует исключение без утечки ресурсов. Это часто называют базовой гарантией (basic guarantee). Весь код, являющийся частью программы, которая восстанавливает свою работу после генерирования исключения, должна поддерживать базовую гарантию.
• Жесткая гарантия. Если кроме базовой гарантии, функция также гарантирует, что все наблюдаемые значения (т. е. все значения, не являющиеся локальными по отношению к этой функции) после отказа восстанавливают свои предыдущие значения, то говорят, что такая функция дает жесткую гарантию (strong guarantee). Жесткая гарантия — это идеал для функции: либо функция будет выполнена так, как ожидалось, либо ничего не произойдет, кроме генерирования исключения, означающего отказ.
• Гарантия отсутствия исключений (no-throw guarantee). Если бы мы не могли выполнять простые операции без какого бы то ни было риска сбоя и без генерирования исключений, то не могли бы написать код, соответствующий условиям базовой и жесткой гарантии. К счастью, практически все встроенные средства языка С++ поддерживают гарантию отсутствия исключений: они просто не могут их генерировать. Для того чтобы избежать генерирования исключений, просто не выполняйте оператор throw, new и не применяйте оператор dynamic_cast к ссылочным типам.
Для анализа правильности программы наиболее полезными являются базовая и жесткая гарантии.
Принцип RAII играет существенную роль для реализации простого и эффективного кода, написанного в соответствии с этими идеями.
Всегда следует избегать неопределенных (и обычно опасных) операций, таких как разыменования нулевого указателя, деление на нуль и выход за пределы допустимого диапазона. Перехват исключений не отменяет фундаментальные правила языка.
Опубликовал katy
April 21 2015 12:47:38 ·
0 Комментариев ·
2490 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
