Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 175 — #213
✐
5.3. Amigos (friends)
}
x.i = 100; // Direct data manipulation
int main() {
X x;
Z z;
z.g(&x);
} ///:~
struct Y tiene un método f() que modifica un objeto de tipo X. Aquí hay
un poco de lío pues en C++ el compilador necesita que usted declare todo antes
de poder hacer referencia a ello, así struct Y debe estar declarado antes de que
su método Y::f(X*) pueda ser declarado como friend en struct X. Pero para
declarar Y::f(X*), struct X debe estar declarada antes!
Aquí vemos la solución. Dese cuenta de que Y::f(X*) toma como argumento
la dirección de un objeto de tipo X. Esto es fundamental pues el compilador siempre
sabe cómo pasar una dirección, que es de un tamaño fijo sin importar el tipo, aunque
no tenga información del tamaño real. Si intenta pasar el objeto completo, el compilador
necesita ver la definición completa de X, para saber el tamaño de lo que quiere
pasar y cómo pasarlo, antes de que le permita declarar una función como Y::g(X).
Pasando la dirección de un X, el compilador le permite hacer una identificación de
tipo incompleta de X antes de declarar Y::f(X*). Esto se consigue con la declaración:
struct X;
Esta declaración simplemente le dice al compilador que hay una estructura con
ese nombre, así que es correcto referirse a ella siempre que sólo se necesite el nombre.
Ahora, en struct X, la función Y::f(X*) puede ser declarada como friend
sin problemas. Si intenta declararla antes de que el compilador haya visto la especificación
completa de Y, habría dado un error. Esto es una restricción para asegurar
consistencia y eliminar errores.
Fíjese en las otras dos funciones friend. La primera declara una función global
ordinaria g() como friend. Pero g() no ha sido declarada antes como global!.
Se puede usar friend de esta forma para declarar la función y darle el estado de
friend simultáneamente. Esto se extiende a estructuras completas:
friend struct Z;
es una especificación incompleta del tipo Z, y da a toda la estructura el estado de
friend.
5.3.1. Amigas anidadas
Hacer una estructura anidada no le da acceso a los miembros privados. Para conseguir
esto, se debe: primero, declarar (sin definir) la estructura anidada, después
declararla como friend, y finalmente definir la estructura. La definición de la estructura
debe estar separada de su declaración como friend, si no el compilador la
vería como no miembro. Aquí hay un ejemplo:
175
✐
✐
✐
✐