Этот раздел содержит некоторые основные шаблонные функции и классы, которые используются в остальной части библиотеки.
Операторы (Operators) Чтобы избежать избыточных определений operator!= из operator== и operator>, <=, >= из operator<, библиотека обеспечивает следующее: template <class Tl, class T2> inline bool operator!=(const T1& x, const T2& y) { return !(x == y); }
template <class Tl, class T2> inline bool operator>(const T1& x, const T2& y) { return y < x; }
template <class Tl, class T2> inline bool operator<=(const T1& x, const T2& y) { return !(y < x); }
template <class Tl, class T2> inline bool operator>=(const T1& x, const T2& y) { return !(x < y); }
Пара (Pair) Библиотека включает шаблоны для разнородных пар значений. template <class T1, class T2> struct pair { T1 first; T2 second; pair() {} pair(const T1& x, const T2& y) : first(x), second(y) {} };
template <class T1, class T2> inline bool operator==(const pair<Tl,T2>& x, const pair<Tl,T2>& y) { return x.first == y.first && x.second == y.second; }
template <class T1, class T2> inline bool operator<(const pair<Tl,T2>& x, const pair<Tl,T2>& y) { return x.first < y.first || (!(y.first < x.first) && x.second < y.second); }
Библиотека обеспечивает соответствующую шаблонную функцию make_pair, чтобы упростить конструкцию пар. Вместо выражения, например: return pair<int, double>(5, 3.1415926); // явные типы,
можно написать return make_pair(5, 3.1415926); // типы выводятся.
template <class Tl, class T2> inline pair<Tl,T2> make_pair(const T1& x, const T2& y) { return pair<Tl,T2>(x, y);
|