Geekband C++ 第四周

---

vtrp和vtbl

  ○ 虚指针：
      ■ 对象包含虚函数数，则对象内存模型包含有一个（虚）指针，指向虚表
  ○ 虚表：存放虚函数的地址
  ○ 静态绑定：编译器生成 cal xxxx 语句l
  ○ 动态绑定
      ■ 条件
          ● 通过指针绑定
          ● 指针向上转型
          ● 调用虚函数
      ■ 编译器编译成，相当于下面的形式，p表示调用虚函数的指针
          ● (*（p->vtr）[n])(p)
          ● (* p->vptr[n])(p)
      ■ 实现多态的关键
  ○ 例子如下

clipboard(1).png

---

this指针

  ○ 虚函数的另一种用法：Template method
  ○ 过程
      ■ myDoc.OnFileOpen() 相当于 CDocument::OnFileOpen(&myDoc)，&myDoc相当于this
      ■ 使用指针，向上转型，所以在调用虚函数Serialize()时发生动态绑定，相当于
          ● (*(this->vptr)[n])(this)
          ● 调用CMyDoc的Serial函数
  ○ 例子如下

clipboard.png

动态绑定的汇编解释

  ○ 静态绑定：call + 地址
  ○ 动态绑定：call + 虚表查询地址

---

Const

  ○ 定义：常成员函数：const 位于函数后面
  ○ 知识点
      ■ const object只能调用const member function
      ■ non-const object可以调用const member function和non-const member function
      ■ non-const memeber funciton可以调用const member function，反之则不行
      ■ 成员函数的const和non-const版本同时存在（函数重载）：
          ● const object只能调用const版本
          ● non-const object只能调用non-const版本

复习new和delete表达式

  ○ new表达式：先分配memory，再调用ctor
      ■ 先调用operator new（其内部调用malloc）
      ■ 指针类型转换
      ■ 构造函数
  ○ delete表达式：先调用析构函数，在释放内存
      ■ 析构函数
      ■ 调用operator delete（其内部调用free）

重载operator new和operator delete

  ○ 重载全局operator new和operator delete，例子如下
  ○ 重载member operator new和operator delete，例子如下
  ○ 调用member operator new和delete
      ■ Foo* pf = new Foo
      ■ delete pf
  ○ 调用全局operator new和delete
      ■ Foo* pf = ::new Foo
      ■ ::delete pf

全局operator new和delete

member operator new和delete

重载placme new和delete

  ○ 重载class member operator new(), 写出多个版本，前提是每一版本的声明都必须有独特的参数，其中第一个必须是size_t，其余以new所指定的placement arguments为初值
  ○ 也可以重载class member operator delete，写出多个版本，但绝不会被delete调用。只有当new调用的ctor抛出exception，才调用这些重载版的operator delete()。
  ○ 例子，标准库中的basic_string