Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 436 — #474
✐
Capítulo 15. Polimorfismo y Funciones virtuales
compilador.
Usted se puede encontrar atascado en el nivel de "programación basada en objetos"
debido a que es de fácil acceso y no requiere mucho esfuerzo mental. Es también
sencillo sentir cómo está creando tipos de datos - usted hace clases y objetos, envía
mensajes a esos objetos, y todo es bonito y pulcro.
Pero no sea tonto. Si se para aquí, se está perdiendo una de las más importantes
partes del lenguaje, que significa el salto a la verdadera programación orientada a
objetos. Y esto se consigue únicamente con las funciones virtuales.
Las funciones virtuales realzan el concepto de tipo en lugar de simplemente encapsular
código dentro de estructuras y dejarlo detrás de un muro, por lo que son, sin
lugar a dudas, el concepto más difícil a desentrañar por los nuevos programadores
en C++. Sin embargo, son también el punto decisivo para comprender la programación
orientada a objetos. Si no usa funciones virtuales, todavía no entiende la POO.
Debido a que las funciones virtuales están intimamente unidas al concepto de
tipo, y los tipos son el núcleo de la programación orientada a objetos, no existe analogía
a las funciones virtuales dentro de los lenguajes procedurales. Como programador
procedural, usted no tiene referente con el que comparar las funciones virtuales,
al contrario de las otras características del lenguaje. Las características de un lenguaje
procedural pueden ser entendidas en un nivel algorítmico, pero las funciones
virtuales deben ser entendidas desde el punto de vista del diseño.
15.2. Upcasting
En el Capítulo 14 se vió como un objeto puede ser usado como un objeto de su
propio tipo o como un objeto de su tipo base. Además el objeto puede ser manejado a
través de su tipo base. Tomar la dirección de un objeto (o un puntero o una referencia)
y tratarlo como la dirección de su tipo base se conoce como upcasting 1 debido al
camino que se genera en los árboles de herencia que se suelen pintar con la clase
base en la cima.
También se vió surgir un problema el cuál está encarnado en el siguiente código:
//: C15:Instrument2.cpp
// Inheritance & upcasting
#include
using namespace std;
enum note { middleC, Csharp, Eflat }; // Etc.
class Instrument {
public:
void play(note) const {
cout