Numero di tavoli virtuali e puntatori virtuali in un programma C++

Question

Let dire che abbiamo qui di seguito il programma:

class A 
{  public: 
     virtual fun(){}; 
}; 
class B:public A 
{  public: 
    virtual fun(){}; 
}; 
int main() 
{ 
    A a1; 
    B b1; 
} 

La mia domanda è quante vtables e quanti vptrs verrà creato, quando si corre questo programma?

Answer 1

È fortemente dipendente dall'implementazione, ma in genere si otterrà un oggetto vtable per classe che ha funzioni virtuali (classi senza funzioni virtuali o basi non ne hanno bisogno) e un vptr per oggetto di una classe con un vtable (indicando il vtable della classe).

Le cose diventano più complesse se si dispone di più ereditarietà e classi di base virtuali, che possono essere implementate in molti modi. Alcune implementazioni usano un'aggiunta vtable per ogni classe di base addizionale (così si finisce con un vtable per classe base per classe), mentre altri usano un singolo vtable con informazioni extra in esso. Ciò potrebbe comportare la necessità di più vptr per oggetto.

La parola chiave virtual in B è irrilevante - se la funzione è virtuale nella classe base, sarà virtuale nelle classi derivate a prescindere.

Answer 2

Si noti che questo è strettamente dipendente dall'implementazione.
Lo standard C++ non parla di vptr o vtable, il meccanismo virtuale è escluso come dettaglio di implementazione per i compilatori. Quindi, in pratica, i compilatori possono implementarlo senza utilizzare vptr o vtable. Tuttavia, quasi tutti i compilatori noti lo implementano utilizzando vptr e vtable.

luce di quanto sopra, per rispondere alla tua domanda:

Ogni classe avrà una propria tabella virtuale.
Mentre ogni oggetto ha il proprio puntatore virtuale.

Answer 3

Fondamentalmente, 2. Uno per class A, uno per class B (vftables) e 2 vfptrs, uno per a1 e uno per b1.

Tuttavia, questo non è obbligatorio, quindi non si può avere nessuno. (Di solito le implementazioni usano vftables, ma la sua non mandato.

Nota @R. Martinho Fernandes con le ottimizzazioni su, non avrete oggetti creati, in modo che nessun vfptrs.

Answer 4

Questo programma può essere ottimizzato per essere esattamente come questo:

int main(){} 

Quindi, "none" è una possibilità

Answer 5

tavolo Virual verrà creato solo se atleast 1 funzione virtuale è lì nella classe Base, che verrà ereditato alcun modo al. classi derivate.it non importa anche se rimuovi la parola chiave virtuale dalla classe derivata B perché stai già vivendo un divertimento virtuale() in A. Quindi il numero di tabelle virtuali sarà 2 (come base per classe) e il numero di virtual ptrs sarà anche 2, come base per oggetto.VTABLE per A --- v_ptr *, A :: fun()

& VTABLE per B --- V_ptr * (che è stato ereditato da A), B :: fun()/* B hanno accesso ad entrambi A :: fun & B's fun(), ma dato che abbiamo menzionato A :: fun() come virtuale la tabella virtuale di B è riempita con la versione più derivata della funzione, fun(), che non è altro che B :: fun(). spero che questo cancella ur dubbio

Answer 6

ci saranno 2 vtables, uno per classe a e uno per di classe B. E ci saranno 3 vptrs, uno in a1 e due in b1 (uno che punta a vtable di classe A e altro che punta a vtable di classe B).