for (int i=0; i<sz; ++i)
alloc.destroy(&elem[i]); // освобождаем память
swap< vector_base<T,A> >(*this,b); // меняем представления
// местами
}
При выходе из функции
reserve()
старая память автоматически освобождается деструктором класса
vector_base
, даже если выход был вызван операцией копирования, сгенерировавшей исключение. Функция
swap()
является стандартным библиотечным алгоритмом (из заголовка
<algorithm>
), меняющим два объекта местами. Мы использовали алгоритм
swap<vector_base<T,A>>(*this,b)
, а не более простую функцию
swap(*this,b)
, поскольку объекты
*this
и
b
имеют разные типы (
vector
и
vector_base
соответственно), поэтому должны явно указать, какую специализацию алгоритма
swap
следует выполнить.
ПОПРОБУЙТЕ
Модифицируйте функцию
reserve
, чтобы она использовала класс
auto_ptr
. Помните о необходимости освободить память перед возвратом из функции. Сравните это решение с классом
vector_base
. Выясните, какое из них лучше и какое легче реализовать.
Задание
1. Определите класс
template<class T> struct S { T val; };
.
2. Добавьте конструктор, чтобы можно было инициализировать его типом
T
.
3. Определите переменные типов
S<int>
,
S<char>
,
S<double>
,
S<string>
и
S<vector<int>>
; инициализируйте их значениями по своему выбору.
4. Прочитайте эти значения и выведите их на экран.
5. Добавьте шаблонную функцию
get()
, возвращающую ссылку на значение
val
.
6. Разместите функцию
get()
за пределами класса.
7. Разместите значение
val
в закрытом разделе.
8. Выполните п. 4, используя функцию
get()
.
9. Добавьте шаблонную функцию
set()
, чтобы можно было изменить значение val.
10. Замените функции
get()
и
set()
оператором
operator[] ()
.
11. Напишите константную и неконстантную версии оператора
operator[] ()
.
12. Определите функцию
template<class T> read_val(T& v)
, выполняющую ввод данных из потока
cin
в переменную
v
.
13. Используйте функцию
read_val()
, чтобы считать данные в каждую из переменных, перечисленных в п. 3, за исключением переменной
S<vector<int>>
.
14. Бонус: определите класс
template<class T> istream& operator<<(istream&, vector<T>&)
так, чтобы функция
read_val()
также обрабатывала переменную
S<vector<int>>
. Не забудьте выполнить тестирование после каждого этапа.
Контрольные вопросы
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<T> vt
и
vector<U> vu
и возвращающую сумму всех выражений
vt[i]*vu[i]
.
3. Напишите шаблонный класс
Pair
, содержащий пары значений любого типа. Используйте его для реализации простой таблицы символов, такой как в калькуляторе (см. раздел 7.8).
4. Превратите класс
Link
из раздела 17.9.3 в шаблонный. Затем выполните заново упр. 13 из главы 17 на основе класса
Link<God>
.
5. Определите класс
Int
, содержащий единственный член типа
int
. Определите конструкторы, оператор присваивания и операторы
+
,
–
,
*
и
/
. Протестируйте этот класс и при необходимости уточните его структуру (например, определите операторы
<<
и
>>
для обычного ввода-вывода).
