How modern compilers turn virtual method calls into direct, inlineable function calls:

1. Class Specifier final: Marking a class class Worker final : public Base tells the compiler no further derivations exist. All virtual calls on Worker* become direct static calls!
2. Whole-Program Devirtualization (with LTO): Linker proves that only one derived implementation of Interface::Process() exists in the entire binary, eliminating the vtable dereference.
3. Speculative Devirtualization: Compiles a fast branch checking the most common type pointer with direct inlining!

Marking classes and methods final whenever possible is a free optimization that unlocks compiler devirtualization.

Eliminating vtable pointer dereferences avoids branch mispredictions in hot loops.