无限递归引发的堆栈溢出

今天在写strlen函数的递归实现,当执行以下代码时,会出现段错误。

#include<assert.h>

size_t my_strlen(char *str)
{
    assert(str != NULL);
    if(*str == '\0')
    {
        return 0;
    }
    else
    {
        return 1 + my_strlen(p++);
    }
}

使用gdb进行调试后,定位到错误。当程序执行 return 1 + my_strlen(p++)这条语句时,会出现以下的段错误情况。
这里写图片描述
程序被SIGSEGV信号终结,并报出段错误.
分析 return 1 + my_strlen(p++),当程序进行递归调用的时候。由于传参为p++即传入p,相当于递归本身,并非移到指向当前字符串下一个字符的位置。
这里写图片描述
递归函数会陷入无限递归的状态,因为没有递归结束的条件。当操作系统为进程分配的虚拟地址空间当中的栈空间被耗尽时,此时会发生堆栈溢出。因而产生段错误。
将上述代码尽心更改:

#include<assert.h>

size_t my_strlen(char *str)
{
    assert(str != NULL);
    if(*str == '\0')
    {
        return 0;
    }
    else
    {
        return 1 + my_strlen(++p);
    }
}

注意:return 1+my_strlen(p++)改为return 1+my_strlen(++p)

在linux操作系统下查看栈空间的大小: ulimit -a可以查看所有默认空间的大小。
这里写图片描述

查看栈空间的默认大小 : 命令 ulimit -s
这里写图片描述
可以看到,在我的操作系统下栈空间的默认大小为10MB

递归的开销实际上是比较大的,在使用时谨防堆栈溢出。注意递归调用结束的条件。

猜你喜欢

转载自blog.csdn.net/asjbfjsb/article/details/79887641
今日推荐