注:博客中内容主要来自《狄泰软件学院》,博客仅当私人笔记使用。
测试环境:Ubuntu 10.10
GCC版本:9.2.0
一、关于动态内存分配
new和malloc的区别是什么?
delete和free的区别是什么?
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)delete和free的区别
- 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是与继承相关的专用转换关键字
工程中:父类析构函数一般都声明为虚析构函数,防止上述情况,如果子类有些内存无法释放代码不能执行,会造成内存泄露。