Б. Страуструп - Язык программирования С++. Специальное издание, 3-изд. Бином. 2004 (1160791), страница 58
Текст из файла (страница 58)
Гарантпруется, что этот механизм правильно работает, только если выполняется таьл (). Поэтому следует избегать нелокальных переменных, треоуюшнх инициализации во время выполнения, в коде на С« — '-, если этот код является фрагментом программы, написанной не на С»ж. Обратите внимание, что переменные, инициализированные константными выраженияьш Я В.5), не могут зависеть от значений объектов из другь~ х единиц трансляции н не требук>т инициализации во время выполнения.
Поэтому такие переменные безопасно использовать во всех с.лучаях. 9.4.1.1. Завершение выполнения программы Программа может завершить свое выполнение несколькими способами.' ° выйдя пз тат ()., ° вызвав ех11(); вызвав абог1 (); сгенерировав неперсхватываемое исключешье. Кремс того, существует несколько плохих и зависящих от реализации методов дове- дения до краха. Если завершение программы осуществляется вызовом стандартной библиотеч- ной функции ех11 (), то при этом вызываются деструкторы для всех созданных стати- ческих объектов Ц 10.4.9, 9 10.2А). Если же завершение программы осуществляется вызовом стандартной библиотечной функции абог1 (), деструкторы не вызываются.
Обратите внимание, что вызов ех11 () не завершает выполнение немедленно. Вызов ех11 () из деструктора ьиожет привести к бесконечной рекурсии. Функция ех11 () объяв- лена следующим образом: ооиу ехи (1л1), Так же как возвращаемое значение таьл () 19 3.2), аргумеьп ех11 () возвращается в «си- стему» в качестве результата програььл~ы.
Ноль означает успешное завершение. Глава 9.Исходные файлы и программы Вызов ех!1 () означает, что нс будут вызваны деструкторы локальных переменных в вызывающей функции и в функциях, вызвавших ее. Генерация исключения с последующим его перехватом гарантирует, что все локальные объекты будут корректно уничтожены Я 14,4.7). Кроме того, вызов вх!1() завершает выполнение программы, нс позволяя вызвавшей функции выполнить какие-либо действия.
Поэтому, как правило, лучше прекратить выполнение текущей функции, сггнерировав исключение, что позволцт обработчику решить, что делать в этой ситуации. Функция стандартной библиотеки С и С++ а1вх!1() предоставляет возможность выполниться некоторому коду при завершенпц программы. Например: пои!ту с!вапир(); оои1 вотвгвбвгв [) ( Яа1вх11 (йту с!ввпир) == О) ( О ту г1вппир бддвт вызвана при норлилвнол зоввртвнои в!вв ( о' пробыла: слшикол иного г7зунт!пйигспг Это напомпнагт автоматический вызов деструкторов для глобальных переменных при завершении программы (9 10.4.9, 9 10.2А).
Обратите внимание, что у функцшларгумента а1ех11() не может быть ни аргументов, ни возвращаемого значения. Кроме того, в зависимости от реализации существует предельное количество функций а1вх!! (); при достижении предела а1ех!1() возвращает ненулевое значение. Эти ограничения делают а1вх!1() менее полезной, чем может показаться с первого взгляда. Деструктор объекта со статическим вылслением памяти (глобально: 8 10А9, функции типа в1а1!с: 9 7.1.2 или класса типа в1а1!с: 8 10.2А) и созданного до вызова а1вх!1[!), будет вызван после вызова Г Деструктор аналогичного объекта, созданного после вызова а1вх!! [Г), будет вызван ло вызова 1: Функции ех11 [), абог! () и а1вх!! [) объявлены в <сзгг1!Йж 9.5.
Советы [1( Пользуйтесь заголовочными файлами для представления интерфейсов и явного выражения логической структуры; й 9.1, ч 9.3.2. [2[ Включайтс заголовочные файлы в исходные файлы, реализующие указанные функции; 9 9.3.1. [3( 1-!е определяйте глобальные сущности с одинаковыми именами и со схожим, но различным смыслом в различных единицах трансляции; 9 9.2. [4] Избегайте определений нсвстроснных функций в заголовочных файлах; 9 9.2.1.
[5) Используйте 11!пс!иг!в только в глобальной области видимости и в пространствах имен; 9 9.2.1. [б( Включайте только полные объявления; 9 9.2,1. [7) Пользуйтесь стражами включения; 9 9.3.3. [8( Включайте заголовочные файлы С в пространства имен во избежание появления глобальных имен; з 8.2.9.1, з 9.2.2. 265 9.6. Упражнения ]9] Создавайте самодостаточные заголовочные файлы; 6 9,23. ]10] Проводите различие между интерфейсами для пользователей и для разработчиков; ~ 9.3.2. ]11] Проводите различие между интерфейсами для обычных пользователей и для экспертов; 6 9.3.2. [12] Избегайте наличия нелокальных объектов, требующих инициализации на этапе выполнения, если соответствующий код планируется использовать как часть программы, написанной не на С+»; 9 9.4.1. 9.6.
Упражнения 1. («2) Найдите, где находятся заголовочные файлы стандартной библиотеки в вашей системе. Просмотрите список их имен. Хранятся лн какие-нибудь нестандартные заголовочные файлы вместе со стандартными? Можно ли включить какие- либо нестандартные заголовочные файлы при помощи формы записи с <>? 2. (*2) Где находятся заголовочные файлы нестандартной «фундаментальной» («(оппдаыоп») библиотеки? 3. (*2.5) Напишите программу, которая читает исходные файлы и выводит имена включенных (1Ггпс1иг(е) файлов. Сделайте отступы, чтобы было видно, какие фа"- лы включают другие файлы.
Опробуйте эту программу на каких-нибудь исходных файлах (чтобы получить представление об объеме включаемой информации). 4. (*3) Модифпцируйте программу из предыдущего упражнения таким образом, чтобы она выводила количество строк-когагвентариев, количество строк, не содерзкаших комментарии, и количество слов в каждом включаемом файле. 5. (*2.5) Внешним стражем включения называют конструкцию, которая проверяется за пределами охраняемого ей файла и включает файл только один раз прн компиляции. Определите такую конструкцию, разработайтс способ сс тестирования и обсудите ее преимущества и недостатки по сравнению со стражем включения, описанным в 9 9.3.3. Гсть ли в вашей системе значительные препмугцества на этапе выполнения от внешнего стража? 6.
('3) За счет чего достигается динамическая компоновка в вашей системе? Какие ограничения накладываются на динамически компонуемый код? Какие требования предъявляются к коду, с которым будет производиться динамическая компоновка? 7. (*3) Откройтс и прочитайте 100 файлов, каждый из которых содержит по 1500 символов. Откройте н прочитайтс один файл, содержащий 150 000 символов. Подсказка: см. пример в 9 21.5.1. Есть разница в производительности? Какое максимальное количество файлов можно одновременно открыть в вашей системе? Рассмотрите эту проблему в плане использования включаемых файлов.
8. ('2) Модифицируйте калькулятор таким образом, чтобы его можно было вызвать пз тп?и ]] илн из другой функции путем простого вызова. 9. (*2) Нарисуйте диаграмму зависимости модулей ((1 9 3 2) для версии калькулятора, которая использовала еггог ]], а не исключения (9 8.2.2). ЧАСТЬ ВТОРАЯ ЕХАНИЗМЫ АБСТРАКЦИИ В этой части описываются средства С++ для определения и использования новых типов. Обсуждаются так называемое объектно-ориентированное и обобщенное программирование. — Николо Ммгнавсллн (~государь» йтп 10. Классы 11. Перегрузка операторов .....
309 12. Производные классы 13. Шаблоны 14. Обработка исключений 407 15. Иерархии классов «...нет дела, коего устройство было бы труднее, ведение опаснее, а успех сомнительнее, нежели замена старых порядков новыми. Кто бы ни выступал с подобным паиггнаниеьг, его ожидает враждебность тех, кому выгодны старые порядки, и холодность тех, кому выгодны новые...» Классы Эти типы совсем не»абстрактные», они нистолько леер»альпы, квк!п1 и Лоай — Дуг МакИлрой Концепции и классы — члены класса — управление доступом — конструкторы— статические члены — копирование по умолчаншо — константные функцпичлены -- (Й(в — структуры — определение функции в классе — конкретные классы — функции-члены н функции-помощники — перегруженные операторы— использование конкретных классов -- деструкторы — конструкторы по умолчанию — локальные переменные — копирование, определяемое пользователем — аещ и Ие(е1е — объекты-члены — массивы.
— статическая память — временные переменныс — объединения — советы — упражнения. 10.1. Введение Белью введения концепции классов в С ° является предоставление программисту средств создания новых типов, которые настолько же удобны в использовании, как и встроенные. Кроме того, производные классы (глава 12) и шаблоны (глава 13) представляют способы организации классов, имеющих между собой нечто общее. Тип является конкретным представлением некоторой ко нцси цип. Например, встроенный тип С-'-'Яоп1 вместе с операциями +, —, * и т.