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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 441 — #479
✐
15.5. Cómo implementa C++ la ligadura dinámica
tune(flute);
tune(drum);
tune(violin);
tune(flugelhorn);
tune(recorder);
f(flugelhorn);
} ///:~
Se puede ver que se ha añadido otro nivel de herencia debajo de Wind, pero el
mecanismo virtual funciona correctamente sin importar cuantos niveles haya. La
función adjust() no está redefinida (override) por Brass y Woodwind. Cuando esto
ocurre, se usa la definición más "cercana" en la jerarquía de herencia - el compilador
garantiza que exista alguna definición para una función virtual, por lo que nunca
acabará en una llamada que no esté enlazada con el cuerpo de una función (lo cual
sería desatroso).
El array A[] contiene punteros a la clase base Instrument, lo que implica que
durante el proceso de inicialización del array habrá upcasting. Este array y la función
f() serán usados en posteriores discusiones.
En la llamada a tune(), el upcasting se realiza en cada tipo de objeto, haciendo
que se obtenga siempre el comportamiento deseado. Se puede describir como "enviar
un mensaje a un objeto y dejar al objeto que se preocupe sobre qué hacer con él".
La función virtual es la lente a usar cuando se está analizando un proyecto: ¿Dónde
deben estar las clases base y cómo se desea extender el programa Sin embargo,
incluso si no se descubre la interfaz apropiada para la clase base y las funciones virtuales
durante la creación del programa, a menudo se descubrirán más tarde, incluso
mucho más tarde cuando se desee ampliar o se vaya a hacer funciones de mantenimiento
en el programa. Esto no implica un error de análisis o de diseño; simplemente
significa que no se conocía o no se podía conocer toda la información al principio.
Debido a la fuerte modularización de C++, no es mucho problema que esto suceda
porque los cambios que se hagan en una parte del sistema no tienden a propagarse
a otras partes como sucede en C.
15.5. Cómo implementa C++ la ligadura dinámica
¿Cómo funciona la ligadura dinámica Todo el trabajo se realiza detrás del telón
gracias al compilador, que instala los mecanismos necesarios de la ligadura dinámica
cuando se crean funciones virtuales. Debido a que los programadores se suelen
beneficiar de la comprensión del mecanismo de las funciones virtuales en C++, esta
sección mostrará la forma en que el compilador implementa este mecanismo.
La palabra reservada virtual le dice al compilador que no debe realizar ligadura
estática. Al contrario, debe instalar automáticamente todos los mecanismos necesarios
para realizar la ligadura dinámica. Esto significa que si se llama a play()
para un objeto Brass a través una dirección a la clase base Instrument, se usará la
función apropiada.
Para que funcione, el compilador típico 2 crea una única tabla (llamada VTABLE)
por cada clase que contenga funciones virtuales. El compilador coloca las direcciones
de las funciones virtuales de esa clase en concreto en la VTABLE. En cada
2 Los compiladores pueden implementar el comportamiento virtual como quieran, pero el modo aquí
descrito es una aproximación casi universal.
441
✐
✐
✐
✐