多态与虚函数

在类成员函数前面加一个virtual就表示该函数是虚函数，虚函数可以用来实现多态。虚函数会存在虚函数表中，根据指向不同，从而调用基类或子类的函数，这就是多态。例如:

class Animal
{
public:
    virtual void move() {
        std::cout << "animal move" << std::endl;
    }

    virtual void move2() {
        std::cout << "animal move2" << std::endl;
    }
};

class Fish : public Animal
{
public:
    void move() {
        std::cout << "fish move" << std::endl;
    }

    void move2() {
        std::cout << "fish move2" << std::endl;
    }    
};

typedef void(*myfunc)(); //也可以使用c++11中的using语法

int main()
{
    Animal an;
    Fish fi;
    
    Animal *p = &an;
    p->move(); //调用基类的move
    
    p = &fi;
    p->move();//调用子类的move
   

    //通过指针验证了理论的正确性，即虚表指针和虚表的存在

    std::cout << sizeof(Animal2) << std::endl; //64位操作系统输出为8

    ((myfunc**)(&fi))[0][0]();
    ((myfunc**)(&fi))[0][1]();

    //(*(*(p + 0)+0))(p); //理论上可以调用，但是实际上编译会报错，可以通过上面那种方式调用

    return 0;
}

一般来说构造函数不会设置为虚函数，但是对于存在继承关系的的类来说，需要把析构函数设置为虚函数，例如:

#include <iostream>

class Animal
{
public:
    Animal() {
        std::cout << "constuct animal" << std::endl;
    }
    virtual ~Animal() {
        std::cout << "delete animal" << std::endl;
    }    
};

class Fish : public Animal
{
public:
    Fish() {
        std::cout << "construct fish" << std::endl;
    }
    ~Fish() {
        std::cout << "delete fish" << std::endl;
    }
};

int main()
{
    Animal *an = new Fish; 
    delete an;//如果不设置为虚函数，那么就不会调用子类的析构函数，仅仅会根据指针的类型而调用基类的虚构函数，如果为虚函数，首先会调用子类的构造函数，然后根据编译器特性就会自动调用基类的构造函数
    return 0;
}

C++中虚函数和纯虚函数的区别_c++虚函数和纯虚函数的区别-优快云博客