第55课 经典问题解析四

本文内容来自于对狄泰学院 唐佐林老师 C++深度解析 课程的学习总结

---

问题一 关于动态内存分配

new 和 malloc 的区别是什么？
delete 和 free 的区别是什么？

new 关键字与 malloc 函数的区别

new 关键字是 C++ 的一部分
malloc 是由 C 库提供的函数
new 关键字以 具体类型为单位 进行内存分配
malloc 以字节为单位 进行内存分配
new 在申请内存空间可进行 初始化
malloc 仅根据需要申请定量的内存空间

下面我们来写一个程序来验证new 关键字与 malloc 函数的区别

#include <iostream>
#include <cstdlib>

using namespace std;

class Test
{
public:
    Test()
    {
        cout << "Test()" << endl;
    }

    ~Test()
    {
        cout << "~Test()" << endl;
    }
};

int main()
{
    Test *p1 = new Test();

    Test *p2 = (Test *)malloc(sizeof(Test));

    delete p1;

    free(p2);

    return 0;
}

运行结果

实现结果：new 关键字调用了构造函数进行了对象构造， malloc 函数只申请了堆空间
free 关键字调用了析构函数，而 free 函数只释放了堆空间

new 和 malloc 的区别

new 在 所有 C++ 编译器中都被支持
malloc 在某些系统开发中是不能调用
new 能够 触发构造函数 的调用
malloc 仅分配需要的内存空间
对象的创建只能使用 new
malloc 不适合面向对象开发

delete 和 free 的区别

delete 在 所有 C++ 编译器中被支持
free 在某些系统开发中是不能调用
delete 能够 触发析构函数 的调用
free 仅归还之前分配的内存空间
对象的销毁只能使用 delete
free 不适合面向对象开发

---

问题二 关于虚函数

构造函数 是否可以成为 虚函数 ?
析构函数 是否可以成为 虚函数 ?

构造函数 不可能 成为虚函数

在构造函数执行结束后， 虚函数表指针才会被正确的初始化

析构函数 可以 成为虚函数

建议在设计类时 将析构函数声明为虚函数

实验代码

#include <iostream>

using namespace std;

class Base
{
public:
    Base()
    {
        cout << "Base()" << endl;
        func();
    }

    virtual void func()
    {
        cout << "Base::func()" << endl;
    }

    virtual ~Base()
    {
        func();
        cout << "~Base()" << endl;
    }
};

class Derived : public Base
{
public:
    Derived()
    {
        cout << "Derived()" << endl;
        func();
    }

    virtual void func()
    {
        cout << "Derived::func()" << endl;
    }

    ~Derived()
    {
        func();
        cout << "~Derived()" << endl;
    }
};

int main()
{
    Base *p = new Derived();

    delete p ;

    return 0;
}

运行结果：

构造函数和析构函数中 不能发生多态行为，
只调用当前类中定义的函数版本！

---

问题三 关于继承中的强制类型转换

---

dynamic_cast 是与 继承相关 的类型转换关键字
dynamic_cast 要求相关的类中 必须有虚函数
用于有直接或间接 继承关系 的 指针(引用) 之间
-指针：

• 转换成功： 得到目标类型的指针
• 转换失败：得到一个空指针

-引用：

• 转换成功：得到目标类型的引用
• 转换失败：得到一个异常操作信息
  编译器会检查 dynamic_cast 的使用是否正确
  转换的 结果只可能在运行阶段才能得到

编程实验

#include <iostream>
#include <string>

using namespace std;

class Base
{
public:
    Base()
    {
        cout << "Base::Base()" << endl;
    }

    virtual ~Base()
    {
        cout << "Base::~Base()" << endl;
    }
};

class Derived : public Base
{

};

int main()
{
    Base *p = new Base;

    Derived *pd = dynamic_cast<Derived *>(p);

    if(pd != NULL)
    {
        cout << "pd = " << pd << endl;
    }
    else
    {
        cout << "Cast error" << endl;
    }
    
    delete p;

    return 0;  
}

运行结果：

实验结果：将一个父类指针用 dynamic_cast 强制转换成子类指针，语法编译能通过，但结果是转换失败

---

小结

new / delete 会触 发 构造函数 或者 析构函数 的调用
构造函数 不能 成为虚函数
析构函数 可以 成为虚函数
构造函数 和 析构函数 中都 无法产生多态行为
dynamic_cast 是与 继承相关 的专用转换关键字