重载、覆盖、多态与函数隐藏(4)

小结：

 

        重载 overload 是根据函数的参数列表来选择要调用的函数版本，而多态是根据运行时对象的实际类型来选择要调用的虚 virtual 函数版本，多态的实现是通过派生类对基类的虚 virtual 函数进行覆盖 override 来实现的，若派生类没有对基类的虚 virtual 函数进行覆盖 override 的话，则派生类会自动继承基类的虚 virtual 函数版本，此时无论基类指针指向的对象是基类型还是派生类型，都会调用基类版本的虚 virtual 函数；如果派生类对基类的虚 virtual 函数进行覆盖 override 的话，则会在运行时根据对象的实际类型来选择要调用的虚 virtual 函数版本，例如基类指针指向的对象类型为派生类型，则会调用派生类的虚 virtual 函数版本，从而实现多态。

 

        使用多态的本意是要我们在基类中声明函数为 virtual ，并且是要在派生类中覆盖 override 基类的虚 virtual 函数版本，注意，此时的函数原型与基类保持一致，即同名同参数类型；如果你在派生类中新添加函数版本，你不能通过基类指针动态调用派生类的新的函数版本，这个新的函数版本只作为派生类的一个重载版本。还是同一句话，重载只有在当前类中有效，不管你是在基类重载的，还是在派生类中重载的，两者互不牵连。如果明白这一点的话，在例 6 、例 9 中，我们也会对其的输出结果顺利地理解。

 

        重载是静态联编的，多态是动态联编的。进一步解释，重载与指针实际指向的对象类型无关，多态与指针实际指向的对象类型相关。若基类的指针调用派生类的重载版本， C++ 编绎认为是非法的， C++ 编绎器只认为基类指针只能调用基类的重载版本，重载只在当前类的名字空间作用域内有效，继承会失去重载的特性，当然，若此时的基类指针调用的是一个虚 virtual 函数，那么它还会进行动态选择基类的虚 virtual 函数版本还是派生类的虚 virtual 函数版本来进行具体的操作，这是通过基类指针实际指向的对象类型来做决定的，所以说重载与指针实际指向的对象类型无关，多态与指针实际指向的对象类型相关。 

 

    最后阐明一点，虚 virtual 函数同样可以进行重载，但是重载只能是在当前自己名字空间作用域内有效 ( 请再次参考例 6) 。