多态(Polymorphism)的实现机制.docVIP

多态(Polymorphism)的实现机制.txt爱情是艺术，结婚是技术，离婚是算术。这年头女孩们都在争做小“腰”精，谁还稀罕小“腹”婆呀？高职不如高薪，高薪不如高寿，高寿不如高兴。多态(Polymorphism)是面向对象的核心概念，本文以C++为例，讨论多态的具体实现。C++中多态可以分为基于继承和虚函数的动态多态以及基于模板的静态多态，如果没有特别指明，本文中出现的多态都是指前者，也就是基于继承和虚函数的动态多态。至于什么是多态，在面向对象中如何使用多态，使用多态的好处等等问题，如果大家感兴趣的话，可以找本面向对象的书来看看。 为了方便说明，下面举一个简单的使用多态的例子(From [1] )： class Shape { protected: int m_x; // X coordinate int m_y; // Y coordinate public: // Pure virtual function for drawing virtual void Draw() = 0; // A regular virtual function virtual void MoveTo(int newX, int newY); // Regular method, not overridable. void Erase(); // Constructor for Shape Shape(int x, int y); // Virtual destructor for Shape virtual ~Shape(); };// Circle class declaration class Circle : public Shape { private: int m_radius; // Radius of the circle public: // Override to draw a circle virtual void Draw(); // Constructor for Circle Circle(int x, int y, int radius); // Destructor for Circle virtual ~Circle(); };// Shape constructor implementation Shape::Shape(int x, int y) { m_x = x; m_y = y; } // Shape destructor implementation Shape::~Shape() { //... } // Circle constructor implementation Circle::Circle(int x, int y, int radius) : Shape (x, y) { m_radius = radius; } // Circle destructor implementation Circle::~Circle() { //... } // Circle override of the pure virtual Draw method. void Circle::Draw() { glib_draw_circle(m_x, m_y, m_radius); } main() { // Define a circle with a center at (50,100) and a radius of 25 Shape *pShape = new Circle(50, 100, 25); // Define a circle with a center at (5,5) and a radius of 2 Circle aCircle(5,5, 2); // Various operations on a Circle via a Shape pointer //Polymorphism pShape-Draw(); pShape-MoveTo(100, 100); pShape-Erase(); delete pShape; // Invoking the Draw method directly aCircle.Draw(); } 例子中使用到多态的代码以黑体标出了，它们一个很明显的特征就是通过一个基类的指针（或者引用）来调用不同子类的方法。 那么，现在的问题是，这个功能是怎样实现的呢？我们可以先来大概猜测一下：对于一般的方法调用，到了汇编代码这一层次的时候，一般都