Если реализовать <<
после класса:
#include <iostream>
template <typename t_b> class B;
template <typename t_a> class A
{
public:
friend class B<t_a>;
operator B<t_a>();
};
template <typename t_b> class B
{
public:
friend class A<t_b>;
A<t_b> operator [] (const B &s2) {}
friend std::ostream& operator << <t_b>(std::ostream &, const B &); // <-- ошибка тут
};
template<typename t_a> A<t_a>::operator B<t_a>()
{
return B<t_a>();
}
template <typename t_b> std::ostream& operator << (std::ostream &os, const B<t_b> &s) {}
int main()
{
B<int> s1, s2, s3;
std::cout << s1[s2];
}
[Error] declaration of 'operator<<' as non-function
Если перед:
#include <iostream>
template <typename t_b> class B;
template <typename t_a> class A
{
public:
friend class B<t_a>;
operator B<t_a>();
};
template <typename t_b> std::ostream& operator << (std::ostream &os, const B<t_b> &s) {}
template <typename t_b> class B
{
public:
friend class A<t_b>;
A<t_b> operator [] (const B &s2) {}
friend std::ostream& operator << <t_b>(std::ostream &, const B &);
};
template<typename t_a> A<t_a>::operator B<t_a>()
{
return B<t_a>();
}
int main()
{
B<int> s1, s2, s3;
std::cout << s1[s2]; // <-- ошибка тут
}
[Error] cannot bind 'std::ostream {aka std::basic_ostream}' lvalue to 'std::basic_ostream&&'
Судя по ответам Перегрузка операторов >> и << в шаблонном классе как дружественных функций и Возникает ошибка при неявном приведении типов в первом случае имеет место баг gcc
, а во втором - проблема с ADL
. И решения получаются взаимоисключающими. Как быть?