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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 156 — #194
✐
Capítulo 4. Abstracción de Datos
4.4. ¿Qué es un objeto
Ahora que ya se ha visto y discutido un ejemplo incial es hora de retroceder para
definir la terminología. El acto de introducir funciones en las estructuras es el eje
central del cambio que C++ propone sobre C, e eso introduce una nueva forma de
ver las estructuras: como conceptos. En C, una estructura (struct) es tan sólo una
agrupación de datos: una manera de empaquetar datos para que se puedan tratar
como un grupo. De esta forma, cuesta hacerse a la idea de que representan algo más
que una mera conveniencia de programación. Las funciones que operan sobre esas
estructuras están sueltas por ahí. Sin embargo, con las funciones dentro del mismo
paquete que los datos, la estructura se convierte en una nueva criatura, capaz de representar
las características (como hacen las structs de C) y los comportamientos.
El concepto de objeto, una entidad independiente y bien limitada que puede recordar
y actuar, se sugiere a si mismo como definición.
En C++, un objeto es simplemente una variable, y la definición más purista es
«una región de almacenamiento» (que es una forma más específica para decir «un
objeto debe tener un único identificador» el cual, en el caso de C++, es una dirección
única de memoria). Es un lugar en el cual se pueden almacenar datos y eso implica
también operaciones que pueden actuar sobre esos datos.
Desafortunadamente no existe una consistencia completa entre los distintos lenguajes
cuando se habla de estos términos, aunque son aceptados bastante bien. También
se podrán encontrar discrepancias sobre lo que es un lenguaje orientado a objetos,
aunque parece haber un consenso razonable hoy en día. Hay lenguajes basados
en objetos, que cuentan con estructuras-con-funciones como las que ha visto aquí de
C++. Sin embargo, esto es tan sólo una parte de lo que denomina un lenguaje orientado
a objetos, y los lenguajes que solamente llegan a empaquetar las funciones dentro
de las estructuras son lenguajes basados en objetos y no orientados a objetos.
4.5. Tipos abstractos de datos
La habilidad para empaquetar datos junto con funciones permite la creación de
nuevos tipos de datos. Esto se llama a menudo encapsulación 3 Un tipo de dato existente
puede contener varias piezas de datos empaquetadas juntas. Por ejemplo, un
float tiene un exponente, una mantissa y un bit de signo. Le podemos pedir que
haga varias cosas: sumarse a otro float o a un int, etc. Tiene características y comportamiento.
La definición de Stash crea un nuevo tipo de dato. Se le pueden agregar nuevos
elementos (add()), sacar (fetch()) y agrandarlo (inflate()). Se puede crear uno
escribiendo Stash s; igual que cuando se crea un float diciendo float x;. Un
Stash también tiene características y un comportamiento bien determinado. Aunque
actúe igual que un tipo de dato predefinido como float se dice que Stash es un tipo
abstracto de dato tal vez porque permite abstraer un concepto desde el espacio de
los problemas al espacio de la solución. Además, el compilador de C++ lo tratará
exactamente como a un nuevo tipo de dato y si, por ejemplo, declara una función que
acepta un Stash como argumento, el compilador se asegurará de que no se le pase
otra cosa a la función. De modo que se realiza el mismo nivel de comprobación de
tipos tanto para los tipos abstractos de datos (a veces también llamados tipos definidos
por el usuario) como para los tipos predefinidos.
3 Este término puede causar debates. Algunas personas lo utilizan tal y como está definido aquí,
aunque otras lo usan para describir el control de acceso, término que se discutirá en el siguiente capítulo.
156
✐
✐
✐
✐