Use of a virtual function implies _____.

Correct answer: Dynamic binding.

A virtual function makes the function call resolve at runtime according to the actual object type. That runtime resolution is called dynamic binding.

• Overriding: closely related, because a derived class may override the virtual function. But overriding is the redefinition itself, not the binding mechanism asked by the stem.

• Dynamic binding: the mechanism enabled by virtual functions, where the final method body is selected during execution.

• Overloading/static binding: resolved at compile time, so they are not implied by virtual functions.

Therefore, the best answer is Dynamic binding.