This is the third time geekband

---

指针

---

在C/C++等语言中，悬空指针（Dangling Pointer）指的是：一个指针的指向对象已被删除，那么就成了悬空指针。野指针是那些未初始化的指针

---

C++中的多态性

---

在过往的几次作业中，我们一开始便遇到了重载以及后面遇到的虚函数还有抽象类。因此，打算整理一下自己学的一些知识。
C++的多态分为静多态和动多态，两种情况的区别主要在与是发生在编译期间还是运行期间。发生在编译期的是静态绑定，也就是静多态；发生在运行期的则是动态绑定，也就是动多态。

静态多态性可以通过模板和函数重载来实现：

1）运算符重载
重载为类的非静态成员函数；

    函数类型  operator 运算符（形参）
    {
           ......
    }
    参数个数=原操作数个数-1   （后置++、--除外）

#include <iostream>
using namespace std;
class Complex {
public:
    Complex(double r = 0.0, double i = 0.0) : real(r), imag(i) { }
    //运算符+重载成员函数
  Complex operator + (const Complex &c2) const;
    //运算符-重载成员函数
  Complex operator - (const Complex &c2) const;
    void display() const;   //输出复数
private:
    double real;    //复数实部
    double imag;    //复数虚部
};

2）函数模板

template <typename T>
T max(const T& lsh, const T& rhs) 
{
       return (lsh > rhs) ? lsh : rhs;
}

返回两个任意类型对象的最大值（对象），前提是该类型能够使用>运算符进行比较，并且返回值是bool类型。
测试程序：

int a = 3; int b = 4;
cout << max(a, b) << endl;
float c = 2.4; float d = 1.2;
cout << max(c, d) << endl;

这种绑定发生在编译期，这是由于模板的实例化是发生在编译期的，即在编译时编译器发现你调用max(a, b)时就自动生成一个函数。

int max(const int& lsh, const int& rhs) 
{
       return (lsh > rhs) ? lsh : rhs;
}

即将所有的T替换成int;
当你调用max(c, d)时就自动生成一个函数。

float max(const float& lsh, const float& rhs)
{
        return (lsh > rhs) ? lsh : rhs;
}

---

动多态则是通过继承、虚函数(virtual)、指针来实现。

通过虚函数实现运行时多态：

#include <iostream>
using namespace std;

class Base1 {
public:
    virtual void display() const;  //虚函数
};
void Base1::display() const {
    cout << "Base1::display()" << endl;
}

class Base2::public Base1 { 
public:
     virtual void display() const;
};
void Base2::display() const {
    cout << "Base2::display()" << endl;
}
class Derived: public Base2 {
public:
     virtual void display() const; 
};
void Derived::display() const {
    cout << "Derived::display()" << endl;
}

void fun(Base1 *ptr) { 
    ptr->display(); 
}

int main() {    
    Base1 base1;
    Base2 base2;
    Derived derived;    
    fun(&base1);
    fun(&base2);
    fun(&derived);
    return 0;
}

---

虚表与动态绑定
虚表：
1）每个多态类有一个虚表（virtual table）
2）虚表中有当前类的各个虚函数的入口地址
3）每个对象有一个指向当前类的虚表的指针
动态绑定的实现：
1）构造函数中为对象的虚指针赋值
2）通过多态类型的指针或引用调用成员函数时候，通过虚指针找到虚表，进而找到所调用的虚函数的入口地址
3）通过该入口地址调用虚函数

class Base{
public:
    virtual void f();
    virtual void g();
private:
    int i;
};

class Derived: public Base{
public:
    virtual void f();
    virtual void h();
private:
    int j;  
};