重载和重写概念面试前强化下

一、概念

重载：是静态多态。在编译的时候就已经确定。重载 的两个函数名是相同的，但是参数的列表不同（个数、类型），返回值也可以不同，在同一个作用域中

重写：子类继承了父类，父类中函数为虚函数，需要加上virtual,（不能用static）在子类中需要重新定义这个虚函数，重写要求返回值相同，参数类型、函数名相同，不在同一个作用域。

为了砂锅问到底，进一步总结多态方面的知识总结，为了应对秋招准备.

二、多态的概念

在面向对象语言中，接口的多种不同实现方式即为多态。简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。

多态的实现方法主要有：

虚函数、抽象类（纯虚函数）、重写（覆盖），模板。

多态的实现可以分为两类：静态多态与动态多态。其中重载、模板就是静态多态，在编译的时候就已经确定了。而动态多态是虚函数机制实现，在运行期间动态绑定的。

虚函数的实现：在有虚函数的类中，类的最开始有一个虚函数表的指针，这个指针指向一个虚函数表，表中存放函数的地址，实际的虚函数存放在.text中。当子类继承父类的时候也会继承其虚函数表，当子类重写父类的时候，会将其继承的虚函数表替换为重新写的函数地址。使用了虚函数，会增加访问内存开销，降低效率。（这就是为啥不是所有的析构函数提前设为了虚函数）

总结虚函数的寻址的过程：

1.获取类型名与函数名

2.从符号表中获得当前虚函数的偏移量

3.利用偏移量得到虚函数的访问地址，并调用虚函数

 

这些函数不能成为虚函数；

1.内联函数：我们都知道内联函数只是在函数调用点将其展开，它不能产生函数符号，所以不能往虚表中存放，自然就不能成为虚函数。

2.静态函数：定义为静态函数的函数，这个函数只和类有关系，它不完全依赖于对象调用，所以也不能成为虚函数。

3.构造函数：都知道只有当调用了构造函数，这个对象才能产生，如果把构造函数写成虚函数，这时候我们的对象就没有办法生    成。更别说用对象去调用了。所以构造函数不能成为虚函数。
 

重点笔记摘要如下：

• 定义一个函数为虚函数，不代表函数为不被实现的函数。
• 定义他为虚函数是为了允许用基类的指针来调用子类的这个函数。（我想这就是虚函数的意义吧，下面基本都在讲纯虚函数和抽象类）
• 定义一个函数为纯虚函数，才代表函数没有被实现。
• 定义纯虚函数是为了实现一个接口，起到一个规范的作用，规范继承这个类的程序员必须实现这个函数。

• class A {
  public:
      virtual void foo() {
          cout<<"A::foo() is called"<<endl;
      }
  };
  
  class B : public A {
  public:
      void foo() {
          cout<<"B::foo() is called"<<endl;
      }
  };
  
  int main(void) {
      A *a = new B();
      a->foo();   // 在这里，a虽然是指向A的指针，但是被调用的函数(foo)却是B的!通过父类指针调用子类
      return 0;
  }

  虚函数只能借助于指针或者引用来达到多态的效果。

• 三、纯虚函数与抽象类

• 关于纯虚函数：

  定义：

  纯虚函数是在基类中声明的虚函数，它在基类中没有定义，但要求任何派生类都要定义自己的实现方法。在基类中实现纯虚函数的方法是在函数原型后加“=0”。如： virtual void funtion1()=0

  为什么要有纯虚函数？

  因为有两个问题：

  1、为了方便使用C++的多态特性，我们常常需要在基类中定义虚函数。
  2、在很多情况下，基类本身生成对象是不合情理的。例如，动物作为一个基类可以派生出老虎、孔雀等子类，但动物本身生成对象明显不合常理。

  为了解决上述问题，引入了纯虚函数的概念。将函数定义为纯虚函数（方法：virtual ReturnType Function()= 0;），则编译器要求在派生类中必须予以重写以实现多态性。同时含有纯虚拟函数的类称为抽象类，它不能生成对象。这样就很好地解决了上述两个问题。（说的非常不错）

  再次“啰嗦”1：声明了纯虚函数的类是一个抽象类。所以，用户不能创建类的实例，只能创建它的派生类的实例。派生类仅仅只是继承函数的接口。

  再次“啰嗦”2：纯虚函数的意义，让所有的类对象（派生类对象）都可以执行纯虚函数的动作，但类无法为纯虚函数提供一个合理的缺省实现（无默认实现）。所以基类纯虚函数的声明就是在告诉子类的设计者，“你必须提供一个纯虚函数的实现，但我不知道你会怎样实现它”。

  再次“啰嗦”3：避免了像“动物”这样的基类可以实例化，即不能生成对象。

  总结：纯虚函数用来规范派生类的行为，即接口

• 抽象类：

  定义：称带有纯虚函数的类为抽象类

  注意：

  1. 抽象类只能作为基类来使用，其纯虚函数的实现由派生类给出。如果派生类中没有重新定义纯虚函数，而只是继承基类的纯虚函数，则这个派生类仍然还是一个抽象类。如果派生类中给出了基类纯虚函数的实现，则该派生类就不再是抽象类了，它是一个可以建立对象的具体的类。

  2. 抽象类是不能定义对象的。

• 四、最后总结：

• 1、纯虚函数声明如下： virtual void funtion1()=0; 纯虚函数一定没有定义，纯虚函数用来规范派生类的行为，即接口。包含纯虚函数的类是抽象类，抽象类不能定义实例，但可以声明指向实现该抽象类的具体类的指针或引用。
  2、虚函数声明如下：virtual ReturnType FunctionName(Parameter)；虚函数必须实现，如果不实现，编译器将报错，错误提示为：
  error LNK****: unresolved external symbol "public: virtual void __thiscall ClassName::virtualFunctionName(void)"
  3、对于虚函数来说，父类和子类都有各自的版本。由多态方式调用的时候动态绑定。
  4、实现了纯虚函数的子类，该纯虚函数在子类中就变成了虚函数，子类的子类即孙子类可以覆盖该虚函数，由多态方式调用的时候动态绑定。
  5、虚函数是C++中用于实现多态(polymorphism)的机制。核心理念就是通过基类访问派生类定义的函数。
  6、在有动态分配堆上内存的时候，析构函数必须是虚函数，但没有必要是纯虚的。
  7、友元不是成员函数，只有成员函数才可以是虚拟的，因此友元不能是虚拟函数。但可以通过让友元函数调用虚拟成员函数来解决友元的虚拟问题。
  8、析构函数应当是虚函数，将调用相应对象类型的析构函数，因此，如果指针指向的是子类对象，将调用子类的析构函数，然后自动调用基类的析构函数。