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