Thus, the call to codice_38 above may not require a vtable lookup because the compiler may be able to tell that codice_14 can only hold a codice_19 at this point, and codice_19 does not override codice_38.
Таким образом, вышеприведеный вызов codice_33 может и не требовать просмотра vtable, так как компилятор может сообщить о том, что codice_11 может иметь в этой точке только codice_14, а codice_14 не переопределяет codice_33.