El envío dinámico es el mecanismo en tiempo de ejecución que decide cuál implementación de método ejecutar según el tipo real del objeto, no el tipo declarado de la variable. La mayoría de los lenguajes basados en clases lo implementan con una tabla de métodos virtuales (vtable).
Cada clase tiene una tabla de punteros a sus implementaciones de métodos. Cada objeto mantiene un puntero oculto a la vtable de su clase. Una llamada virtual se convierte en:
Animal a = new Dog();
a.speak();
a ──▶ Dog object ──▶ [Dog vtable]
speak() ──▶ Dog.speak() ← chosen at RUNTIME
El compilador no codifica Animal.speak; emite "llama a la ranura N de cualquier vtable a la que apunte este objeto."
Animal a = new Dog(); // declared Animal, actual Dog
a.speak(); // → Dog.speak(), because dispatch uses the OBJECT
| Lenguaje | Predeterminado | Notas |
|---|---|---|
| Java | Virtual por defecto | final/static/private no son virtuales |
| C++ | Non-virtual por defecto | Debe marcar virtual para envío dinámico |
| Python | Siempre dinámico | Búsqueda de métodos a través del dict/MRO del objeto |
Hay un pequeño costo (una indirección) y bloquea el inlining. En C++, olvidar virtual significa que las llamadas se vinculan estáticamente y las sobrescrituras no se llaman silenciosamente — un error sutil.
Comprender el envío explica por qué la sobrescritura funciona y por qué el tipo declarado no determina el comportamiento — una fuente común de confusión.
También aclara las consecuencias reales: el costo de rendimiento de las llamadas virtuales, por qué los constructores no deben llamar métodos virtuales, y por qué C++ requiere virtual explícitamente.