funciones friend de una clase dentro de un espacio de nombres

Question

tengo dos dudas acerca de este código de abajo:

namespace A { class window; } 

void f(A::window); 

namespace A 
{ 
    class window 
    { 
    private: 
     int a; 
     friend void ::f(window); 
    }; 
} 

void f(A::window rhs) 
{ 
    std::cout << rhs.a << std::endl; 
} 

1) ¿por qué necesito para calificar la función miembro f dentro de la clase de ventana que ser global haciendo :: f (ventana)?

2) ¿Por qué necesito predecir la función f (A :: ventana) en este caso particular, mientras que cuando la clase no está definida dentro de un espacio de nombres está bien para la función declarada después de declarar la función amigo.

Answer 1

Cuando declara f() como amigo, en realidad se hace en el espacio de nombres adjunto de la clase contenedora (A en este caso) si una declaración directa no está presente todavía.

Así que este ...

namespace A 
{ 
    class window 
    { 
    private: 
     friend void ::f(window); 
    }; 
} 

se convierte esencialmente en esto ...

namespace A 
{ 
    class window; 
    void f(window); 

    class window 
    { 
    private: 
     friend void f(window); 
    }; 
} 

Editar: Aquí hay un fragmento del C++ estándar que explicltly habla de este escenario:

Standard 7.3.1.2/3:

Todos los nombres declarados por primera vez en un espacio de nombres son miembros de ese espacio de nombres. Si una declaración de amigo en una clase no local primero declara una clase o función, la clase o función amiga es un miembro del espacio de nombres más interno. El nombre del amigo que no se encuentra en las operaciones de búsqueda no calificado (3.4.1) o mediante operaciones de búsqueda cualificado (3.4.3) hasta que una declaración coincidente se proporciona en ese ámbito espacio de nombres (ya sea antes o después de la definición de clase amistad concesión).

Answer 2

En cuanto a 1), su función no está en el espacio de nombres, por lo que debe usar :: para indicar al compilador que lo busque fuera del espacio de nombres.

De lo contrario, sólo se buscará la función dentro del espacio de nombres (por eso es que existen). La búsqueda Koenig no se aplica aquí, ya que la clase ventana está dentro del espacio de nombres.

no muy seguro sobre 2), sin embargo, pero apuesto a que está relacionada con 1).

Answer 3

1) porque la función f se declara y define fuera del espacio de nombre actual. Si movió la definición de su clase al mismo espacio de nombres que la función ya sea global o de lo contrario no sería necesario.

2) siempre hay que declarar una función antes de que se hace referencia. Tu clase hace referencia a la función con la declaración de amigo.