С другой стороны, вы можете явно задать типы аргументов (а следовательно, и возвращаемого значения):

1 = std::max<long>C1.l): ОК

Перестановка двух значений

Функция swapO меняет местами значения двух объектов. Общая реализация swap() определяется в заголовочном файле <algorithm> следующим образом:

namespace std {

tempiate<class T>

inline void swapCT& a. TS b) {

T tnip{a);

a = b:

b = tmp;

Таким образом, чтобы поменять значения двух произвольных переменных х и у, можно носпользоваться вызовом

std:;swapCx,y):

Разумеется, этот вызов работает только в том случае, если в функции swap() возможно конструирование копий и присваивание.

Большим преимуществом 5wap() является то, что программист может определить специальную реализацию для более сложных типов посредством специализации шаблона или перегрузки функции. Специальные реализации экономят время, используя внутреннюю перестановку членов классов вместо присваивания объектов. В частности, такая возможность реализована во всех стандартных контейнерах (см. с. 153) и строках (см. с. 472). Например, реализация 5wap() для простого контейнера, содержащего только массив и количество элементов, выглядит примерно так:

class MyContainer { private:

int* elems: Динамический массив элементов int numElems; Количество эленентов publi с:

Реализация swapC)

void swapCMyContainer& x) {

std: :swap{elenis.x.elems);

std::swap(numElems.x.numElems):

Перегрузка глобальной версии swapO для данного типа

inline void swap CMyContainer& cl. MyContainerS c2) {

cl.swap(c2): Вызов специальной реализации swapO

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

Вспомогательные операторы сравнения

Четыре шаблонные функции определяют операторы сравнения !=, >, <= и > = вызовом операторов == и <. Определения этих функций в заголовочном файле <utility> выглядят так:

namespace std (

namespace rel ops { template <class T>

inline bool operator != (const TS x. const T& y) { return !Cx -= y):

template <class T>

inline bool operator> (const T& x. const T& y) { return у < x:

template <c\ass T>

inline bool operator<= (const T& x. const T& y) { return !Cy < x):

template <class T>

inline bool operator>= (const T& x. const T& y) { return !(x < y):

Чтобы использовать эти функции, достаточно определить операторы < и ==. При включении пространства имен std::reLops другие операторы сравнения определяются автоматически. Пример:

#include <utility> class X {

Вспомогательные операторы сравнения 83

public:

bool operator== (const X& x) const; bool operator< (const Х& x) const;

void fooО {

using namespace std::rel ops: Получение доступа к !=. > и т. д X х1. х2;

if (х1 != х2) { )

if (х1 > х2) { )

Обратите внимание: операторы определяются в подпространстве имен std с именем reLops. Они выделены в отдельное пространство имен для того, чтобы определение пользовательских операторов в глобальном пространстве имен не приводило к конфликтам даже при предоставлении глобального доступа ко всем идентификаторам пространства имен std директивой using:

using namespace std; Операторы не переходят

в глобальную область видимости

С другой стороны, программисту, желающему получить прямой доступ к операторам, достаточно выполнить следующую директиву и не полагаться на механизм поиска:

using namespace std::rel ops; Операторы находятся в глобальной

области видимости.

В некоторых реализациях шаблоны операторов определяются с двумя разными типами аргументов:

namespace std (

template <class Tl. class T2> inline bool operator!=(const T1& x. const T2& y) { return !(x -= y):