Стенли Липпман - Язык программирования C++. Пятое издание

}

Все начинается с объявления функции swap(), дружественной, чтобы предоставить ей доступ к закрытым переменным-членам класса HasPtr. Поскольку функция swap()предназначена для оптимизации кода, определим ее как встраиваемую (см. раздел 6.5.2). Тело функции swap()вызывает функции swap()каждой из переменных-членов заданного объекта. В данном случае сначала обмениваются указатели, а затем целочисленные члены объектов, связанных с параметрами rhsи lhs.

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

Функции swap()должны вызвать функции swap(), а не std::swap()

В этом коде есть один важный нюанс: хотя в данном случае это не имеет значения, важно, чтобы функция swap()вызвала именно функцию swap(), а не std::swap(). В классе HasPtrпеременные-члены имеют встроенные типы. Для встроенных типов нет специализированных версий функции swap(). В данном случае она вызывает библиотечную функцию std::swap().

Но если класс имеет член, тип которого обладает собственной специализированной функцией swap(), то вызов функции std::swap()был бы ошибкой. Предположим, например, что есть другой класс по имени Foo, переменная-член hкоторого имеет тип HasPtr. Если не написать для класса Fooсобственную версию функции swap(), то будет использована ее библиотечная версия. Как уже упоминалось, библиотечная функция swap()осуществляет ненужное копирование строк, управляемых объектами класса HasPtr.

Ненужного копирования можно избежать, написав функцию swap()для класса Foo. Но версию функции swap()для класса Fooможно написать так:

void swap(Foo &lhs, Foo &rhs) {

// Ошибка: эта функция использует библиотечную версию

// функции swap(), а не версию класса HasPtr

std::swap(lhs.h, rhs.h); // обменять другие члены класса Foo

}

Этот код нормально компилируется и выполняется. Однако никакого различия в производительности между этим кодом и просто использующим стандартную версию функции swap()не будет. Проблема в том, что здесь явно запрошен вызов библиотечной версии функции swap(). Однако нужна версия функции не из пространства именstd, а определенная в классе HasPtr.

Правильный способ написания функции swap()приведен ниже.

void swap(Foo &lhs, Foo &rhs) {

using std::swap;

swap(lhs.h, rhs.h); // использует функцию swap() класса HasPtr

// обменять другие члены класса Foo

}

Все вызовы функции swap()обходятся без квалификаторов. Таким образом, каждый вызов должен выглядеть как swap(), а не std::swap(). По причинам, рассматриваемым в разделе 16.3, если есть специфическая для типа версия функции swap(), она будет лучшим соответствием, чем таковая из пространства имен std. В результате, если у типа есть специфическая версия функции swap(), вызов swap()будет распознан как относящийся к специфической версии. Если специфической для типа версии нет, то (с учетом объявления usingдля функции swap()в области видимости) при вызове swap()будет использована версия из пространства имен std.

У очень осторожных читателей может возникнуть вопрос: почему объявление usingфункции swap()не скрывает объявление функции swap()класса HasPtr (см. раздел 6.4.1). Причины, по которым работает этот код, объясняются в разделе 18.2.3.

Классы, определяющие функцию swap(), зачастую используют ее в определении собственного оператора присвоения. Эти операторы используют технологию, известную как копия и обмен (copy and swap)). Она подразумевает обмен левого операнда с копией правого:

// обратите внимание: параметр rhs передается по значению. Это значит,

// что конструктор копий класса HasPtr копирует строку в правый

// операнд rhs

HasPtr& HasPtr::operator=(HasPtr rhs) {

// обменивает содержимое левого операнда с локальной переменной rhs

swap(*this, rhs); // теперь rhs указывает на память, которую