c++学习继承之多继承与二义性、多态之运行多态 虚函数

继承的总结

继承总结更详细请参考：c++继承汇总



  析构函数的执行顺序与构造函数严格相反;
 
 

多继承和二义性

二义性的产生：1.重名定义 2. 多路径继承

解决二义性的方法：

• 不重名 — 利用成员名限定法(Bird与Horse中的fun 与 m_weight不重命)
• 在派生类中定义一个同名成员；(在FlyHorse中也定义fun 与 m_weight – 占用内存)
• 作用域限定二义性问题flyHorse.Horse::m_weight；
• 虚基类继承（避免多路径继承二义性）
   

虚基类：采用菱形继承比较好说明

虚继承中有虚基类表指针 — 参考

  虚继承，不包含虚函数时，新增虚基类指针，指向虚基类表，虚基类表中首项存储虚基类指针的偏移量，接下来依次存储虚基类的偏移量（偏移量是相对于虚基类表指针的存储地址）。

多态的实现 – 联编

 

多态性表现为以下几种形式：

• 重载多态：通过调用相同名字的函数，表现出不同的行为。运算符重载也是一种重载多态。
• 运行多态：通过基类的指针，调用不同派生类的同名函数，表现出不同的行为。
• 模板多态，也称为参数多态,通过一个模板，得到不同的函数或不同的类。

虚函数 ： – 动态绑定的基础

  动态绑定又称滞后绑定，即在编译期并不确定函数调用语句的执行代码，而是为它生成虚函数表（哈希表）用以存放同名，同参，同返回值的虚函数地址。真正的绑定推迟到程序运行时再完成。在运行中遇到以指针调用虚函数的语句时，现场决定应执行的具体代码。

 

虚函数的实现机制

  动态绑定是通过虚函数表实现的对于含有虚函数的多态，编译器为每个对象生成一个虚表指针，即在每个对象的内存映像中增加了一个**_vfptr指针**，它指向一个虚函数表vtable。例如在基类的虚函数表（哈希表）中列出基类所有虚函数的入口地址。

• 虚析构函数：使用delete运算符删除一个对象时，能保证析构函数被正确地执行；

• 继承时，要养成的一个好习惯就是，基类析构函数中，加上virtual

【说明】如果将基类的析构函数声明为虚函数时，由该基类所派生的所有派生类的析构函数都自动成为虚函数，即使派生类的析构函数与基类的析构函数名字不相同。
 
 

根据什么考虑是否把一个成员函数声明为虚函数？

• 成员函数所在的类是否会作为基类。
• 成员函数在类的继承后有无可能被更改功能，如果希望更改其功能的，一般应该将它声明为虚函数。如果成员函数在类被继承后功能不需修改，或派生类用不到该函数，则不要把它声明为虚函数。不要仅仅考虑到作为基类而把类中的所有成员函数都声明为虚函数。
• 调用是通过对象名还是通过基类指针或引用去访问，如果是通过基类指针或引用去访问的，则应当声明为虚函数。

【说明】：使用虚函数，系统要有一定的空间开销。当一个类带有虚函数时，编译系统会为该类构造一个虚函数表，它是一个指针数组，存放每个虚函数的入口地址。系统在进行动态关联的时间开销很少，提高了多态性的效率。

 

纯虚函数 – - 抽象类：

  java中没有这一特性，但以接口将以代替。参考：c++抽象类与接口

#include <iostream>
#include <string>
using namespace std;

class Shape
{
public:
    virtual double getArea() const = 0;
    void disply() const;
protected:
    Shape(string name);
    virtual ~Shape(){};
private:
    string m_name;
};
Shape::Shape(string name)
{
    m_name = name;
}

void Shape::disply() const
{
    cout << "Area : " << getArea() <<endl;
}

class Circle:public Shape
{
public:
    double getArea() const;
    Circle(string name,int radius);

private:
    int m_radius;
};
Circle::Circle(string name,int radius):Shape(name)
{
    m_radius = radius;
}

double Circle::getArea() const
{
    return 3.14 * m_radius * m_radius;
}

int main()
{
    Circle cir("圆",5);
    cir.disply();

    return 0;
}

说明：

• 在Shape类中实现面积无意义，但在其派生的正方形、圆、三角形等中有意义；面积也是其派生类所共有的行为，所以定义为纯虚函数。
• 有纯虚函数的类为抽象类；即Shape类为抽象类；
• 纯虚函数getArea() 在 基类Shape类中只申明，在派生类中实现；派生类若不实现getArea()，该派生类仍为抽象类。
• 抽象类不能实例化，既不能创建对象 – 因此一般将该类的构造函数说明为protected提醒程序员，而析构函数照常为public让其可以正常释放

 

类型转换符

//--》const_cast
const int ra = 100;
int &rb = const_cast<int&>(ra);
rb = 10;

//--》static_cast
int n = 6;
double d = static_cast<double>(n);//基本类型转换

//--》reinterpret_cast
int doSomething(){return 0;};
typedef void(*FuncPtr)();//typedef函数指针类型

FuncPtr funcPtrArray;//定义了一个函数指针
funcPtrArray = reinterpret_cast<FuncPtr>(&doSomething);

//--》dynamic_cast
class DerivedClass: public BaseClass
{
    public:
        void fun(){};
};
BaseClass *pd2 = dynamic_cast<BaseClass *>(pb);
//子类->父类，动态类型转换，正确
DerivedClass *pd22 = dynamic_cast<DerivedClass *>(pb2);
//父类->子类，动态类型转换，安全的。结果是NULL

c++写链表、异质链表