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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 178 — #216
✐
Capítulo 5. Ocultar la implementación
que todo el mundo pueda ver que esa es una de las funciones privilegiadas.
C++ es un lenguaje orientado a objetos híbrido, no es puro, y friend fue añadido
para solucionar algunos problemas que se presentaban en la práctica. Es bueno
apuntar que esto hace al lenguaje menos «puro», pues C++ fue diseñado para ser
pragmático, no para aspirar a un ideal abstracto.
5.4. Capa de objetos
En el capítulo 4 se dijo que una struct escrita para un compilador C y más tarde
compilada en uno de C++ no cambiaría. Se refería básicamente a la estructura interna
del objeto que surge de la struct, es decir, la posición relativa en memoria donde se
guardan los valores de las diferentes variables. Si el compilador C++ cambiase esta
estructura interna, entonces el código escrito en C que hiciese uso del conocimiento
de las posiciones de las variables fallaría.
Cuando se empiezan a usar los especificadores de acceso, se cambia al universo
del C++, y las cosas cambian un poco. Dentro de un «bloque de acceso» (un grupo
de declaraciones delimitado por especificadores de acceso), se garantiza que las
variables se encontraran contiguas, como en C. Sin embargo, los bloques de acceso
pueden no aparecer en el objeto en el mismo orden en que se declaran. Aunque el
compilador normalmente colocará los bloques como los definió, no hay reglas sobre
esto, pues una arquitectura hardware especifica y/o un sistema operativo puede
tener soporte especifico para private y protected que puede requerir que estos
bloques se coloquen en lugares específicos de la memoria. La especificación del
lenguaje no quiere impedir este tipo de ventajas.
Los especificadores de acceso son parte de la estructura y no afectan a los objetos
creados desde ésta. Toda la información de accesos desaparece antes de que
el programa se ejecute; en general ocurre durante la compilación. En un programa
en ejecución, los objetos son «zonas de almacenamiento» y nada más. Si realmente
quiere, puede romper todas las reglas y acceder a la memoria directamente, como en
C. C++ no está diseñado para prohibir hacer cosas salvajes. Solo le proporciona una
alternativa mucho más fácil, y deseable.
En general, no es una buena idea hacer uso de nada que dependa de la implementación
cuando se escribe un programa. Cuando necesite hacerlo, encapsúlelo en
una estructura, así en caso de tener que portarlo se podrá concentrar en ella.
5.5. La clase
El control de acceso se suele llamar también ocultación de la implementación. Incluir
funciones dentro de las estructuras (a menudo llamado encapsulación 1 ) produce tipos
de dato con características y comportamiento, pero el control de acceso pone
fronteras en esos tipos, por dos razones importantes. La primera es para establecer
lo que el programador cliente puede y no puede hacer. Puede construir los mecanismos
internos de la estructura sin preocuparse de que el programador cliente pueda
pensar que son parte de la interfaz que debe usar.
Esto nos lleva directamente a la segunda razón, que es separar la interfaz de la
implementación. Si la estructura se usa en una serie de programas, y el programador
cliente no puede hacer más que mandar mensajes a la interfaz pública, usted puede
cambiar cualquier cosa privada sin que se deba modificar código cliente.
1 Como se dijo anteriormente, a veces el control de acceso se llama también encapsulación
178
✐
✐
✐
✐