Indica que una variable pasada o esperada puede adoptar múltiples formas, en programación orientada a objetos se suelen entender dos cosas:

Se refiere a que se puede trabajar con un objeto de una clase sin importar de qué clase se trata. Se consigue mediante jerarquías de clases y clases abstractas.
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, 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;
}
};

class disco_musica : public disco{
private:
...
public:
disco_musica (int c, char* f, int n, char* t) : disco (c,f,n){
strcpy(tipo,t); lista_canciones=NULL;}
};

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.

Otras veces tal vez se desee que el comportamiento de la clase desaparezca por completo.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.

Si queremos modificar la clase disco, a través de un puntero a disco podríamos:

class disco{
protected:
...
virtual void imprimir_fabricante(){
cout << fabricante;
}
...
};

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étodos que no pueden ser declarados como virtuales son los constructores, los métodos estáticos, y los operadores new y delete.

	Creado por Luis Romero hace alrededor de 8 años

Polimorfismo en C++