Introduccin

Una de las propiedades ms importantes de la Programacin Orientada a Objetos es la abstraccin de datos.

Esta propiedad se manifiesta esencialmente en la encapsulacin, que es la responsable de gestionar la
complejidad de grandes programas al permitir la definicin de nuevos tipos de datos: las clases.
Sin embargo, la clase no es suficiente por s sola para soportar diseo y programacin orientada a objetos. Se
necesita un medio para relacionar unas clases con otras. Un medio son las clases anidadas, pero slo se
resuelve parcialmente el problema, ya que las clases anidadas no tienen las caractersticas requeridas para
relacionar totalmente una clase con otra. Se necesita un mecanismo para crear jerarquas de clases en las que
la clase A sea afn a la clase B, pero con la posibilidad de poder aadirle tambin caractersticas propias. Este
mecanismo es la herencia.
La herencia es, seguramente, la caracterstica ms potente de la Programacin Orientada a Objetos, despus de
las clases.
Por herencia conocemos el proceso de crear nuevas clases, llamadas clases derivadas, a partir de una clase
base.
En C++ la herencia se manifiesta con la creacin de un tipo definido por el usuario (clase), que puede heredar
las caractersticas de otra clase ya existente o derivar las suyas a otra nueva clase. Cuando se hereda, las clases
derivadas reciben las caractersticas (estructuras de datos y funciones) de la clase original, a las que se pueden
aadir nuevas caractersticas o modificar las caractersticas heredadas. El compilador hace realmente una
copia de la clase base en la nueva clase derivada y permite al programador aadir o modificar miembros sin
alterar el cdigo de la clase base.
La derivacin de clases consigue la reutilizacin efectiva del cdigo de la clase base para sus necesidades. Si
se tiene una clase base totalmente depurada, la herencia ayuda a reutilizar ese cdigo en una nueva clase. No
es necesario comprender el cdigo fuente de la clase original, sino slo lo que hace.
Clases derivadas
En C++, la herencia simple se realiza tomando una clase existente y derivando nuevas clases de ella. La clase
derivada hereda las estructuras de datos y funciones de la clase original. Adems, se pueden aadir nuevos
miembros a las clases derivadas y los miembros heredados pueden ser modificados.
Una clase utilizada para derivar nuevas clases se denomina clase base, clase padre, superclase o ascendiente.
Una clase creada de otra clase se denomina clase derivada o subclase.
Se pueden construir jerarquas de clases, en las que cada clase sirve como padre o raz de una nueva clase.
Conceptos fundamentales de derivacin
C++ utiliza un sistema de herencia jerrquica. Es decir, se hereda una clase de otra, creando nuevas clases a
partir de las clases ya existentes. Slo se pueden heredar clases, no funciones ordinarias ni variables, en C++.
Una clase derivada hereda todos los miembros dato excepto, miembros dato estticos, de cada una de sus
clases base.
Una clase derivada hereda las funciones miembro de su clase base.
1

Esto significa que se hereda la capacidad para llamar a funciones miembro de la clase base en los objetos de la
clase derivada.
Los siguientes elementos de la clase no se heredan:
Constructores
Destructores
Funciones amigas
Funciones estticas de la clase
Datos estticos de la clase
Operador de asignacin sobrecargado
Las clases base diseadas con el objetivo principal de ser heredadas por otras se denominan clases abstractas.
Normalmente, no se crean instancias a partir de clases abstractas, aunque sea posible.
La herencia en C++
En C++ existen dos tipos de herencia: simple y mltiple. La herencia simple es aquella en la que cada clase
derivada hereda de una nica clase. En herencia simple, cada clase tiene un solo ascendiente. Cada clase
puede tener, sin embargo, muchos descendientes.
La herencia mltiple es aquella en la cual una clase derivada tiene ms de una clase base. Aunque el concepto
de herencia mltiple es muy til, el diseo de clases suele ser ms complejo.
Creacin de una clase derivada
Cada clase derivada se debe referir a una clase base declarada anteriormente.
La declaracin de una clase derivada tiene la siguiente sintaxis:
class clase_derivada:<especificadores_de_acceso> clase_base {...};
Los especificadores de acceso pueden ser: public, protected o private.
Clases de derivacin
Los especificadores de acceso a las clases base definen los posibles tipos de derivacin: public, protected y
private.
El tipo de acceso a la clase base especifica cmo recibir la clase derivada a los miembros de la clase base.
Si no se especifica un acceso a la clase base, C++ supone que su tipo de herencia es privado.
Derivacin pblica (public). Todos los miembros public y protected de la clase base son accesibles en la
clase derivada, mientras que los miembros private de la clase base son siempre inaccesibles en la clase
derivada.
Derivacin privada (private). Todos los miembros de la clase base se comportan como miembros privados
de la clase derivada. Esto significa que los miembros public y protected de la clase base no son accesibles ms
que por las funciones miembro de la clase derivada. Los miembros privados de la clase siguen siendo
inaccesibles desde la clase derivada.

 Derivacin protegida (protected). Todos los miembros public y protected de la clase base se comportan
como miembros protected de la clase derivada. Estos miembros no son, pues, accesibles al programa exterior,
pero las clases que se deriven a continuacin podrn acceder normalmente a estos miembros (datos o
funciones).
Constructores y destructores en herencia
Una clase derivada puede tener tanto constructores como destructores, aunque tiene el problema adicional de
que la clase base puede tomar ambas funciones miembro especiales.
Un constructor o destructor definido en la clase base debe estar coordinado con los encontrados en una clase
derivada. Igualmente importante es el movimiento de valores de los miembros de la clase derivada a los
miembros que se encuentran en la base.
En particular, se debe considerar cmo el constructor de la clase base recibe valores de la clase derivada para
crear el objeto completo.
Si un constructor se define tanto para la clase base como para la clase derivada, C++ llama primero al
constructor base. Despus que el constructor de la base termina sus tareas, C++ ejecuta el constructor
derivado.
Cuando una clase base define un constructor, ste se debe llamar durante la creacin de cada instancia de una
clase derivada, para garantizar la buena inicializacin de los datos miembro que la clase derivada hereda de la
clase base.
En este caso la clase derivada debe definir a su vez un constructor que llama al constructor de la clase base
proporcionndole los argumentos requeridos.
Un constructor de una clase derivada debe utilizar un mecanismo de pasar aquellos argumentos requeridos por
el correspondiente constructor de la clase base.
derivada::derivada(tipo1 x, tipo2 y):base (x,y) {...}
Otro aspecto importante que es necesario considerar es el orden en el que el compilador C++ inicializa las
clases base de una clase derivada. Cuando El compilador C++ inicializa una instancia de una clase derivada,
tiene que inicializar todas las clases base primero.
Por definicin, un destructor de clases no toma parmetros. Al contrario que los constructores, una funcin
destructor de una clase derivada se ejecuta antes que el destructor de la clase base.
Redefinicin de funciones miembro heredadas
Se puede utilizar funciones miembro en una clase derivada que tengan el mismo nombre que otra de una clase
base.
La redefinicin de funciones se realiza mediante funciones miembro sobrecargadas en la clase derivada. Una
funcin miembro redefinida oculta todas las funciones miembro heredadas del mismo nombre. Por tanto
cuando en la clase base y en la clase derivada hay una funcin con el mismo nombre en las dos, se ejecuta la
funcin de la clase derivada.
Herencia mltiple

Es la propiedad con la cual una clase derivada puede tener ms de una clase base. Es ms adecuada para
definir objetos que son compuestos, por naturaleza, tales como un registro personal, un objeto grfico.
Slo es una extensin de la sintaxis de la clase derivada. Introduce una cierta complejidad en el lenguaje y el
compilador, pero proporciona grandes beneficios.
class ejemplo: private base1, private base2 {...};
La aplicacin de clases base mltiple introduce un conjunto de ambigedades a los programas C++.
Una de las ms comunes se da cuando dos clases base tienen funciones con el mismo nombre, y sin embargo,
una clase derivada de ambas no tiene ninguna funcin con ese nombre.
Cmo acceden los objetos de la clase derivada a la funcin correcta de la clase base?
El nombre de la funcin no es suficiente, ya que el compilador no puede deducir cul de las dos funciones es
la invocada.
Si se tiene una clase C que se deriva de dos clases base A y B, ambas con una funcin mostrar() y se define un
objeto de la clase C: C objetoC, la manera de resolver la ambigedad es utilizando el operador de resolucin
de mbito:
objetoC.A::mostrar(); //se refiere a la versin de //mostrar() de la clase A
objetoC.B::mostrar(); //se refiere a la versin de //mostrar() de la clase B
Constructores y destructores en herencia mltiple
El uso de funciones constructor y destructor en clases derivadas es ms complejo que en una clase simple. Al
crear clases derivadas con una sola clase base, se observa que el constructor de la clase base se llama siempre
antes que el constructor de la clase derivada.
Adems se dispone de un mecanismo para pasar los valores de los parmetros necesarios al constructor base
desde el constructor de la clase derivada. As, la sentencia siguiente pasa el puntero a carcter x y el valor del
entero y a la clase base:
derivada (char *x, int y, double z): base(x,y)
Este mtodo se expande para efectuar ms de una clase base. La sentencia:
derivada (char *x,int y, double z): base1(x),base2(y)
Llama al constructor base1 y pasa el valor de cadena de caracteres x y al constructor base2 le proporciona un
valor entero y. Como con la herencia simple, los constructores de la clase base se llaman antes de que se
ejecuten al constructor de la clase derivada. Los constructores se llaman en el orden en que se declaran las
clases base.
De modo similar, las relaciones entre el destructor de la clase derivada y el destructor de la clase base se
mantiene. El destructor derivado se llama antes de que se llame a los destructores de cualquier base. Los
destructores de las clases base se llaman en orden inverso al orden en que los objetos base se crearon.
Herencia repetida
4

La primera regla de la herencia mltiple es que una clase derivada no puede heredar ms de una vez de una
sola clase, al menos no directamente. Sin embargo, es posible que una clase se pueda derivar dos o ms veces
por caminos distintos, de modo que se puede repetir una clase. La propiedad de recibir por herencia una
misma clase ms de una vez se conoce como herencia repetida.
Clases base virtuales
Una clase base virtual es una clase que es compartida por otras clases base con independencia del nmero de
veces que esta clase se produce en la jerarqua de derivacin. Suponer, por ejemplo, que la clase T se deriva
de las clases C y D cada una de las cuales se deriva de la clase A. Esto significa que la clase T tiene dos
instancias de A en su jerarqua de derivacin. C++ permite instancias mltiples de la misma clase base. Sin
embargo, si slo se desea una instancia de la clase A para la clase T, entonces se debe declarar A como una
clase base virtual.
Las clases base virtuales proporcionan un mtodo de anular el mecanismo de herencia mltiple, permitiendo
especificar una clase que es una clase base compartida.
Una clase derivada puede tener instancias virtuales y no virtuales de la misma clase base.