Herencia

La herencia es un mecanismo exigido a cualquier lenguaje que pretenda ser orientado a objetos. Consideraremos la herencia como la transmisión de los métodos y atributos de una clase a otra. Gracias a la herencia se pueden establecer jerarquías entre clases. Establecer una jerarquía es un proceso subjetivo, que depende del programador y de los matices de apreciación de cada uno.

La herencia nos permite definir una jerarquía en la que existirán clases padre y clases hijo, pudiéndo ser una clase padre de otra clase, e hijo de otra clase a la vez. No deben definirse jerarquías de herencia en la que una clase sea padre e hijo de la misma clase. Existen 2 tipos de herencia: La herencia simple y la herencia múltiple. En la herencia simple una clase sólo puede tener una clase padre, en la herencia múltiple, una clase puede tener más de una clase padre. Por ejemplo:

En la siguiente figura se muestra una jerarquía de clases, con herencia simple de 2 clases vertebrado e invertebrado, que heredan de la clase serVivo.

En la siguiente figura se muestra una jerarquía de clases, con herencia múltiple de 1 clase hispano-argentino, que hereda de las clases español y argentino.

Cuando una clase hereda de otra, la clase padre "transmite" todos sus atributos y métodos a la clase hija.

Clase abstracta

Al construir una jerarquía de herencia puede darse el caso de que ciertas operaciones de la clase padre no pueden ser completadas por diferentes motivos, o que dichas operaciones se hagan de una forma diferente en cada clase hija. Por ejemplo, en una clase serVivo existirá un método comer, pero ese método será diferente en una clase hija perro (los perros comen con la boca), y en una clase hija pájaro, ya que los pájaros comen con el pico (salvo una mutación extraña...). Por lo tanto, una clase será abstracta si tiene algún método diferido, es decir, declarado pero no definido. No podrá instanciarse ningún objeto de una clase abstracta.

Redefinición de métodos

Una clase hija de una clase abstracta puede redefinir los métodos diferidos de su clase padre abstracta.

Nota : Una clase hija de una clase abstracta no tiene porqué redefinir los métodos diferidos de la clase padre, podría ser una clase nieta de la clase abstracta la que hiciera la redefinición. Lo que es obligatorio es redefinir un método diferido en alguna clase descendiente de una clase abstracta.

El método debe redefinirse con los mismos parámetros que el método diferido, de lo contrario se estaría definiendo otro método (sobrecarga). Es aquí donde aparece el concepto de super. Esta palabra reservada hace referencia a un método perteneciente a la clase padre de la clase del objeto en cuestión.