递归是怎么美好的引发堆内存非法访问的（二叉树）

最新推荐文章于 2024-07-13 16:00:03 发布
最新推荐文章于 2024-07-13 16:00:03 发布
阅读量182 收藏
点赞数
分类专栏： 算法 内存安全 文章标签： 数据结构 算法 决策树 c++ c语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/benben_ho/article/details/121047079
版权

前言：

计算机其实很笨，但它却总能欺骗自以为很聪明的人类；如果它的愚笨被聪明的人利用，你能想象会发生什么吗？

1.递归实现二叉树正常情况：

二叉树数据结构及算法声明 

//
//  T-Tree.hpp
//  T-Tree
//
//  Created by 韩立国 on 2021/10/29.
//

#ifndef T_Tree_hpp
#define T_Tree_hpp

#include <stdio.h>

struct T_struct
{
    float Date;
    T_struct *Left_T;
    T_struct *Right_T;
    int n;   
};

extern void Create_T_Tree(T_struct * &T_struct_Root,unsigned int m);
extern void Front_Search(T_struct *T_struct_Root);
extern void Back_Search(T_struct *T_struct_Root);
extern void Midll_Search(T_struct *T_struct_Root);
//extern bool Insert(int *Root_Node,int Who,int Where);
//extern bool Delete(int *Root_Node,int Who,int Where);
#endif /* T_Tree_hpp */

二叉树算法实现

//
//  T-Tree.cpp
//  T-Tree
//
//  Created by 韩立国 on 2021/10/29.
//

#include "T-Tree.hpp"
#include <stdlib.h>
#include <iostream>
//#include <malloc.h>
using namespace std;

//T_struct *T_struct_Root;
//T_struct *Root_Node=&T_struct_Root;

/*
 建立二叉树
 */
unsigned int m;
void Create_T_Tree(T_struct* &T_struct_Root,unsigned int m)
{
    std::cout<<"I WILL CREATE A TREE,ARE U READY?\n";
    std::cout<<"please put in a VALue   :"<<m<<"LEVEL\n";

    if(m<3)
    {
        //while(m>0)
        //{
        m++;
        //T_struct_Root=(T_struct*)malloc(sizeof(T_struct));
        T_struct_Root=new T_struct;
        cin>>T_struct_Root->Date;
        T_struct_Root->Left_T=NULL;
        T_struct_Root->Right_T=NULL;
        T_struct_Root->n=m;
        Create_T_Tree(T_struct_Root->Left_T,m);
        Create_T_Tree(T_struct_Root->Right_T,m);
        //}
        m--;
    }
    else
    {
        cout<<"OK!\n";
        //T_struct_Root=NULL;
        //return; //T_struct_Root->Date;
    }
}
/*
 中序遍历搜索
 */
void Front_Search(T_struct * T_struct_Root)
{
    if(T_struct_Root==NULL/*||T_struct_Root->Left_T==NULL||T_struct_Root->Right_T==NULL*/)
    {
        cout<<"BOttom is\n";
        //return;
    }else
    {
    
    Front_Search(T_struct_Root->Left_T);
    cout<<"Date is   :"<<T_struct_Root->Date<<"    I aM Level :   "<<T_struct_Root->n<<"\n";
    Front_Search(T_struct_Root->Right_T);


    }
}

测试用例 

//
//  main.cpp
//  T-Tree
//
//  Created by 韩立国 on 2021/10/29.
//

#include <iostream>
#include "T-Tree.hpp"
//#include <stdlib.h>
//#include <malloc.h>
using namespace std;
T_struct *T_struct_Root={0};

int main(int argc, const char * argv[]) {

    Create_T_Tree(T_struct_Root,0);
    std::cout << "T_struct_Root is    :"<<T_struct_Root<<"\n";
    Front_Search(T_struct_Root);
    //std::cout << "Hello, World!\n";
    return 0;
}

测试结果：

I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :0LEVEL
1
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :1LEVEL
2
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
3
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
4
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :1LEVEL
5
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
6
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
7
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
T_struct_Root is    :0x1007063d0
BOttom is
Date is   :3    I aM Level :   3
BOttom is
Date is   :2    I aM Level :   2
BOttom is
Date is   :4    I aM Level :   3
BOttom is
Date is   :1    I aM Level :   1
BOttom is
Date is   :6    I aM Level :   3
BOttom is
Date is   :5    I aM Level :   2
BOttom is
Date is   :7    I aM Level :   3
BOttom is
Program ended with exit code: 0

2.对二叉树内部变量不初始化，引发访问异常

32    T_struct_Root=new T_struct;
33    cin>>T_struct_Root->Date;
34    //T_struct_Root->Left_T=NULL;    //指针无初始化
35    //T_struct_Root->Right_T=NULL;   //指针无初始化

测试结果

T_struct_Root is    :0x10071fd20
BOttom is
Date is   :3    I aM Level :   3
(lldb)

在访问第3层，Date 3之后发生异常退出。

看下栈数据：

T_struct_Root	T_struct *	0x10071fd20	0x000000010071fd20
Date	float	1
Left_T	T_struct *	0x10113cde0	0x000000010113cde0
Date	float	2
Left_T	T_struct *	0x10071fd40	0x000000010071fd40
Date	float	3
Left_T	T_struct *	NULL	0x0000000000000000
Right_T	T_struct *	0x7ff8058b0012	0x00007ff8058b0012  //异常地址
n	int	3
Right_T	T_struct *	0x10113ce00	0x000000010113ce00
n	int	2
Right_T	T_struct *	0x101006420	0x0000000101006420
Date	float	5
Left_T	T_struct *	0x101008190	0x0000000101008190
Right_T	T_struct *	0x101236210	0x0000000101236210
Date	float	7
Left_T	T_struct *	NULL	0x0000000000000000
Right_T	T_struct *	0x10	0x0000000000000010
n	int	3
n	int	2
n	int	1

此时T_struct_Root->Right_T指向了违法地址，引发异常，所以Front_Search( )退出了。

Right_T	T_struct *	0x7ff8058b0012	0x00007ff8058b0012
Date	float	2.59967951E+28
Left_T	T_struct *	0x6e9c0017a00fffee
Right_T	T_struct *	0xa022ffee27890023
n	int	1854930967
n	int	3

那么这块数据是怎么来的呢？

为了更好的跟踪Create_T_Tree(T_struct_Root,0)函数的执行，对源代码稍作调整

unsigned int m;
void Create_T_Tree(T_struct* &T_struct_Root,unsigned int m)
{
    std::cout<<"I WILL CREATE A TREE,ARE U READY?\n";
    std::cout<<"please put in a VALue   :"<<m<<"LEVEL\n";

    if(m<3)
    {
        //while(m>0)
        //{
        m++;
        T_struct_Root=(T_struct*)malloc(sizeof(T_struct));
        //T_struct_Root=new T_struct;
        cin>>T_struct_Root->Date;
        //T_struct_Root->Left_T=NULL;    //指针无初始化
        //T_struct_Root->Right_T=NULL;   //指针无初始化
        cout<<"T_struct_Root->Left_T   is:"<<T_struct_Root->Left_T<<"\n";
        cout<<"T_struct_Root->Right_T   is:"<<T_struct_Root->Right_T<<"\n";
        T_struct_Root->n=m;
        Create_T_Tree(T_struct_Root->Left_T,m);
        Create_T_Tree(T_struct_Root->Right_T,m);
        //}
        m--;
    }
    else
    {
        cout<<"OK!\n";
        //T_struct_Root=NULL;
        //return; //T_struct_Root->Date;
    }
}

让每一次Create_T_Tree(T_struct* &T_struct_Root,unsigned int m)都输出内存块被放Date后T_struct_Root->Left_T、T_struct_Root->Right_T究竟有什么，执行后会看到，奇妙的事情被发现了：

I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :0LEVEL
1
T_struct_Root->Left_T   is:0x10
T_struct_Root->Right_T   is:0x0
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :1LEVEL
2
T_struct_Root->Left_T   is:0xa000000010070002
T_struct_Root->Right_T   is:0x4000000010070536
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
3
T_struct_Root->Left_T   is:0x0
T_struct_Root->Right_T   is:0x7ff8058b162d
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
4
T_struct_Root->Left_T   is:0x7ff90671000a
T_struct_Root->Right_T   is:0x0
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :1LEVEL
5
T_struct_Root->Left_T   is:0x7ff906710008
T_struct_Root->Right_T   is:0x0
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
6
T_struct_Root->Left_T   is:0xe
T_struct_Root->Right_T   is:0x0
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :2LEVEL
7
T_struct_Root->Left_T   is:0x0
T_struct_Root->Right_T   is:0x0
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
I WILL CREATE A TREE,ARE U READY?
please put in a VALue   :3LEVEL
OK!
T_struct_Root is    :0x10112f940
BOttom is
Date is   :3    I aM Level :   3

在Date=2被放置后，T_struct_Root->Left_T   is:0xa000000010070002、T_struct_Root->Right_T   is:0x4000000010070536，可见这个指针数据是原先堆内存被使用后残留的数据，而又没有初始化对其归零，所以导致残留数据被用作指针，原本没有数据的指针指向了未知区域；而这个指针是在下一步递归中使用到的，被用作参数压栈，并被用作变量被写入下一次申请内存的地址，从而导致程序失控。这会导致严重的堆内存写入错误，如果存在函数对其读数据，则会造成非法地址访问；Front_Search(T_struct * T_struct_Root)抛出异常就是这样导致的。

benben_ho
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
内存管理问题(堆内存和栈内存)及二叉树先序遍历递归与非递归为例
qq_22227123的博客
09-13 438
（一）内存空间分类 1.在程序中，data存储在不同的区段（4个）：栈存储区，堆存储区，全局及静态存储区，常量存储区。   栈存储区：主要存参数和局部变量，空间由编译器负责分配和回收，数据后进先出故叫得名；   堆存储区：主要存储动态分配的内存块，这里的数据空间编译器不处理，由程序员负责分配以及回收，如果程序始终没有主动释放，则在程序结束时操作系统回收；   全局及静态存储区：主要存储全局...
递归方法中序遍历内存二叉树.zip
07-11
这里我们关注的是如何使用递归方法来中序遍历内存中的二叉树，以及与Windows内核相关的知识。首先，我们需要了解什么是二叉树以及递归。 **二叉树** 是一种基本的数据结构，其中每个节点最多有两个子节点，通常称为...
递归的理解、内存占用以及使用场景
quill_editor的博客
09-09 871
在递归中，问题被分解为更小的子问题，每个子问题都是原始问题的规模更小的版本，直到达到基本情况（终止条件），然后逐层返回解决方案，最终得到原始问题的解。内存耗尽：每次递归调用都会在内存中创建一个函数执行上下文，如果递归没有终止条件，将会无限地创建新的函数执行上下文，占用大量的内存空间。图中每次递归会产生一个新的栈内存，直至达到终止条件执行完整个递归，根据黑色箭头的顺序，从后向前释放内存，最后一个内存先释放，然后依次执行完前面的函数并释放该函数所在内存。这是为了避免无限递归，确保递归过程能够终止。
二叉树
gittgo
12-03 206
二叉树什么是二叉树二叉树是树的一种特殊形式，它是n个结点的集合，每个结点最多只能有两个子结点。二叉树的子树仍然是二叉树。二叉树的一个结点上对应的两个子树分别称为左子树和右子树。由于子树有左右之分，因此二叉树是有序树。满二叉树在二叉树中除了最后一层的叶子结点外，每层的结点都有两个子结点。完全二叉树在二叉树中除最后一层，其它各层的结点数都达到最大个数，且最后一层叶结点从左向右的顺序连续存在，只缺最后一层
extern 用法：
gorunbu的专栏
03-29 511
extern 用法： 1.readme：extern 表明是“外部的” 与 static 相反，需要引用另一个文件中定义的 variable or function ， 需要在调用之前 extern 声明它的存在。 一般都是在.h文件中声明。 2.注意： 在.h 文件中 variable 需要添加 extern,function 可以添加，也可以不添加 e
递归算法详细分析
乐吾天
09-06 1261
 C通过运行时堆栈支持递归函数的实现。递归函数就是直接或间接调用自身的函数。     许多教科书都把计算机阶乘和菲波那契数列用来说明递归，非常不幸我们可爱的著名的老潭老师的《C语言程序设计》一书中就是从阶乘的计算开始的函数递归。导致读过这本经书的同学们，看到阶乘计算第一个想法就是递归。但是在阶乘的计算里，递归并没有提供任何优越之处。在菲波那契数列中，它的效率更是低的非常恐怖。     这里有一
高并发内存池【项目】
Man9o
03-10 1808
用C++设计并实现了一个高并发内存池，旨在提高多线程应用中内存分配的效率和性能。通过研究TCMalloc（来自Google的开源项目，并被应用于Golang内存分配器）的原理和结构，对比malloc/free，实现了一个针对高并发情境优化的内存分配器。
【代码随想录】二叉树
Melody_Mar的博客
06-25 1005
在现场面试的时候 面试官可能要求手写代码，所以数据结构的定义以及简单逻辑的代码一定要锻炼白纸写出来。因为我们在刷leetcode的时候，节点的定义默认都定义好了，真到面试的时候，需要自己写节点定义的时候，有时候会一脸懵逼！二叉树的定义和链表是差不多的，相对于链表 ，二叉树的节点里多了一个指针， 有两个指针，指向左右孩子。
C++高频面试题——内存管理、堆栈、指针
GodJhin的博客
06-27 641
另外，在实际开发中，推荐优先使用 C++ 的 new/delete 操作符以及容器类（如 std::vector、std::unique_ptr 等），避免手动管理动态内存带来的错误和麻烦。如果程序没有正确管理分配的内存，并且向已分配的堆块写入超过其边界范围之外的数据，就会导致堆溢出。• 使用智能指针：C++ 提供了智能指针类（如 std::unique_ptr、std::shared_ptr），它们能自动管理对象的生命周期和相关资源的释放，在对象不再使用时自动调用析构函数并释放相应的内存。
二叉树递归与非递归遍历
11-03
二叉树遍历是计算机科学中处理二叉树数据结构的一种基本操作，它涉及到访问二叉树中的每个节点。在二叉树中，每个节点最多有两个子节点，通常分为左子节点和右子节点。遍历二叉树的目的是按照某种顺序访问所有节点，...
C++基于递归和非递归算法求二叉树镜像的方法
08-30
基于递归和非递归算法求二叉树镜像的方法 本文主要介绍了C++语言中基于递归和非递归算法求二叉树镜像的方法。二叉树镜像是指将二叉树的左右子树交换，使其成为镜像的过程。本文将详细讲述递归和非递归算法的实现与...
Java实现 LeetCode 662 二叉树最大宽度（递归）
12-21
【二叉树最大宽度问题详解】 在计算机科学中，二叉树是...总之，解决LeetCode 662题的关键在于利用二叉树的特性，通过递归方式逐层遍历，同时维护每层的宽度信息。这种解决方案有效地解决了二叉树最大宽度的计算问题。
图形化编程 scratch 递归 二叉树（带叶子）.sb3
09-19
通过自制积木实现递归画出一颗树，每次画的效果都不一样。
JAVA递归导致内存溢出问题
qq_42093488的博客
03-11 1968
场景：分页递归调用第三方接口，返回大批量数据，导致OOM异常 模拟代码 // JVM参数 -Xmx2G -Xmn1G class Node{ public int id; public String name; public Node(int id, String name) { this.id = id; this.name = name; } ｝ public class TestDemo { public stat.
数据结构 Java DS——链表部分经典题目 (1)
cjejwe的博客
07-09 671
笔者计划在暑假啃完JavaDS,Mysql的内容当然也会继续更这次给读者们分享的是链表的几个比较典型的题目,关于如何手搓一个链表,笔者还在筹划中,毕竟链表的种类也有那么多,但是在下面的题目中,只有单向链表。
数据结构和算法（0-1）----递归
yanminghe66666的博客
07-09 573
递归算法，爬楼梯等解法
数据结构--单链表实现
LH__1314的博客
07-05 1643
链表和顺序表都是线性表的一种，但是顺序表在物理结构和逻辑结构上都是连续的，但链表在逻辑结构上是连续的，而在物理结构上不一定连续；来看以下图片来认识链表与顺序表的差别这里以动态顺序表为例，和链表中的单链表对比一下动态顺序表单链表这里就可以很清晰的看到顺序表的底层其实就是一个数组，数据的是连续存储的（顺序表物理结构连续）；而链表它每一个数据都不是连续的（链表物理结构上不一定连续）。链表节点通过观察上图，我们会发现链表每一个节点都存放在数据和下一个节点的地址。
二分查找和斐波那契查找
最新发布
weixin_50960004的博客
07-13 146
表面上看，后一调整存在风险，此时只能确定切分点arr[mid]＞target ，“贸然”地将arr[mi]排除在进一步的查找范围之外，似乎可能因遗漏这些元素，而导致本应成功的查找以失败告终。也就是说，无论朝哪个方向深入，都只需做1次元素的大小比较，其二，统一沿两个方向深入所需要执行的比较次数，比如都统一为一次。在有序向量中的查找，遇到重复的元素时会返回秩最大的那个，上述查找无法实现这个功能，因此加以改进。所以这样的话，想进入左半区间，进行一次比较，想进入右半区间，会进行两次比较，右侧比较会多。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值