c++ - resueltos - miembros de una clase en programacion orientada a objetos

¿Por qué una clase de amigo de C++ necesita una declaración directa solo en otros espacios de nombres?

Question

Supongamos que tengo una clase F que debería ser amiga de las clases G (en el espacio de nombres global) y C (en el espacio de nombres A ).

• ser amigo de A::C , F debe ser declarado adelante.
• para ser amigo de G , no es necesaria ninguna declaración directa de F
• asimismo, una clase A::BF puede ser amiga de A::C sin declaración directa

El siguiente código ilustra esto y compila con GCC 4.5, VC ++ 10 y al menos con otro compilador.

class G {
friend class F;
int g;
};
// without this forward declaration, F can''t be friend to A::C
class F;
namespace A {
class C {
friend class ::F;
friend class BF;
int c;
};
class BF {
public:
BF() { c.c = 2; }
private:
C c;
};
} // namespace A
class F {
public:
F() { g.g = 3; c.c = 2; }
private:
G g;
A::C c;
};
int main()
{
F f;
}

Para mí esto parece inconsistente. ¿Hay alguna razón para esto o solo es una decisión de diseño del estándar?

Answer 1

Norma C++ ISO/IEC 14882:2003(E)

7.3.1.2 Definiciones de miembro de espacio de nombres

Párrafo 3

Cada nombre declarado por primera vez en un espacio de nombres es un miembro de ese espacio de nombres . Si una declaración de amigo en una clase no local declara primero una clase o función (esto implica que el nombre de la clase o función no está calificado), la clase o función amiga es un miembro del espacio de nombres más interno que lo rodea.

// Assume f and g have not yet been defined.
void h(int);
template <class T> void f2(T);
namespace A {
class X {
friend void f(X); // A::f(X) is a friend
class Y {
friend void g(); // A::g is a friend
friend void h(int); // A::h is a friend
// ::h not considered
friend void f2<>(int); // ::f2<>(int) is a friend
};
};
// A::f, A::g and A::h are not visible here
X x;
void g() { f(x); } // definition of A::g
void f(X) { /* ... */} // definition of A::f
void h(int) { /* ... */ } // definition of A::h
// A::f, A::g and A::h are visible here and known to be friends
}

Tu friend class BF; es una declaración de A::BF en el espacio de nombres A en lugar del espacio de nombres global. Necesita la declaración previa global para evitar esta nueva declaración.

Answer 2

Porque no tendría sentido poder declarar algo en el espacio de nombres global si estás dentro de un bloque de namespace {} . La razón friend class BF; funciona es que actúa como una declaración directa implícita.

Answer 3

Tomemos en cuenta estas 3 líneas de código de su muestra:

1. friend class F; // it creates "friend declaration", (that''s not the same as ordinary forward declaration
2. class F; // without this forward declaration, F can''t be friend to A::C <-- this is ordinary forward declaration
3. friend class ::F; // this is qualified lookup (because of ::), so it needs previous declaration, which you provide in line 2.

El estándar de C ++ en el párrafo 7.3.1.2, punto 3 (definiciones de miembro de espacio de nombres) dice:

La declaración de amigo no hace que el nombre sea visible para búsqueda no calificada (3.4.1) o búsqueda calificada (3.4.3). [Nota: El nombre del amigo será visible en su espacio de nombres si se proporciona una declaración coincidente en el ámbito del espacio de nombres (ya sea antes o después de la definición de clase que otorga la amistad). -finalizar nota]

Y la línea 2 sigue exactamente lo que requiere el estándar.

Toda la confusión se debe a que la "declaración de amigo" es débil , debe proporcionar una declaración directa sólida para un uso posterior.