Polimorfismo (programacion)

Polimorfismo

Polimorfismo. Métodos virtuales

n El polimorfismo indica que una variable pasada

o esperada puede adoptar múltiples formas.

Cuando se habla de polimorfismo en

programación orientada a objetos se suelen

entender dos cosas:

1. La primera se refiere a que se puede trabajar

con un objeto de una clase sin importar de qué

clase se trata. Es decir, se trabajará igual sea

cual sea la clase a la que pertenece el objeto.

Esto se consigue mediante jerarquías de clases

y clases abstractas.

2. La segunda suele referirse a la posibilidad de

declarar métodos con el mismo nombre que

pueden tener diferentes argumentos dentro de

una misma clase.

n La capacidad de un programa de trabajar con

más de un tipo de objeto se conoce con el

nombre de polimorfismo

Polimorfismo

n Hasta ahora la herencia se ha utilizado

solamente para heredar los miembros de una

clase base, pero también existe la posibilidad de

que un método de una clase derivada se llame

como método de la clase base pero tenga un

funcionamiento diferente.

n Por ejemplo, tomemos la clase disco_musica

que hereda de la clase base disco:

class disco{

protected:

int capacidad;

char * fabricante;

int num_serie;

public:

disco (int c, char * f, int n){

capacidad = c; strcpy(fabricante, f);

num_serie=n;}

Polimorfismo

void imprimir_capacidad(){

cout << capacidad; }

void imprimir_fabricante(){

cout << fabricante; }

void imprimir_num_serie(){

cout << num_serie; }

};

class disco_musica : public disco{

private:

char * tipo; //CD,vinilo, mini-disc, etc.

cancion * lista_canciones;//Suponemos la

//existencia de una clase “cancion”.

public:

disco_musica (int c, char* f, int n,

char* t) : disco (c,f,n){

strcpy(tipo,t);

lista_canciones=NULL;}

};

Polimorfismo

n Podemos redefinir el método imprimir del ejemplo

anterior de la siguiente forma:

void imprimir_fabricante(){

cout << “Este disco de musica ha

sido grabado por: ” << fabricante; }

//fabricante ha de ser protected!

n Si tenemos, por ejemplo,

void main(){

disco_musica d1(32,“EMI”,423,“CD”);

disco * ptr = & d1;

d1.imprimir_fabricante();

//Invoca al de la clase derivada.

ptr -> imprimir_fabricante();

//Invoca al de la clase base.

}

n Cuando se invoca un método de un objeto de la clase

derivada mediante un puntero a un objeto de la clase

base, se trata al objeto como si fuera de la clase base.

Polimorfismo

n Este comportamiento puede ser el deseado en

ciertos casos, pero otras veces tal vez se desee

que el comportamiento de la clase desaparezca

por completo. Es decir, si el objeto de la clase

disco_musica se trata como un objeto de la

clase disco, se quiere seguir conservando el

comportamiento de la clase disco_musica.

Para ello se utiliza la palabra reservada virtual,

si se quiere que el comportamiento de un

método de la clase disco desaparezca se ha de

declarar el método como virtual.

n Si queremos modificar la clase disco para que

se pueda sobrecargar su comportamiento

cuando se acceda a la clase disco_musica a

través de un puntero a disco pondríamos:

Polimorfismo

class disco{

protected:

int capacidad;

char * fabricante;

int num_serie;

public:

disco (int c, char * f, int n){

capacidad = c; strcpy(fabricante, f);

num_serie=n;}

void imprimir_capacidad(){

cout << capacidad; }

virtual void imprimir_fabricante(){

cout << fabricante; }

void imprimir_num_serie(){

cout << num_serie; }

};

Polimorfismo

n Así, la clase disco ahora sobre el mismo

extracto de programa anterior produce otro

efecto:

void main(){

disco_musica d1(32,“EMI”,423,“CD”);

disco * ptr = & d1;

d1.imprimir_fabricante();

//Invoca al de la clase derivada.

ptr -> imprimir_fabricante();

//Invoca al de la clase derivada.

}

n En este caso el objeto será siempre el de la

clase derivada independientemente de cómo se

pase el objeto a otras funciones. A esto es a lo

que suele referir el término polimorfismo.

n Los métodos virtuales heredados son también

virtuales en la clase derivada, por lo que si

alguna clase hereda de la clase derivada el

comportamiento será similar al indicado.

Polimorfismo

n Los únicos métoso que no pueden ser declarados

como virtuales son los constructores, los métodos

estáticos, y los operadores new y delete.

Clase virtual pura

Hay veces en las que no va a ser necesario crear

objetos de la clase base, o simplemente no se desea

que quien utilice la clase pueda crear objetos de la

clase base. Para ello existen lo que suele llamarse en

POO clases abstractas. Esta clase define el interfaz

que debe tener una clase y todas las clases que

heredan de ella. En C++ el concepto de clases

abstractas se implementa mediante funciones

virtuales puras. Estas funciones se declaran igual

que cualquier otra función anteponiendo la palabra

virtual y añadiendo al final de la declaración =0. Para

estas funciones

...