55-经典问题解析四

注:博客中内容主要来自《狄泰软件学院》,博客仅当私人笔记使用。

测试环境:Ubuntu 10.10

GCC版本:9.2.0

 

一、关于动态内存分配

                newmalloc的区别是什么?

                deletefree的区别是什么?

 

1)new关键字与malloc函数的区别(表象)

    -    new关键字是C++的一部分

    -    malloc是由C库提供的函数

    -    new以具体类型为单位进行内存分配

    -    malloc以字节为单位进行内存分配

    -    new在申请内存空间时可进行初始化

    -    malloc仅根据需要申请定量的内存空间

 

2)下面的代码输出什么?为什么?

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

int main()
{
    Test* pn = new Test;   //1、在堆空间申请内存。2、调用构造函数进行初始化。
    Test* pm = (Test*)malloc(sizeof(Test)); //pm只指向一片内存空间,不是合法对象
    return 0;
}

 

编程实验
new和malloc的区别
55-1.cpp
#include <iostream>
#include <string>
#include <cstdlib>

using namespace std;

class Test
{
    int* mp;
public:
    Test()
    {
        cout << "Test::Test()" << endl;
        
        mp = new int(100);
        
        cout << *mp << endl;
    }
    
    ~Test()
    {
        delete mp;
        
        cout << "~Test::Test()" << endl;
    }
};

int main()
{
    Test* pn = new Test;
    Test* pm = (Test*)malloc(sizeof(Test));
    
    //free(pn);  //不调用析构函数,无法释放mp指向的堆空间,造成内存泄露
    delete pn;
    free(pm);
    
    return 0;
}

操作:

1) g++ 55-1.cpp -o 55-1.out编译正确,打印结果:

Test::Test()
100
~Test::Test()

分析:

        new Test;会触发构造函数创建类,但是malloc不会,它仅仅是分配内存。

        delete pn;销毁指向对空间内存前会先调用类的析构函数,然后再释放申请的堆内存。但是free(pm)直接释放堆内存,如果构造函数中没有释放类中分配的内存,会发生内存泄露。

 

3)new和malloc的区别

    -    new在所有C++编译器中都被支持

    -    malloc在某些系统开发中是不能调用(没有对应的库函数)

    -    new能够触发构造函数的调用

    -    malloc仅分配需要的内存空间

    -    对象的创建只能使用new

    -    malloc不适合面向对象开发

 

4)下面的代码输出什么?为什么?

int main()
{
    Test* pn = new Test;    //触发构造函数,创建类
    Test* pm = (Test*)malloc(sizeof(Test));    //不触发构造函数,没有类产生
 
    delete pn;    //调用析构函数,然后释放pn指向的堆内存
    free(pm);    //直接释放pm指向的堆内存
    
    return 0;
}

5)deletefree的区别

    -    delete在所有C++编译器中都被支持

    -    free在某些系统开发中是不能调用

    -    delete能够触发析构函数的调用

    -    free仅归还之前分配的内存空间

    -    对象的销毁只能使用delete

    -    free不适合面向对象开发

 

二、关于虚函数

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

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

 

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

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

2)析构函数可以成为虚函数

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

 

编程实验
构造,析构,虚函数
55-2.cpp
#include <iostream>
#include <string>

using namespace std;

class Base
{
public:
    virtual Base()    //将构造函数声明为虚函数
    {
        cout << "Base()" << endl;
    }
    
    virtual void func() 
    {
        cout << "Base::func()" << endl;
    }
    
    ~Base()  //可以成为虚函数
    {
 
        cout << "~Base()" << endl;
    }
};


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


int main()
{
    Base* p = new Derived();
    
    // ...
    
    delete p;
    
    return 0;
}

操作:

1) 将Base()构造函数声明为虚函数,g++ 55-2.cpp -o 55-2.out编译错误:

55-2.cpp:9:15: error: constructors cannot be declared virtual 

2) 修改代码:

#include <iostream>
#include <string>

using namespace std;

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

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

int main()
{
    Base* p = new Derived();
    
    // ...
    
    delete p;
    
    return 0;
}

g++ 55-2.cpp -o 55-2.out编译正常,打印结果:

Base()
Derived()   
~Base()    

分析:

        子类Derived在堆空间创建对象,用父类Base*指针指向堆空间。delete p时释放p指向的堆空间(这里释放的是父类指针Base*),此时编译器认为只调用父类的析构函数(只打印~Base()了)。如果需要在子类析构函数释放内存,可能会有内存泄露。

        我们期望的是先调用子类析构函数,在调用父类析构函数。但实际只调用父类析构函数。

 

解决办法:将父类析构函数声明为虚构函数(virtual),代码如下:

#include <iostream>
#include <string>

using namespace std;

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

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

int main()
{
    Base* p = new Derived();
    
    // ...
    
    delete p;
    
    return 0;
}

g++ 55-2.cpp -o 55-2.out编译正确,打印结果:

Base()
Derived()    
~Derived()    
~Base()    

分析:

        将继承的父类声明为析构函数,杜绝了父类指针指向子类对象时,父类指针被销毁无法自动调用子类析构函数。

        给父类析构函数声明为虚函数后,会释放父类指针指向的实际对象(这个例子是Derived对象本身)。

 

工程中:父类析构函数一般都声明为虚析构函数,防止上述情况,如果子类有些内存无法释放代码不能执行,会造成内存泄露。

 

        构造函数中是否可以发生多态?

        析构函数中是否可以发生多态?

 

3)构造函数中不可能发生多态行为

    -    在构造函数执行时,虚函数表指针未被正确初始化

4)析构函数中不可能发生多态行为

    -    在析构函数执行时,虚函数表指针已经被销毁

 

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

 

测试:55-2.cpp,添加func():

#include <iostream>
#include <string>

using namespace std;

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

class Derived : public Base
{
public:
    Derived()
    {
        cout << "Derived()" << endl;
    
        func();
    }
    
    virtual void func()
    {
        cout << "Derived::func()" << endl;
    }
    
    virtual ~Derived()    //将父类析构函数声明为虚函数
    {
        func();
    
        cout << "~Derived()" << endl;
    }
};

int main()
{
    Base* p = new Derived();
    
    // ...
    
    delete p;
    
    return 0;
}

g++ 55-2.cpp -o 55-2.out编译正确,打印结果:

Base()
Base::func()
Derived()
Derived::func()
Derived::func()
~Derived()
Base::func()
~Base()

分析:

        构造函数和析构函数被声明为虚函数后,并没有发生多态行为,各自调用各自类的构造函数或者析构函数。

一个对象只有一个虚函数表。虚表内容会不会改变,取决于构造函数。

涉及到C++对象模型

 

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

            继承中如何正确的使用强制类型转换

 

1)dynamic_cast是与继承相关的类型转换关键字

2)dynamic_cast要求相关的类中必须有虚函数

3)用于有直接或者间接继承关系指针引用)之间

    -    指针:

        * 转换成功:得到目标类型的指针

        * 转换失败:得到一个空指针

    -    引用:

        * 转换成功:得到目标类型的引用

        * 转换失败:得到一个异常操作信息

4)编译器会检查dynamic_cast的使用是否正确

5)类型转换的结果只可能在运行阶段才能得到

 

编程实验
dynamic_cast的使用
55-3.cpp
#include <iostream>
#include <string>

using namespace std;

class Base
{
public:
    Base()
    {
        cout << "Base::Base()" << endl;
    }
    
    //virtual ~Base()   //工程经验,父类的析构函数都生成为虚析构函数
    ~Base()
    {
        cout << "Base::~Base()" << endl;
    }
};

class Derived : public Base
{

};

int main()
{
    Base* p = new Derived;
    
    Derived* pd = p;
    
    return 0;
}

操作:

1) g++ 55-3.cpp -o 55-3.out编译错误:

55-3.cpp: In function 'int main()':
55-3.cpp:29:16: error: invalid conversion from 'Base*' to 'Derived*'
    Derived* pd = p;
错误:从'Base'非法转换到'Derived*

分析:
        不可以用父类指针初始化子类指针。
2) 使用强制转换dynamic_cast<Derived*>: 

#include <iostream>
#include <string>

using namespace std;

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

class Derived : public Base
{

};

int main()
{
    Base* p = new Derived;
    
    Derived* pd = dynamic_cast<Derived*>(p);
    
    return 0;
}

g++ 55-3.cpp -o 55-3.out编译错误:

55-3.cpp:29:40: error: cannot dynamic_cast 'p' (of type 'calss Base*') to type 'class Derived*'(source type is not polymorphic)
错误:不能用 dynamic_cast 将'p'转换成 'class Derived*'类型(原类型不是多态)    

因为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 Derived;    //父类指针指向子类对象
    
    Derived* pd = dynamic_cast<Derived*>(p);
    
    cout << "pd = " << pd << endl;
    
    return 0;
}

打印结果:

Base::Base()
pd = 0x8bda008    

分析:

        这里的父类指针Base* p指向了子类Derived,程序运行时可以转换成功。

 

如果父类指针Base* p指向了父类Base,在进行强制转换会如何:

#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);
    
    cout << "pd = " << pd << endl;
    
    return 0;
}

g++ 55-3.cpp -o 55-3.out编译正确,打印结果:

Base::Base()
pd = 0    

分析:

        pd是空指针,因为dynamic_cast<Derived*>(p)转换失败。

因此在使用转换后的pd需要判断指针是否为空。

int main()
{
    Base* p = new Base;    //父类指针指向父类对象
    
    Derived* pd = dynamic_cast<Derived*>(p);
    
    if( pd != NULL )
    {
        cout << "pd = " << pd << endl;
    }
    else
    {
        cout << "Cast error!" << endl;
    }
        
    return 0;
}

打印结果:

Base::Base()
Cast error!    

分析:

        不能用子类指针指向父类对象。在单继承+多接口时很常用。

 

小结

1) new/delete会触发构造函数或者析构函数的调用

2) 构造函数不能成为虚函数

3) 析构函数可以成为虚函数

4) 构造函数析构函数中都无法产生多态行为

5) dynamic_cast是与继承相关的专用转换关键字

工程中:父类析构函数一般都声明为虚析构函数,防止上述情况,如果子类有些内存无法释放代码不能执行,会造成内存泄露。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值