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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 438 — #476
✐
Capítulo 15. Polimorfismo y Funciones virtuales
La solución se conoce como ligadura tardía (late binding), que significa que la ligadura
se produce en tiempo de ejecución basándose en el tipo de objeto. También
es conocida como ligadura dinámica o ligadura en tiempo de ejecución. Cuando un lenguaje
implementa la ligadura dinámica debe existir algún tipo de mecanismo para
determinar el tipo del objeto en tiempo de ejecución y llamar a la función miembro
apropiada. En el caso de un lenguaje compilado, el compilador todavía no conoce el
tipo actual del objeto, pero inserta código que lo averigua y llama al cuerpo correcto
de la función. El mecanismo de la ligadura dinámica varía de un lenguaje a otro,
pero se puede imaginar que algún tipo de información debe ser introducida en los
objetos. Se verá como trabaja posteriormente.
15.4. Funciones virtuales
Para que la ligadura dinámica tenga efecto en una función particular, C++ necesita
que se use la palabra reservada virtual cuando se declara la función en la clase
base. La ligadura en tiempo de ejecución funciona unícamente con las funciones v-
irtual es, y sólo cuando se está usando una dirección de la clase base donde exista
la función virtual, aunque puede ser definida también en una clase base anterior.
Para crear una función miembro como virtual, simplemente hay que preceder
a la declaración de la función con la palabra reservada virtual. Sólo la declaración
necesita la palabra reservada virtual, y no la definición. Si una función es declarada
como virtual, en la clase base, será entonces virtual en todas las clases
derivadas. La redefinición de una función virtual en una clase derivada se conoce
como overriding.
Hay que hacer notar que sólo es necesario declarar la función como virtual
en la clase base. Todas las funciones de las clases derivadas que encajen con la
declaración que esté en la clase base serán llamadas usando el mecanismo virtual. Se
puede usar la palabra reservada virtual en las declaraciones de las clases derivadas
(no hace ningún mal), pero es redundante y puede causar confusión.
Para conseguir el comportamiento deseado de Instrument2.cpp, simplemente
hay que añadir la palabra reservada virtual en la clase base antes de play().
//: C15:Instrument3.cpp
// Late binding with the virtual keyword
#include
using namespace std;
enum note { middleC, Csharp, Cflat }; // Etc.
class Instrument {
public:
virtual void play(note) const {
cout