请介绍C++中虚函数的实现机制，并说明其如何支持多态。

回答思路

1. 能解释虚函数表（vtable）和虚表指针（vptr）的基本布局
2. 说明虚函数调用通过动态绑定实现运行时多态
3. 能够区分编译时多态（重载）与运行时多态（虚函数）
4. 能说明构造函数中虚函数不会发生多态的边界原因