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

return ret; // возвратить сохраненное состояние

}

Поскольку тип возвращаемого значения присутствует вне области видимости класса, следует указать, что он возвращает экземпляр BlobPtr, созданный с тем же типом, что и класс. В теле функции код находится в пределах класса, поэтому не нужно повторять аргумент шаблона при определении ret. Когда аргументы шаблона не предоставлены, компилятор подразумевает, что используется тот же тип, что и при создании экземпляра функции-члена. Следовательно, определение retбудет эквивалентно следующему:

BlobPtr ret = *this;

В области видимости шаблона класса можно обращаться к шаблону, не определяя его аргументы.

Когда класс объявляет дружественные отношения (см. раздел 7.2.1), класс и его друг могут быть или не быть шаблонами. Шаблон класса, у которого есть друг, не являющийся шаблоном, предоставляет дружественный доступ ко всем экземплярам шаблона. Когда друг сам является шаблоном, предоставляющий дружественные отношения класс контролирует, распространяются ли они на все экземпляры шаблона или только на некий специфический экземпляр.

Наиболее распространенная форма дружественных отношений между шаблоном класса и другим шаблоном (класса или функции) подразумевает дружбу между соответствующими экземплярами класса и его друга. Например, класс Blobдолжен объявить дружественным класс BlobPtrи шаблонную версию оператора равенства класса Blob(первоначально определенную для класса StrBlobв упражнении раздела 14.3.1).

Чтобы обратиться к определенному экземпляру шаблона (класса или функции), следует сначала объявить сам шаблон. Объявление шаблона включает список параметров шаблона:

// для объявления дружественных отношений в шаблоне Blob нужны

// предварительные объявления

template class BlobPtr;

template class Blob; // необходимо для параметров operator==

template

bool operator==(const Blob&, const Blob&);

template class Blob {

// каждый экземпляр Blob предоставляет доступ к версии BlobPtr и

// оператору равенства экземпляра, созданного с тем же типом

friend class BlobPtr;

friend bool operator==

(const Blob&, const Blob&);

// другие члены, как в разделе 12.1.1

};

Начнем с объявления Blob, BlobPtrи operator==шаблонами. Эти объявления необходимы для объявления параметра в функции operator==и дружественных объявлений в шаблоне Blob.

Объявления дружественными используют параметр шаблона Blobкак собственный аргумент шаблона. Таким образом, дружба ограничивается этими экземплярами шаблона BlobPtrи оператора равенства, которые создаются с тем же типом:

Blob ca; // BlobPtr и operator== друзья

Blob ia; // BlobPtr и operator== друзья

Члены класса BlobPtrмогут обращаться к не открытым членам объекта ca(или любого другого объекта класса Blob), но объект caне имеет никаких специальных прав доступа к объекту ia(или любому другому объекту класса Blob) или любому другому экземпляру класса Blob.

Класс может также сделать дружественным каждый экземпляр шаблона или ограничить дружбу специфическим экземпляром:

// предварительное объявление необходимо для объявления дружественных

// отношений со специфическим экземпляром шаблона

template class Pal;

class С { // С - обычный, не шаблонный класс

friend class Pal; // экземпляр Pal создается с классом С как

// дружественным

// все экземпляры Раl2 дружественны С;

// при предоставлении дружественных отношений всем экземплярам

// предварительное объявление не обязательно

template friend class Раl2;

};

template class C2 { // C2 - сам шаблон класса

// у каждого экземпляра C2 есть тот же экземпляр Pal, что и у друга

friend class Pal; // объявление шаблона для Pal должно быть в

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

// все экземпляры Раl2 - друзья каждого экземпляра C2; необходимо

// предварительное объявление

template friend class Раl2;

// Pal3 - не шаблонный класс, являющийся другом каждого экземпляра C2

friend class Раl3; // предварительное объявление для Раl3

// не обязательно

};

Чтобы позволить создавать все экземпляры как дружественные, объявление дружественных отношений должно использовать параметры шаблона, которые отличаются от используемых самим классом.

Объявление параметра типа шаблона дружественным

По новому стандарту параметр типа шаблона можно сделать дружественным:

template class Bar {

friend Type; // предоставить доступ к типу, используемому для создания

// экземпляра Bar

// ...

};

Здесь указано, что, независимо от используемого для создания экземпляра типа, класс Barбудет дружественным. Таким образом, для некоего типа под названием Fooон был бы другом для Bar, а тип Sales_data— другом для Barи т.д.

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

Экземпляр шаблона класса определяет тип класса, и, подобно любому другому типу класса, для экземпляра класса можно определить псевдоним при помощи ключевого слова typedef(см. раздел 2.5.1):

typedef Blob StrBlob;

Это определение типа позволит выполнить код, написанный в разделе 12.1.1, используя текущую версию шаблона Blob, экземпляр которого создан для типа string. Поскольку шаблон не тип, ключевое слово typedefк шаблону неприменимо. Таким образом, нет никакого способа определить typedefдля шаблона Blob<���Т>.

Однако новый стандарт позволяет определять псевдоним типа для шаблона класса:

template using twin = pair;

twin authors; // authors - это pair

где имя twinопределено как синоним для пар с одинаковыми типами членов. Пользователям типа twinдостаточно определить его только однажды.