Implementaciones de llamadas a funciones virtuales alternativas

En C, el enlace dinámico se facilita a través del mecanismo virtual. Si bien el estándar especifica los comportamientos esperados de las llamadas a funciones virtuales, la implementación específica varía según los compiladores. La tabla virtual y el mecanismo de puntero virtual son ampliamente utilizados por compiladores como G y Microsoft Visual Studio.

Implementaciones alternativas

A pesar de la prevalencia del enfoque de tabla virtual, otras Existen implementaciones de despacho dinámico para funciones virtuales. Una alternativa conocida implica el uso de un puntero dentro del objeto en lugar de un puntero virtual. Esta estrategia permite un manejo más eficiente de objetos complejos con múltiples bases y matrices, ya que solo se requiere una entrada en una tabla de mapeo para todos los objetos en una matriz.

Tamaño del objeto y funciones virtuales

La afirmación de que el tamaño de una clase con una función virtual siempre será igual al tamaño de un puntero (el puntero virtual) no es universalmente cierta. La implementación real del envío de funciones virtuales puede influir en el tamaño del objeto. Por ejemplo, en la implementación alternativa mencionada anteriormente, el tamaño de un objeto con una función virtual puede exceder el tamaño de un puntero debido al almacenamiento adicional requerido para el puntero en el objeto.

Limitaciones de Mesas virtuales

Si bien las mesas virtuales son una solución común para el despacho dinámico, también tienen limitaciones. Por ejemplo, su uso puede dar como resultado vtables grandes y una inicialización lenta de objetos, particularmente para objetos mixin complejos con múltiples bases. Esta consecuencia surge del requisito de que el tipo de tiempo de ejecución de un subobjeto siempre debe ser correcto, incluso durante la construcción.

Estructuras de datos alternativas

Un enfoque para superar estos limitaciones es emplear estructuras de datos alternativas para almacenar metadatos. Por ejemplo, se han utilizado matrices Judy para crear un mapeo altamente eficiente entre direcciones de objetos y sus metadatos correspondientes. Este enfoque proporciona una búsqueda rápida y requisitos de almacenamiento modestos.