Объединение (union) — это класс, в котором все члены расположены в одной и той же области памяти. В каждый момент времени объединение может содержать только один элемент, причем считывается только тот элемент объединения, который был записан последним. Рассмотрим пример.
union U {
int x;
double d;
}
U a;
a.x = 7;
int x1 = a.x; // OK
a.d = 7.7;
int x2 = a.x; //
Ой!
Правила согласованного чтения и записи членов объединения компилятором не проверяются. Мы вас предупредили.
A.13. Шаблоны
Шаблон (template) — это класс или функция, параметризованные набором типов и/или целыми числами.
template<class T>
class vector {
public:
// ...
int size const;
private:
int sz;
T* p;
};
template<class T>
int vector<T>::size const
{
return sz;
}
В списке шаблонных аргументов ключевое слово
class
означает тип; его эквивалентной альтернативой является ключевое слово
typename
. Функция-член шаблонного класса по умолчанию является шаблонной функцией с тем же списком шаблонных аргументов, что и у класса.
Целочисленные шаблонные аргументы должны быть константными выражениями.
Аргументы шаблонного класса указываются каждый раз, когда используется его имя.
vector<int> v1; // OK
vector v2; // ошибка: пропущен шаблонный аргумент
vector<int,2> v3; // ошибка: слишком много шаблонных аргументов
vector<2> v4; // ошибка: ожидается тип шаблонного аргумента
Аргументы шаблонной функции обычно выводятся из ее аргументов.
template<class T>
T find(vector<T>& v, int i)
{
return v[i];
}
vector<int> v1;
vector<double> v2;
// ...
int x1 = find(v1,2); //
здесь тип T — это int
int x2 = find(v2,2); // здесь тип T — это double
Можно объявить шаблонную функцию, для которой невозможно вывести ее шаблонные аргументы. В этом случае мы должны конкретизировать шаблонные аргументы явно (точно так же, как для шаблонных классов). Рассмотрим пример.
template<class T, class U> T* make(const U& u) { return new T(u); }
int* pi = make<int>(2);
Node* pn = make<Node>(make_pair("hello",17));
Этот код работает, только если объект класса
Node
можно инициализировать объектом класса
pair<const char*,int>
(раздел Б.6.3). Из механизма явной конкретизации шаблонной функции можно исключать только замыкающие шаблонные аргументы (которые будут выведены).
A.13.2. Конкретизация шаблонов
Вариант шаблона для конкретного набора шаблонных аргументов называется специализацией (specialization). Процесс генерации специализаций на основе шаблона и набора аргументов называется конкретизацией шаблона (template instantiation). Как правило, эту задачу решает компилятор, но программист также может самостоятельно определить отдельную специализацию. Обычно это делается, когда общий шаблон для конкретного набора аргументов неприемлем. Рассмотрим пример.
template<class T> struct Compare { // общее сравнение