I should mention that there's no knowledge of Bar nor DerivedBar at compile-time, but there is of Foo. The vtable index of bar within Foo is known as well, but without knowledge of Bar or DerivedBar I can't just do the same with their implementation.