GeekBand C++面向对象高级编程(上)-2


1. Big There —— 三个特殊函数

  1. 拷贝构造(copy ctor)

  2. 拷贝构造函数的第一个参数必须时自身类类型的引用,而且几乎总是一个const的引用;

  3. 如果类未定义自己的拷贝构造,则编译器会合成一个;

  4. class with pointer members 必须有 copy ctor 和 copy op=,因为使用默认的会指针会指向同一个东西;

  5. 拷贝赋值(copy cp=)

  6. 其实就是重载赋值运算符;

  7. 返回值是左侧对象的引用;

  8. 函数体内第一步就是进行检测自我赋值(self assignment),如果不检测的话,不仅效率会降低,而且可能会导致错误;

  9. 步骤:

    1. 检测自我赋值;
    2. 先将自己delete
    3. 创建一个足够大的空间;
    4. 拷贝赋值;
  10. return *this;

  11. 析构函数(dtor)

  12. dtor 是类的一个成员函数,名字有波浪号接类名构成;

  13. 它没有返回值,也不接受参数,只会有唯一一个析构函数;

  14. 作用:释放对象在成存期分配的所有资源;

  15. 隐式销毁一个内置指针类型的成员不会delete它所指的对象;


2. 所谓栈(stack),所谓堆(heap)

  1. 静态内存用来保存局部static对象,类static数据成员,以及定义在任何函数之外的变量;
  2. Stack:栈内存用来保存定义在函数体内的非static对象
  3. heap : 是指由操作系统提供的一块global内存空间,程序可动态分配从其中获得若干区块;

3. 关于new , 关于delete

  1. 基础知识——来源于c++ primer P400

分配在静态或栈内存中的对象由编译器自动创建和销毁,对于栈对象,仅在其定义的程序块运行时才存在,static对象在使用之前分配,在程序结束是销毁;但是除了静态内存和栈内存,每个程序还拥有一个内存池——堆(heap),程序用堆来存储动态分配的对象——也就是,那些程序在运行时分配的对象,动态对象的生存期有程序来控制,也就是说,当动态对象不再使用时,我们必须显示销毁它们。

  1. 在c++中,new 和 delete 是一对来进行动态内存管理的运算符

    1. new : 在动态内存中为对象分配空间并返回一个指向该对象的指针;
    2. delete : 接受一个动态对象的指针,销毁该对象,并释放与之关联的内存;
  2. 通过老师对动态分配所得的 array 的讲解,得出一个重要结论:array new 一定要搭配 array delete.


4. OOP

  1. Composition

  2. 表示 has-a 的关系

  3. 复合关系下的构造与析构

    • 构造由内而外:container的构造函数首先调用component的默认构造函数;
    • 析构由外而内:container的析构函数首先执行自己,然后才调用component的析构函数
  4. Delegation

    • 用指针相连,composition by reference;
    • 分为对外不变和真正的实现两部分,指针将来可以指向不同的实现端,客户端不受影响;
  5. Inheritance

  6. 表示 is-a 的关系;

  7. 复合关系下的构造与析构

    • 构造由内而外:derived的构造函数首先调用base的默认构造函数;
    • 析构由外而内:derived的析构函数首先执行自己,然后才调用base的析构函数;
  8. 基类的析构函数必须是virtual.

  9. 关于虚函数

    • non-virtual : 声明non-virtual函数的目的就是为了令derived classes继承函数的接口以一份强制性实现。也就是说,你不希望derived class重新override 它;
    • virtual : 声明 impure virtual 函数的目的是让derived classes 继承该函数的接口和函数实现,你希望derived class 重新override ,并且你对它已有默认定义;
    • pure virtual : 声明一个pure virtual 函数的目的是为了让derived classes 只继承函数接口,你希望derived class 一定要重新override ,你对它没有默认定义。

推荐阅读更多精彩内容