Читаем Программирование полностью

  if (newalloc<=space) return;  // размер никогда не уменьшается

  vector_base b(alloc,newalloc);   // выделяем новую память

  for (int i=0; i

  alloc.construct(&b.elem[i], elem[i]); // копируем

  for (int i=0; i

    alloc.destroy(&elem[i]);            // освобождаем память

  swap< vector_base >(*this,b);    // меняем представления

                                        // местами

}

При выходе из функции reserve() старая память автоматически освобождается деструктором класса vector_base, даже если выход был вызван операцией копирования, сгенерировавшей исключение. Функция swap() является стандартным библиотечным алгоритмом (из заголовка ), меняющим два объекта местами. Мы использовали алгоритм swap>(*this,b), а не более простую функцию swap(*this,b), поскольку объекты *this и b имеют разные типы (vector и vector_base соответственно), поэтому должны явно указать, какую специализацию алгоритма swap следует выполнить. 

ПОПРОБУЙТЕ

Модифицируйте функцию reserve, чтобы она использовала класс auto_ptr. Помните о необходимости освободить память перед возвратом из функции. Сравните это решение с классом vector_base. Выясните, какое из них лучше и какое легче реализовать.

Задание

1. Определите класс template struct S { T val; };.

2. Добавьте конструктор, чтобы можно было инициализировать его типом T.

3. Определите переменные типов S, S, S, S и S>; инициализируйте их значениями по своему выбору.

4. Прочитайте эти значения и выведите их на экран.

5. Добавьте шаблонную функцию get(), возвращающую ссылку на значение val.

6. Разместите функцию get() за пределами класса.

7. Разместите значение val в закрытом разделе.

8. Выполните п. 4, используя функцию get().

9. Добавьте шаблонную функцию set(), чтобы можно было изменить значение val.

10. Замените функции get() и set() оператором operator[] ().

11. Напишите константную и неконстантную версии оператора operator[] ().

12. Определите функцию template read_val(T& v), выполняющую ввод данных из потока cin в переменную v.

13. Используйте функцию read_val(), чтобы считать данные в каждую из переменных, перечисленных в п. 3, за исключением переменной S>.

14. Бонус: определите класс template istream& operator<<(istream&, vector&) так, чтобы функция read_val() также обрабатывала переменную S>. Не забудьте выполнить тестирование после каждого этапа.

Контрольные вопросы

1. Зачем нужно изменять размер вектора?

2. Зачем нужны разные векторы с разными типами элементов?

3. Почему мы раз и навсегда не резервируем большой объем памяти для векторов?

4. Сколько зарезервированной памяти мы выделяем для нового вектора?

5. Зачем копировать элементы вектора в новую память?

6. Какие операции класса vector могут изменять размер вектора после его создания?

7. Чему равен объект класса vector после копирования?

8. Какие две операции определяют копию вектора?

9. Какой смысл имеет копирование объектов класса по умолчанию?

10. Что такое шаблон?

11. Назовите два самых полезных вида шаблонных аргументов?

12. Что такое обобщенное программирование?

13. Чем обобщенное программирование отличается от объектно-ориентированного программирования?

14. Чем класс array отличается от класса vector?

15. Чем класс array отличается от массива встроенного типа?

 16. Чем функция resize() отличается от функции reserve()?

17. Что такое ресурс? Дайте определение и приведите примеры.

18. Что такое утечка ресурсов?

19. Что такое принцип RAII? Какие проблемы он решает?

20. Для чего предназначен класс auto_ptr?

Термины

Упражнения

В каждом из упражнений создайте и проверьте (с выводом на печать) набор объектов определенных классов и продемонстрируйте, что ваш проект и реализация действительно работают так, как вы ожидали. Там где задействованы исключения, может потребоваться тщательное обдумывание мест, где могут появиться ошибки.

1. Напишите шаблонную функцию, складывающую векторы элементов любых типов, допускающих сложение.

2. Напишите шаблонную функцию, получающую в качестве аргументов объекты типов vector vt и vector vu и возвращающую сумму всех выражений vt[i]*vu[i].

3. Напишите шаблонный класс Pair, содержащий пары значений любого типа. Используйте его для реализации простой таблицы символов, такой как в калькуляторе (см. раздел 7.8).

4. Превратите класс Link из раздела 17.9.3 в шаблонный. Затем выполните заново упр. 13 из главы 17 на основе класса Link.