polimorfismo

Página 1

Polimorfismo. Métodos virtuales

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.

La capacidad de un programa de trabajar con

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

nombre de polimorfismo

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.

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;

}

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;}

};

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!

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.

}

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.

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:

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;

}

};

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.

}

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.

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.

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 no se proporciona implementación. En

C++ la clase abstracta debe tener uno o más métodos

virtuales puros.

n Dada una clase abstracta, no se pueden crear objetos

de esa clase base. Se pueden crear punteros que a

objetos de la clase base abstracta que realmente

apunten a objetos de la clase derivada.

Programa 1

#includeusing namespace std;

#include

class Persona {

public:

Persona(char *n) {

strcpy(nombre, n);

}

virtual char *VerNombre(char *n) {

strcpy(n, nombre);

return n;

}

protected:

char nombre[30];

};

class Empleado :

public Persona {

public:

Empleado(char *n) :

Persona(n) {}

char *VerNombre(char *n) {

strcpy(n, "Emp: ");

strcat(n, nombre);

return n;

}

};

class Estudiante :

public Persona {

public:

Estudiante(char *n) :

Persona(n) {}

char *VerNombre(char *n) {

strcpy(n, "Est: ");

strcat(n, nombre);

return n;}

};

int main() {

char n[40];

Persona *Pepito = new Estudiante("Jose");

Persona *Carlos = new Empleado("Carlos");

cout << Carlos->VerNombre(n) << endl;

cout << Pepito->VerNombre(n) << endl;

delete Pepito;

delete Carlos;

system("pause");

return 0;

}