无限递归引发的堆栈溢出

今天在写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。

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