证明虚函数表的存在