Visto che entrambi i puntatori puntano necessariamente allo stesso subobject (è il punto stesso dell'ereditarietà virtual) l'accesso può avvenire tramite uno qualsiasi dei due puntatori, anche se in questo caso specifico il compilatore già sa con esattezza il tipo "vero" dell'oggetto (visto che si tratta di una variabile locale), perciò l'offset di p verrà risolto completamente a compile time, senza passare per i puntatori in questione.