• c++重载、覆盖和隐藏


    看以前的:http://www.cnblogs.com/youxin/p/3305688.html

    答案:a.成员函数被重载的特征:overload
    (1)同的范围(在同一个类中)
    (2)函数名字相同;
    (3)参数不同;
    (4)virtual 关键字可有可无。
    b.覆盖override是指派生类函数覆盖基类函数,特征是:
    (1)不同的范围(分别位于派生类与基类);
    (2)函数名字相同;
    (3)参数相同;
    (4)基类函数必须有virtual 关键字。


     c.“隐藏”是指派生类的函数屏蔽了与其同名的基类函数,规则如下:
    (1)如果派生类的函数与基类的函数同名,但是参数不同。此时,不论有无virtual关键字,基类的函数将被隐藏(注意别与重载混淆)。
    (2)如果派生类的函数与基类的函数同名,并且参数也相同,但是基类函数没有virtual 关键字。此时,基类的函数被隐藏(注意别与覆盖混淆)

       那么再进一步的总结就是:
        @1 重载发生在相同范围的,覆盖和隐藏发生在不同范围的
        @2 覆盖是以虚函数为前提,所以可以称为虚函数覆盖

        如何更好地判断覆盖还是隐藏:
        如果是发生在不同范围的,也即是基类和派生类之间的同名函数,如果不是虚函数覆盖,那么一定是隐藏
        所以,只要看是否发生的是同名同参虚函数,如果是就是虚函数覆盖,否则就是隐藏了

    示例程序8-2-2(a)中:
    (1)函数Derived::f(float)覆盖了Base::f(float)。
    (2)函数Derived::g(int)隐藏了Base::g(float),而不是重载。
    (3)函数Derived::h(float)隐藏了Base::h(float),而不是覆盖。
    #include <iostream.h>
    class Base
    {
    public:
    virtual void f(float x){ cout << "Base::f(float) " << x << endl; }
    void g(float x){ cout << "Base::g(float) " << x << endl; }
    void h(float x){ cout << "Base::h(float) " << x << endl; }
    };
    class Derived : public Base
    {
    public:
    virtual void f(float x){ cout << "Derived::f(float) " << x << endl; }
    void g(int x){ cout << "Derived::g(int) " << x << endl; }
    void h(float x){ cout << "Derived::h(float) " << x << endl; }
    };

    示例8-2-2(a)成员函数的重载、覆盖和隐藏
    据作者考察,很多C++程序员没有意识到有“隐藏”这回事。由于认识不够深刻,
    “隐藏”的发生可谓神出鬼没,常常产生令人迷惑的结果。
    示例8-2-2(b)中,bp 和dp 指向同一地址,按理说运行结果应该是相同的,可事
    实并非这样。

    void main(void)
    {
    Derived d;
    Base *pb = &d;
    Derived *pd = &d;
    // Good : behavior depends solely on type of the object
    pb->f(3.14f); // Derived::f(float) 3.14
    pd->f(3.14f); // Derived::f(float) 3.14
    // Bad : behavior depends on type of the pointer    //Bad:隐藏,行为依赖于指针的类型        
    pb->g(3.14f); // Base::g(float) 3.14
    pd->g(3.14f); // Derived::g(int) 3 (surprise!)
    // Bad : behavior depends on type of the pointer
    pb->h(3.14f); // Base::h(float) 3.14 (surprise!)
    pd->h(3.14f); // Derived::h(float) 3.14
    }

    输出:

    Derived::f(float) 3.14
    Derived::f(float) 3.14
    Base::g(float) 3.14
    Derived::g(int) 3
    Base::h(float) 3.14
    Derived::h(float) 3.14
    请按任意键继续. . .

    参照隐藏规则,派生类的成员函数隐藏了基类的同名函数。所谓隐藏就是指派生类类型的对象、引用、指针访问基类和派生类都有的同名函数的时候,访问的是派生 类的函数,隐藏了基类同名函数。派生类既然自动继承了基类的成员,那么基类成员就可以被派生类直接访问,那么为什么访问的是派生类的成员函数呢?所以隐藏 规则实际上就是默认的c++名字解析过程。
      在继承机制下,派生类的类域被嵌套在基类的类域中,派生类的名字解析过程如下:
      1)首先在派生类中查找改名字。
      2)如果第一步未查找到,及派生类的类域对改名字无法进行解析,则编译器在外围基类类域查找改名字的定义。
      所以准确来说,当派生类和基类有同一名字的成员时,派生类成员是隐藏了对基类成员的直接访问。那么如果访问到基类同名成员呢?加上类作用域限定例如:Base::g(float)就可以访问了。
     
    覆盖:
       覆盖规则造成的调用现象,其实就是类的虚函数实现原理生成的。为了达到动态绑定(后期绑定)的目的,C++编译器通过某个表格(一般称为vtable), 在执行期"间接"调用实际上欲绑定的函数。每一个内含虚函数的类,C++编译器都会为它做出一个虚函数表,表中的每一个元素都指向一个虚函数的地址。 
     
       举个例子:
        class base{
        public:
            func();
            virtual vfunc1();
            virtual vfunc2();
            virtual vfunc3();
        private:
            int _data1;
            int _data2;
        };
        base对象实例在内存中占据的空间是这样的:
         base对象实例          vtable
    --------------------------------------------------------------------------
             vptr ---------> (*vfunc1)() -----------> base::vfunc1();
            _data1           (*vfunc2)() -----------> base::vfunc2();
            _data2           (*vfunc3)() -----------> base::vfunc3();
    --------------------------------------------------------------------------
     
        当派生类改写了虚函数时,虚函数表相应的被修改了:
        class derived: public base{
        public:
            vfunc2();
        };
        derived对象实例              vtable
    --------------------------------------------------------------------------
             vptr  ---------> (*vfunc1)() -----------> base::vfunc1()      
            _data1;           (*vfunc2)() -----------> derived::vfunc2()     ****注意,这里变了!!!***
            _data2;           (*vfunc3)() -----------> base::vfunc3()
    --------------------------------------------------------------------------
     
        所以当你写下如下程序的时候:
        void main(void)
        {
            Derived d;
            Base *pb = &d;
            pb->vfunc2(); // Derived::vfunc2(void)
        } 
        就不难理解为何pb->vfunc2()调用的是derived::vfunc2()了,因为pb实际上指向派生类derived的实例,而派生类中的虚函数表已经被修改了。
     
        总结:简单来说,隐藏规则就是C++的名字解析过程,自里向外解析,这个好理解;而覆盖规则其实就是C++虚函数表的实现原理。
    (大部分来自林锐博士的《高质量c++编程指南》)

     另外一个关于隐藏的知识(也叫name hiding)

    Name hiding in C++ is best illustrated by an example – so take a look at this simple code below and then read on for an explanation:

    Name Hiding in C++ Example

    #include <iostream>  
    #include<stdio.h>
    using namespace std;  
    class ParentClass {
    public: 
         virtual void someFunc(int a){
            printf(" ParentClass :: someFunc (int) 
    ");
        };
    
        virtual void someFunc(int* a){
            printf(" ParentClass :: someFunc (int*) 
    ");
        };
    };
    
    class ChildClass : public ParentClass {
    public:
        virtual void someFunc(int* a){
            printf(" ChildClass ::  someFunc(int*) 
    ");
        };
    };
    
    int main(){
        ChildClass obj;
        /* This function call results in an error: */
        obj.someFunc(7);
    }

    上面错误的原因是

    obj.someFunc(7);与SomeFunc(int* a)类型的形参不兼容。
    http://www.programmerinterview.com/index.php/c-cplusplus/c-name-hiding/
  • 相关阅读:
    RFID亮灯电子标签在仓储管理中的应用
    漫画:寻找股票买入卖出的最佳时机(动态规划)
    JAVA深入解析-36个话题-Two
    一行代码让训练速度提升2倍,飞桨自动混合精度技术详解
    追源码的平凡之路
    看完这篇,你也是字符编码大神!
    微服务的熔断原理与实现
    经典论文复现 | PyraNet:基于特征金字塔网络的人体姿态估计
    一文看懂人机对话
    「Spring Boot 2.4 新特性」一键构建Docker镜像
  • 原文地址:https://www.cnblogs.com/youxin/p/3726841.html
Copyright © 2020-2023  润新知