Qu'est-ce que « Dynamic dispatch, devirtualisation » ?

In dynamic dispatch the function called depends on the run-time type of an object: a C++ virtual call loads the object’s table of function pointers and calls through it, an indirect call. Devirtualisation is the compiler’s replacement of such a call by a direct one, when it can prove the object’s type (a final class, a local object, whole-program analysis).