Implementações alternativas de chamadas de função virtual

Em C , a vinculação dinâmica é facilitada por meio do mecanismo virtual. Embora o padrão especifique os comportamentos esperados das chamadas de funções virtuais, a implementação específica varia entre os compiladores. A tabela virtual e o mecanismo de ponteiro virtual são amplamente empregados por compiladores como G e Microsoft Visual Studio.

Implementações alternativas

Apesar da prevalência da abordagem de tabela virtual, outros existem implementações de despacho dinâmico para funções virtuais. Uma alternativa conhecida envolve o uso de um ponteiro no objeto em vez de um ponteiro virtual. Essa estratégia permite um manuseio mais eficiente de objetos complexos com múltiplas bases e arrays, já que apenas uma única entrada em uma tabela de mapeamento é necessária para todos os objetos em um array.

Tamanho do objeto e funções virtuais

A afirmação de que o tamanho de uma classe com uma função virtual será sempre igual ao tamanho de um ponteiro (o ponteiro virtual) não é universalmente verdadeira. A implementação real do envio de função virtual pode influenciar o tamanho do objeto. Por exemplo, na implementação alternativa mencionada acima, o tamanho de um objeto com uma função virtual pode exceder o tamanho de um ponteiro devido ao armazenamento adicional necessário para o ponteiro no objeto.

Limitações de Tabelas Virtuais

Embora as tabelas virtuais sejam uma solução comum para envio dinâmico, elas também têm limitações. Por exemplo, seu uso pode resultar em vtables grandes e inicialização lenta de objetos, particularmente para objetos mixin complexos com múltiplas bases. Essa consequência decorre da exigência de que o tipo de tempo de execução de um subobjeto deve estar sempre correto, mesmo durante a construção.

Estruturas de dados alternativas

Uma abordagem para superar essas limitações é empregar estruturas de dados alternativas para armazenar metadados. Por exemplo, matrizes Judy têm sido usadas para criar um mapeamento altamente eficiente entre endereços de objetos e seus metadados correspondentes. Essa abordagem fornece pesquisa rápida e requisitos de armazenamento modestos.