C++中的new/delete、构造/析构函数、dynamic_cast分析
1,new 关键字和 malloc 函数区别(自己、功能、应用):
1,new 关键字是 C++ 的一部分:
1,如果是 C++ 编译器,则肯定可以用 new 申请堆空间内存;
2,malloc 是由 C 库提供的函数:
1,如果没有相应的库,malloc 将不能使用;
2,有些特殊的嵌入式开发中,少了 C 库,则就不能动态内存分配;
3,new 以具体类型为单位进行内存分配;
1,面向对象中一般用 new,不用 malloc;
4,malloc 以字节为单位进行内存分配;
5,new 在申请内存空间时可进行初始化;
1,触发构造函数调用;
6,malloc 仅根据需要申请定量的内存空间;
1,对象的创建只能用 new,malloc 不适合面向对象开发;
2,下面代码输出什么?为什么?见 new 和 malloc 的区别编程实验:
#include <iostream>
#include <string>
#include <cstdlib> using namespace std; class Test
{
int* mp; //为了说明 free() 可能造成内存泄漏问题而添加的成员变量; public:
Test()
{
cout << "Test::Test()" << endl; mp = new int(); // 申请 4 个字节堆空间并初始化为 100; cout << *mp << endl;
} ~Test()
{
delete mp; // 析构函数归还堆空间;但是如果仅仅用 free() 函数归还堆空间,这里析构函数没有调用,则对象没有摧毁,那么就造成了堆空间泄漏,这在大型项目开发中是不可原谅的; cout << "~Test::Test()" << endl;
}
}; int main()
{
Test* pn = new Test; // 第一步申请堆空间,第二步(申请成功后)在堆空间上调用构造函数、因为需要初始化;
Test* pm = (Test*)malloc(sizeof(Test)); // 这行代码运行完后,pm 并没有指向合法的对象,它仅仅指向一片内存空间而已,这个时候这片内存空间不能够成为一片合法的对象,因为就没有对象; delete pn; // 动态归还堆空间;第一步 delete 触发析构函数调用,摧毁对象,第二步归还堆空间;在归还堆空间的时候,要先摧毁掉对象,否则容易出现内存泄漏;
free(pm); // 动态规划堆空间;仅归还堆空间,不触发析构函数调用;这里不能用 delete pm,因为这样会对非法对象调用构造函数,而对于析构函数中的 delete mp 来说,这样的影响是深远的,不知道什么时候就会带来 bug,且不可调试,只能通过“代码走查”的方式来检查是不是混用了两种类型的申请释放堆空间函数; return ;
}
1,结论:
1,free() 可以释放由 new 申请来的堆空间,但是 free() 不会进行析构函数的调用,因此有可能造成内存泄漏;
2,new 和 delete,malloc 和 free 只能匹配使用,不能混用;
3,new 和 malloc 的区别(自己、功能、应用):
1,new 在所有 C++ 编译器中都被支持;
2,malloc 在某些系统开发中是不能调用的;
3,new 能够触发构造函数的调用;
4,malloc 仅分配需要的内存空间;
5,对象的创建只能使用 new;
6,malloc 不适合面向对象开发;
4,下面的代码输出什么?为什么?
1,代码示例:
int main()
{
Test* pn = new Test; // 调用构造函数;
test* pm = (Test*)malloc(sizeof(Test)); // 仅申请堆空间; delete pn; // 调用析构函数;
free(pm); // 仅释放堆空间; return ;
}
5,delete 和 free 的区别(自己、功能、应用):
1,delete 在所有 C++ 编译器中都被支持;
2,free 在某些系统开发中是不能调用;
3,delete 能够触发析构函数的调用;
4,free 仅归还之前分配的内存空间;
5,对象的销毁只能使用 delete;
6,free 不适合面向对象开发。
6,构造函数是否可以成为虚函数?析构函数是否可以成为虚函数?
7,构造函数不可能成为虚函数:
1,在构造函数执行结束后,虚函数表指针才会被正确的初始化;
1,C++ 里面的多态是通过虚函数表和指向虚函数表指针完成的,虚函数表指针是由编译器创建的,同时也是由编译器进行初始化,在构造函数执行结束之后,虚函数表的指针才会被正确进行初始化;
2,在构造函数执行的过程当中,虚函数表的指针有可能是没有被正确初始化的,因为对于虚函数表和虚函数表指针的实现,对于不同的 C++ 编译器而言,实现有可能不一样,但是所有的 C++ 编译器都会保证在构造函数执行结束后,虚函数表指针肯定会被正确的初始化,在这之前,是没有保证的;
3,所以构造函数不可能成为虚函数,创建一个对象的时候,我们需要构造函数来初始化虚函数表的指针,因此构造函数相当于一个入口点,这个入口点负责虚函数调用的前期工作,这个入口点当然不可能是虚函数;
8,析构函数可以成为虚函数:
1,析构函数在对象销毁之前被调用,对象销毁之前意味着虚函数指针是正确的指向对应的虚函数表的;
2,建议在设计类时将析构函数声明为虚函数(工程中设计一个父类的析构函数为虚函数);
1,赋值兼容性申请子类对象给父类指针时,当 delete 作用在指针上时,编译器会直接根据指针类型(此时是父类)来调用相应的析构函数,若父类加上 virtual,编译器可以根据指针指向的实际对象(此时是子类)决定如何调用析构函数(多态);
9,构造、析构、虚函数编程实验:
#include <iostream>
#include <string> using namespace std; class Base
{
public:
Base() // 若申请为析构函数,则编译器在此处显示:error:constructors cannot be declared virtual.
{
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; // 期望调用完子类析构函数再调用父类的析构函数;但是如果父类没有申请为析构函数,则只调用父类析构函数;这是因为此时删除的是一个父类的指针,由于并没有将析构函数申请为 virtual,因此在这样情况下,编译器直接根据指针 p 的类型来决定调用哪一个构造函数,由于指针 p 的类型是父类的类型,所以编译器直接暴力认为调用父类构造函数就可以了;当将父类的虚函数声明为 virtual 时,编译器就不会简单的根据指针 p 的类型来简单调用父类的或者是子类的析构函数了,这个时候由于析构函数是虚函数,所以在执行这行代码的时候,编译器会根据指针 p 指向的实际对象来决定如何调用析构函数,这是多态; return ;
}
1,工程中设计一个类作为父类出现时,我们都要将析构函数声明为虚函数,否 则就有可能产生内存泄漏,因为有可能跳过子类析构函数的调用,如果子类 析构函数中有释放资源的操作(动态内存空间),则后果不堪设想;
10,构造函数中是否可以发生多态?析构函数中是否可以发生多态?
11,构造函数中(构造函数中调用虚函数)不可能发生多态行为:
1,在构造函数执行时,虚函数表指针未被正确初始化;
12,析构函数中(析构函数中调用虚函数)不可能发生多态行为:
1,在析构函数执行时,虚函数表指针可能已经被摧毁;
13,析构函数和构造函数中(调用虚函数时)不能发生多态行为,只调用当前类中的函数版本;
1,构造函数和析构函数中调用虚函数实验:
#include <iostream>
#include <string> 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(); // 打印 Base(),Base::func(),Derived(),Derived::func(), // ... delete p; // 打印 Derived::func(),~Derived(),Base::func(), ~Base(); return ;
}
14,继承中如何正确的使用强制类型转换?
1,dynamic_cast 是与继承相关的类型转换关键字;
2,dynamic_cast 要求相关的类中必须有虚函数;
3,用于有直接或者间接继承关系的指针(引用)之间;
1,指针:
1,转换成功:得到目标类型的指针;
2,转换失败:得到一个空指针;
2,引用:
1,转换成功:得到目标类型的引用;
2,转换失败:得到一个异常操作信息;
4,编译器会检查 dynamic_cast 的使用是否正确;
1,在 C++ 编译器中得到足够重视,是非常有地位的一个类型转换关键字;
2,使用不正确编译器会报错;
5,类型转换的结果只可能在运行阶段才能得到;
1,动态的类型转换,转换结果运行阶段才能得到;
15,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 = p; // 编译器显示:error:invalid conversion from 'Base*' to 'Derived*';
// 未有虚函数时,用 dynamic_cast 转换,编译器显示:error: cannot dynamic_cast 'p' (of type 'class Base*') to type 'Derived*' (source type is not polymorphic(多态的))
// 有虚函数且用了 dynamic_cast 也要判断 pd 不为空;
*/
Base* p = new Base; Derived* pd = dynamic_cast<Derived*>(p); // 不合法,不能使用子类指针,指向父类对象;编译器编译阶不报错;但是运行时 pd = 0; 意味着此处强制类型转换不成功; if( pd != NULL ) // 这样的判断很有必要;
{
cout << "pd = " << pd << endl;
}
else
{
cout << "Cast error!" << endl;
} delete p; return ;
}
1,在多重继承下面、在单继承加多接口这样的开发模型下面,dynamic_cast 非常重要,可以说 dynamic_cast 就是为了C++ 里面面向对象程序设计而诞生的;
16,小结:
1,new/delete 会触发构造函数或者析构函数的调用;
2,构造函数不能成为虚函数;
3,析构函数可以成为虚函数;
4,构造函数和析构函数中都无法产生多态行为;
5,dynamic_cast 是与继承相关的专用转换关键字;
C++中的new/delete、构造/析构函数、dynamic_cast分析的更多相关文章
- C++中的new/delete与operator new/operator delete
new operator/delete operator就是new和delete操作符,而operator new/operator delete是函数. new operator(1)调用opera ...
- C++类中函数(构造函数、析构函数、拷贝构造函数、赋值构造函数)
[1]为什么空类可以创建对象呢? 示例代码如下: #include <iostream> using namespace std; class Empty { }; void main() ...
- c++中的强制转换static_cast、dynamic_cast、reinterpret_cast的不同用法儿
c++中的强制转换static_cast.dynamic_cast.reinterpret_cast的不同用法儿 虽然const_cast是用来去除变量的const限定,但是static_cast ...
- C++中的new/delete
不同于C语言中的malloc/free是库函数,C++语言中的new/delete是运算符,而不是库函数. new/delete执行流程 我们经常会接触到的是new/delete operator(就 ...
- new、delete、析构函数、自动类型转换
new 分配内存,返回指针 new 类型名T (初值列表) 功能:申请用于存放T类型对象的内存空间,并依初值列表赋以初值 结果值: 成功->T类型的指针,指向新分配的内存 失败->0(NU ...
- 刨析一下C++构造析构函数能不能声明为虚函数的背后机理?
以下内容为本人的著作,如需要转载,请声明原文链接微信公众号「englyf」https://www.cnblogs.com/englyf/p/16631774.html 先说结论: 构造函数不能声明为虚 ...
- 数据库设计中的Soft Delete模式
最近几天有点忙,所以我们今天来一篇短的,简单地介绍一下数据库设计中的一种模式——Soft Delete. 可以说,该模式毁誉参半,甚至有非常多的人认为该模式是一个Anti-Pattern.因此在本篇文 ...
- c++中new和delete的使用方法
c++中new和delete的使用方法 new和delete运算符用于动态分配和撤销内存的运算符 new用法: 1. 开辟单变量地址空间 1)new int; //开辟一个存放数组的存储空间 ...
- lintcode :前序遍历和中序遍历树构造二叉树
解题 前序遍历和中序遍历树构造二叉树 根据前序遍历和中序遍历树构造二叉树. 样例 给出中序遍历:[1,2,3]和前序遍历:[2,1,3]. 返回如下的树: 2 / \ 1 3 注意 你可以假设树中不存 ...
随机推荐
- codevs2370 小机房的树 x
2370 小机房的树 时间限制: 1 s 空间限制: 256000 KB 题目等级 : 钻石 Diamond 题目描述 Description 小机房有棵焕狗种的树,树上有N个节点,节点标号 ...
- Springboot 注册拦截器
拦截器 创建myInterceptor类 import javax.servlet.http.HttpServletRequest; import javax.servlet.http.HttpSer ...
- Linux命令-磁盘管理(一)
Linux命令-磁盘管理(一) Linux cd命令 Linux cd命令用于切换当前工作目录至 dirName(目录参数). 其中 dirName 表示法可为绝对路径或相对路径.若目录名称省略,则变 ...
- Oracle 递归查询 (start with ...connect by ...prior)
1.connect by 是结构化查询中用到的,其基本语法是:select … from tablename start with 条件1connect by 条件2where 条件3;例:selec ...
- JS基础_Null和Undefind
1.Null Null类型的值只有一个值,就是null null专门用来表示一个为空的对象 var a=null; console.log(a);//nulltypeof a //object 2.U ...
- 引用&指针交换函数实践
实践如下: #include <iostream> using namespace std; // 普通交换,注意这里的ab值,在具体调用时是基本数据的拷贝,原始数据不会变化 // 因此这 ...
- 二、Java对返回参数进行处理(JSONObject,getJSONArray等)
一.根据返回参数格式获取其中的值 1.得到ResponseEntity<String> responseEntity对象 import org.springframework.http.R ...
- python自然语言处理学习笔记2
基础语法 搜索文本----词语索引使我们看到词的上下 text1.concordance("monstrous") 词出现在相似的上下文中 text1.similar(" ...
- 浏览器端-W3School-HTML:HTML DOM Select 对象
ylbtech-浏览器端-W3School-HTML:HTML DOM Select 对象 1.返回顶部 1. HTML DOM Select 对象 Select 对象 Select 对象代表 HTM ...
- MyBatis如何传入多个参数
一.单个参数 mapper public List<Test> getTestList(String id); xml <select id = "getTestList& ...