Начну немного издалека. Вы пишете шаблонный класс имеющий несколько параметров:
template <typename T1, typename T2, int sz> class MyCoolClass {
};
Теперь для этого класса нужно перегрузить операторы +,-,*,/. Только, как то не хочется отдельно перегружать для каждого типа, давайте сделаем перегрузку шаблонной. Я опущу замещения для разных типов:
template <typename T1, typename T2, int sz> class MyCoolClass {
public:
template <class Ti> MyCoolClass operator + (const Ti v) const
{
// ....
}
// Остальные -,*,/
// ...
};
Все пока хорошо. Выражения типа MyCoolClass a = MyCoolClass() + 5
работают замечательно. Но, вот выражения MyCoolClass a = 5 + MyCoolClass()
не работают.
Ладно, значит надо перегрузить операторы глобально. Вот только теперь написать шаблонную перегрузку будет не очень удобно, даже пример приводить неохота. И вот в этом случае дружественная шаблонная функция просто спасение:
template <typename T1, typename T2, int sz> class MyCoolClass {
public:
template <class Ti> MyCoolClass operator + (const Ti v) const
{
// ....
}
// Остальные -,*,/
// ...
template <class Ti> friend MyCoolClass operator + (const Ti v, MyCoolClass& v2)
{
// ....
}
};
Обратите внимание, параметры шаблонного класса указывать просто не нужно, что значительно сокращает и упрощает подобные функции. Поэтому в данном случае дружественные функции однозначно полезны. И хотя это только один пример, мне кажется он достаточно веский для существования такого механизма.
friend
операторы ввода и вывода<<
и>>
.