No C ++, por que não é possível fazer amizade com uma função de membro da classe de modelo usando o tipo de modelo de outra classe?
Em outras palavras, por que isso compila bem:
template<typename Type>
class A{
public:
void f();
};
class B{
friend void A<int>::f();
};
template<>
void A<int>::f(){
B* var = new B();
}
Embora isso não ocorra:
template<typename Type>
class A{
public:
void f();
};
template<typename Type> // B is now a templated class
class B{
friend void A<Type>::f(); // Friending is done using B templated type
};
template<>
void A<int>::f(){
B<int>* var = new B<int>(); // var is now declared using int as its templated type
}
Para o segundo trecho de código, o compilador (gcc 6.2, sem sinalizadores especiais) diz:
main.cpp: In instantiation of ‘class B<int>’:
main.cpp:14:28: required from here
main.cpp:9:15: error: prototype for ‘void A<int>::f()’ does not match any in class ‘A<int>’
friend void A<Type>::f();
^~~~~~~
main.cpp:13:6: error: candidate is: void A<Type>::f() [with Type = int]
void A<int>::f(){
Pelo que entendi, no segundo trecho de código, ao declarar var, o compilador deve analisar a declaração de classe B, substitua o Type usado na declaração de amigo por int, e tudo deve funcionar bem. o que estou perdendo?
EDIT: comentários abaixo apontaram que o segundo trecho de código parece compilar corretamente com clang e Visual C ++ 2015