En el paradigma de programación orientada a objetos de C++, el encapsulamiento es un pilar fundamental que protege los datos internos de una clase. Sin embargo, existen escenarios técnicos donde es necesario permitir que funciones exetrnas o clases específicas accedan a los miembros privados o protegidos de otra clase. Para este propósito, C++ introduce la palabra clave friend.

Funciones Amigas (Friend Functions)

Una función amiga es una función externa a la clase que recibe privilegios especiales para manipular sus miembros privados. Aunque la declaración de la función aparece dentro del cuerpo de la clase (precedida por friend), la función no es un método miembro de dicha clase.

class CuentaBancaria {
private:
    double saldo;

public:
    CuentaBancaria(double monto inicial) : saldo(monto inicial) {}

    // Declaración de función amiga
    friend void aplicarAuditoria(CuentaBancaria& cuenta);
};

void aplicarAuditoria(CuentaBancaria& cuenta) {
    // Acceso directo al miembro privado 'saldo'
    if (cuenta.saldo < 0) {
        cuenta.saldo -= 50; // Penalización por sobregiro
    }
}

Clases Amigas (Friend Classes)

Cuando una clase se declara como amiga de otra, todos los métodos de la clase "visitante" adquieren la capacidad de acceder a los componentes privados de la clase "anfitriona". Esto es particularmente útil en sistemas donde dos clases están estrechamente acopladas pero deben permanecer separadas estructuralmente.

class Motor {
private:
    int temperatura;
    bool encendido;

public:
    Motor() : temperatura(20), encendido(false) {}

    // La clase UnidadControl tendrá acceso total
    friend class UnidadControl;
};

class UnidadControl {
public:
    void enfriarMotor(Motor& m) {
        if (m.temperatura > 100) {
            m.temperatura -= 20; // Acceso a miembro privado
        }
    }

    void activar(Motor& m) {
        m.encendido = true; // Acceso a miembro privado
    }
};

Reglas y Propiedades de la Amistad en C++

La implementación de relaciones de amistad sigue reglas estrictas que preservan la integridad del diseño de software:

• Unidireccionalidad: Si la Clase A es amiga de la Clase B, la Clase B no es automáticamente amiga de la Clase A. La confianza debe otorgarse explícitamente en cada sentido.
• No es Transitiva: Si A es amiga de B, y B es amiga de C, la clase A no tiene acceso a los miembros privados de C.
• No se Hereda: La amistad no se transmite a través de la jerarquía de clases. Una clase derivada no hereda las relaciones de amistad de su clase base.
• Requiere Instancias: Para acceder a los datos, una función o clase amiga debe operar generalmente sobre un objeto, puntero o referencia de la clase que le otorga el permiso.
• Uso de Encapsulamiento: Aunque la amistad rompe técnicamente la barrera del acceso privado, debe usarse con moderación para no degradar la seguridad y el mantenimiento del código.

Desde una perspectiva arquitectónica, la declaración friend debe considerarse parte de la interfaz de la clase. Es el autor de la clase quien decide quién tiene acceso a sus detalles internos, manteniendo así el control sobre el diseño del sistema.