C++中的多态详解

[TOC]
#虚函数和多态

虚函数

定义：类的成员函数前面加virtual关键字，则这个成员函数称为虚函数。

###代码示例：

class Person
{
public:
    virtual void Buyticket()
    {
        cout << "买票—全价" << endl;
    }
protected:
    char* _name;
};

虚函数重写

定义:当在子类的定义了一个与父类完全相同的虚函数时，则称子类的这个函数重写（也称覆盖）了父类的这个虚函数。

代码示例：

class Person
{
public:
    virtual void Buyticket()
    {
        cout << "买票—全价" << endl;
    }
protected:
    char* _name;
};

class Student : public Person
{
public:
    virtual void Buyticket()
    {
        cout << "买票—半票" << endl;
    }
protected:
    char* _name;
};

##多态
###定义：一个对象呈现多种形态
###代码示例：

class Person
{
public:
    virtual void Buyticket()
    {
        cout << "买票—全价" << endl;
    }
protected:
    char* _name;
};

class Student : public Person
{
public:
    virtual void Buyticket()
    {
        cout << "买票—半票" << endl;
    }
protected:
    char* _name;
};

void Fun(Person &p)//一个函数实现两种形态
{
    p.Buyticket();
}

int main()
{
    Person p;
    Student s;
    Fun(p);
    Fun(s);
    system("pause");
    return 0;
}

看看多态的结果：

多态的的特性：

1. 派生类重写基类的虚函数实现多态，要求函数名、参数列表、返回值完全相同。（协变除外）
   2. 基类中定义了虚函数，在派生类中该函数始终保持虚函数的特性。
   3. 只有类的成员函数才能定义为虚函数。
   4. 静态成员函数不能定义为虚函数。
   5. 如果在类外定义虚函数，只能在声明函数时加virtual，类外定义函数时不能加virtual。
   6. 构造函数不能为虚函数，虽然可以将operator=定义为虚函数，但是最好不要将operator=定义为虚函数，因为容易使用时容易引
      起混淆。
   7. 不要在构造函数和析构函数里面调用虚函数，在构造函数和析构函数中，对象是不完整的，可能会发生未定义的行为。
   8. 最好把基类的析构函数声明为虚函数。（why？另外析构函数比较特殊，因为派生类的析构函数跟基类的析构函数名称不一样，但
      是构成覆盖，这里是因为编译器做了特殊处理）