【十五】继承与多态（下）

1、重载和重写

思考：

重载和重写有什么区别？什么时候是重载，什么时候是重写？

• 函数重载
  
  • 必须在同一个类中进行
  • 子类无法重载父类的函数，父类同名函数将被覆盖
  • 重载是在编译期间根据参数类型和个数决定调用函数
• 函数重写
  
  • 必须发生于父类与子类之间
  • 并且父类与子类中的函数必须有完全相同的原型
  • 使用virtual声明之后能够产生多态
  • 多态是在运行期间根据具体对象的类型决定调用函数

举例：
假如有如下两个类：

#include <cstdlib>
#include <iostream>

using namespace std;

class Parent
{
public:
    virtual void func()
    {
        cout<<"void func()"<<endl;
    }

    virtual void func(int i)
    {
        cout<<"void func(int i)"<<endl;
    }

    virtual void func(int i, int j)
    {
        cout<<"void func(int i, int j)"<<endl;
    }
};

class Child : public Parent
{
public:
    void func(int i, int j)
    {
        cout<<"void func(int i, int j)"<<" "<<i + j<<endl;
    }

    void func(int i, int j, int k)
    {
        cout<<"void func(int i, int j, int k)"<<" "<<i + j + k<<endl;
    }
};

那么，子类中的func函数和父类中的func函数是什么关系呢？

有人说，它们构成重载，他的原因是这样的：

子类从父类继承而来，那么子类就继承了父类所有的成员，那么子类现在就拥有了父类的三个func函数，再加上自己的两个func函数，所以它们是重载关系！

这个说法显然是错误的！

首先，上面的代码是能通过编译的，那么父类的第三个func函数和子类的第一个func函数就已经无法构成重载，那么如果是重载，编译器必然报错！再者，重载的构成条件是要在同一个作用域下，而子类虽继承自父类，但是它们的作用域却是不一样的！

举例来说，将下面的主函数加入到上面的代码中，编译运行：

int main(int argc, char *argv[])
{
    Child c;
    c.func(); // 如果父类和子类的函数构成了重载，那么该函数会调用成功！

    cout << "Press the enter key to continue ...";
    cin.get();
    return EXIT_SUCCESS;
}

但是事实上，上面的代码却编译不过，编译器提示它找不到不带参数的func函数！因此也说明，它们之间不是重载关系！

如果要调用父类的func函数，则需要指定作用域：

int main(int argc, char *argv[])
{
    Child c;
    c.Parent::func(); //调用父类func函数

    cout << "Press the enter key to continue ...";
    cin.get();
    return EXIT_SUCCESS;
}

这样才能成功！

 
 
2、虚函数深入理解

思考：

  是否可以将类的每个成员函数都声明为虚函数？

为了回答这个问题，先了解以下虚函数的实现机制：

C++中多态的实现原理

• 当类中声明虚函数时，编译器会在类中生成一个虚函数表
• 虚函数表是一个存储类成员虚函数指针的数据结构
• 虚函数表是由编译器自动生成与维护的，会进入最终的可执行程序中
• virtual成员函数会被编译器放入虚函数表
• 类中存在虚函数时，每个对象中都有一个指向虚函数表的指针

如图：

每个具有虚函数的类的对象中都有一个虚函数表，且有一个指针指向该虚函数表：

此时，如果调用函数：

 
思考：

  对象中的VPTR指针什么时候被初始化？

• 对象在创建的时候由编译器对VPTR指针进行初始化
• 只有当对象的构造完全结束后VPTR的指向才最终确定
• 父类对象的VPTR指向父类虚函数表
• 子类对象的VPTR指向子类虚函数表

也就是说：构造函数中调用虚函数无法实现多态！

 
 
3、纯虚函数

面向对象中的抽象类

• 抽象类可用于表示现实世界中的抽象概念
• 抽象类是一种只能定义类型，而不能产生对象的类
• 抽象类只能被继承并重写相关函数
• 抽象类的直接特征是纯虚函数

纯虚函数是只声明函数原型，而故意不定义函数体的虚函数。

抽象类与纯虚函数

• 抽象类不能用于定义对象
• 抽象类只能用于定义指针和引用
• 抽象中的纯虚函数必须被子类重写，如果子类不重写，那么子类还是一个抽象类，且不能实例化对象

示例：

#include <cstdlib>
#include <iostream>

using namespace std;

class Shape
{
public:
    virtual double area() = 0;
};

class Rectangle : public Shape
{
    double m_a;
    double m_b;
public:
    Rectangle(double a, double b)
    {
        m_a = a;
        m_b = b;
    }

    double area()
    {
        return m_a * m_b;
    }
};

class Circle : public Shape
{
    double m_r;
public:
    Circle(double r)
    {
        m_r = r;
    }

    double area()
    {
        return 3.14 * m_r * m_r;
    }
};

void area(Shape* s)
{
    cout<<s->area()<<endl;
}

int main(int argc, char *argv[])
{
    Rectangle rect(2, 3);
    Circle circle(4);

    area(&rect);
    area(&circle);

    cout << "Press the enter key to continue ...";
    cin.get();
    return EXIT_SUCCESS;
}