虚拟关键字如何导致动态绑定？

问：

我知道以下几点

编译器为每个包含至少一个虚拟函数的类构造一个虚拟表。它还向基类添加了一个指针（v_ptr）（假设它具有虚拟函数），并且该指针被每个派生类继承。创建类的对象时，会发出相同的指针来指向该对象所属类的虚拟表。

现在，如果我没记错的话，以上所有内容都只发生在编译时。如果是这样，那么请考虑以下示例 virtual 关键字如何导致动态绑定。

#include <iostream>
using namespace std;

class base {
    public:
        virtual void show()
        {
            cout << "base\n";
        }
};
 class derived:public base{
    public:
        void show()
        {
            cout << "derived\n";
        }
 };


int main()
{
    base* ptr;
    derived drv1;
    ptr = &drv1;
    ptr->show();
    return(0);
}

在上面的代码中，动态绑定是如何在语句中发生的，因为我认为在编译时一切都是已知的来绑定函数。 通过它调用，指向其基础将包含指向其类的虚拟表v_ptr因此编译器仅在编译时知道要调用哪个表。ptr->show();show()ptrderv1show()

注 - 基表示从基类继承的部分。derv1