С.Б. Липпман, Ж. Лажойе - Язык программирования С++ Вводный курс (1114944), страница 66
Текст из файла (страница 66)
Они говорят компилятору, что указательадресует массив, а не единичный элемент. Поскольку тип str1 – указатель на char, безэтих скобок компилятор не поймет, что удалять следует целый массив.Отсутствие скобок не является синтаксической ошибкой, но правильность выполненияпрограммы не гарантируется (это особенно справедливо для массивов, которые содержатобъекты классов, имеющих деструкторы, как это будет показано в разделе 14.4).Чтобы избежать проблем, связанных с управлением динамически выделяемой памятьюдля массивов, рекомендуется пользоваться контейнерными типами из стандартнойбиблиотеки, такими, как vector, list или string. Они управляют памятьюавтоматически. (Тип string был представлен в разделе 3.4, тип vector – в разделе 3.10.Подробное описание контейнерных типов см.
в главе 6.)395С++ для начинающих8.4.4. Динамическое создание и уничтожение константныхобъектовПрограммист способен создать объект в хипе и запретить изменение его значения послеинициализации. Этого можно достичь, объявляя объект константным. Для этогоприменяется следующая форма оператора new:const int *pci = new const int(1024);Константный динамический объект имеет несколько особенностей. Во-первых, он долженбыть инициализирован, иначе компилятор сигнализирует об ошибке (кроме случая, когдаобъект принадлежит к типу класса, имеющего конструктор по умолчанию; в такойситуации инициализатор можно опустить).Во-вторых, указатель, возвращаемый выражением new, должен адресовать константу. Впредыдущем примере pci служит указателем на const int.Константность динамически созданного объектаподразумевает, что значение,полученное при инициализации, в дальнейшем не может быть изменено. Но посколькуобъект динамический, временем его жизни управляет оператор delete.
Например:delete pci;Хотя операнд оператора delete имеет тип указателя на const int, эта инструкцияявляется корректной и освобождает область памяти, на которую ссылается pci.Невозможно создать динамический массив константных элементов встроенного типапотому, что, как мы отмечали выше, элементы такого массива нельзяпроинициализировать в операторе new. Следующая инструкция приводит к ошибкекомпиляции:const int *pci = new const int[100]; // ошибка8.4.5. Оператор размещения new АСуществует третья форма оператора new, которая создает объект без отведения для негопамяти, то есть в памяти, которая уже была выделена. Эту форму называют операторомразмещения new. Программист указывает адрес области памяти, в которой размещаетсяобъект:new (place_address) type-specifierplace_address должен быть указателем.
Такая форма (она включается заголовочнымфайлом <new>) позволяет программисту предварительно выделить большую областьпамяти, которая впоследствии будет содержать различные объекты. Например:396С++ для начинающих#include <iostream>#include <new>const int chunk = 16;class Foo {public:int val() { return _val; }FooQ(){ _val = 0; }private:int _val;};// выделяем память, но не создаем объектов Foochar *buf = new char[ sizeof(Foo) * chunk ];int main() {// создаем объект Foo в bufFoo *pb = new (buf) Foo;// проверим, что объект помещен в bufif ( pb.val() == 0 )cout << "Оператор new сработал!" << endl;// здесь нельзя использовать pbdelete[] buf;return 0;}Результат работы программы:Оператор new сработал!Для оператора размещения new нет парного оператора delete: он не нужен, посколькуэта форма не выделяет память.
В предыдущем примере необходимо освободить память,адресуемую указателем buf, а не pb. Это происходит в конце программы, когда буфербольше не нужен. Поскольку buf ссылается на символьный массив, оператор deleteимеет формуdelete[] buf;При уничтожении buf прекращают существование все объекты, созданные в нем. Внашем примере pb больше не ссылается на существующий объект класса Foo.Упражнение 8.5(a) const float *pf = new const float[100];(b) double *pd = new doub1e[10] [getDim()];(c) int (*pia2)[ 1024 ] = new int[ ][ 1024 ];Объясните, почему приведенные операторы new ошибочны:(d) const int *pci = new const int;Упражнение 8.6Как бы вы уничтожили pa?397С++ для начинающих398typedef int arr[10];int *pa = new arr;Упражнение 8.7Какие из следующих операторов delete содержат потенциальные ошибки времениint globalObj;char buf[1000];void f() {int *pi = &global0bj;double *pd = 0;float *pf = new float(O);int *pa = new(buf)int[20];delete pi;delete pd;delete pf;de1ete[] pa;////////(a)(b)(c)(d)выполнения и почему:}Упражнение 8.8Какие из данных объявлений auto_ptr неверны или грозят ошибками времениint ix = 1024;int *pi = & ix;int *pi2 = new int ( 2048 );(a)(b)(c)(d)(e)(f)(9)auto_ptr<int>auto_ptr<int>auto_ptr<int>auto_ptr<int>auto_ptr<int>auto_ptr<int>auto_ptr<int>p0(ix);pl(pi);p2(pi2);p3(&ix);p4(new int(2048));p5(p2.get());p6(p2.release());выполнения? Объясните каждый случай.(h) auto_ptr<int> p7(p2);Упражнение 8.9int *pi0 = p2.get();Объясните разницу между следующими инструкциями:int *pi1 = p2.release() ;Для каких случаев более приемлем тот или иной вызов?Упражнение 8.10С++ для начинающих399Пусть мы имеем:auto_ptr< string > ps( new string( "Daniel" ));В чем разница между этими двумя вызовами assign()?Какой их них предпочтительнееps.get()->assign( "Danny" );и почему?ps->assign( "Danny" );8.5.
Определения пространства имен АПо умолчанию любой объект, функция, тип или шаблон, объявленный в глобальнойобласти видимости, также называемой областью видимости глобального пространстваимен, вводит глобальную сущность. Каждая такая сущность обязана иметь уникальноеимя. Например, функция и объект не могут быть одноименными, даже если ониобъявлены в разных исходных файлах.Таким образом, используя в своей программе некоторую библиотеку, мы должны бытьуверены, что имена глобальных сущностей нашей программы не совпадают с именами избиблиотеки. Это нелегко, если мы работаем с библиотеками разных производителей, гдеопределено много глобальных имен.
Собирая программу с такими библиотеками, нельзягарантировать, что имена глобальных сущностей не будут вступать в конфликт.Обойти эту проблему, названную проблемой засорения области видимости глобальногопространства имен, можно посредством очень длинных имен. Часто в качестве ихclass cplusplus_primer_matrix { ... };префикса употребляется определенная последовательность символов. Например:void inverse( cplusplus_primer_matrix & );Однако у этого решения есть недостаток. Программа, написанная на С++, можетсодержать множество глобальных классов, функций и шаблонов, видимых в любой точкекода. Работать со слишком длинными идентификаторами для программистовутомительно.Пространства имен помогают справиться с проблемой засорения более удобнымспособом.
Автор библиотеки может задать собственное пространство и таким образомnamespace cplusplus_primer {class matrix { /*...*/ };void inverse ( matrix & );вынести используемые в библиотеке имена из глобальной области видимости:}С++ для начинающихcplusplus_primer является пользовательским пространством имен (в отличие отглобального пространства, которое неявно подразумевается и существует в любойпрограмме).Каждое такое пространство представляет собой отдельную область видимости. Ономожет содержать вложенные определения пространств имен, а также объявления илиопределения функций, объектов, шаблонов и типов. Все сущности, объявленные внутринекоторого пространства имен, называются его членами. Каждое имя в пользовательскомпространстве, как и в глобальном, должно быть уникальным в пределах этогопространства.Однако в разных пользовательских пространствах могут встречаться члены содинаковыми именами.Имя члена пространства имен автоматически дополняется, или квалифицируется, именемэтого пространства.
Например, имя класса matrix, объявленное в пространствеcplusplus_primer, становится cplusplus_primer::matrix, а имя функции inverse()превращается в cplusplus_primer::inverse().Члены cplusplus_primer могут использоваться в программе с помощью спецификацииvoid func( cplusplus_primer::matrix &m ){// ...cplusplus_primer::inverse(m);return m;имени:}Если в другом пользовательском пространстве имен (скажем, DisneyFeatureAnimation)также существует класс matrix и функция inverse() и мы хотим использовать этоткласс вместо объявленного в пространстве cplusplus_primer, то функцию func()void func( DisneyFeatureAnimation::matrix &m ){// ...DisneyFeatureAnimation::inverse(m);return m;нужно модифицировать следующим образом:}Конечно, каждый раз указывать специфицированные имена типаnamespace_name::member_nameнеудобно.