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

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

// для объявления дружественных отношений в шаблоне 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<���Т>.