【C语言冷知识】06_被循环蒙蔽双眼的递归

---

1、教科书的递归

  在C语言中，递归调用是指在函数体内又调用了函数本身，如下：

void Func(void)
{
    if (xx) {
        Func();
    } else {
        return;
    }
}

  函数Func中根据某种条件又再次调用了Func，其实还有一种递归调用，就是goto，如下：

void Func(void)
{
    label: {
        if (xx) {
            goto label;
        }
    }
}

  标签label中根据某种条件又再次调用了label，当然goto不应该在程序内出现，这是很多教科书明文禁止使用的，我们今天看另一个貌似和递归调用没关系的玩意，循环。

2、与递归好像没有关系的循环

  循环有3种，for/while()/do{}while()，但是无论哪一种他本质上就是从从起点跑到终点，然后在终点的位置判断是否要继续，这一点就很像递归调用，只是它看起来不像

void Func(void)
{
    uint8_t i;

    i = 0;
    while(++i < 200) {
        //do something
    }

    for(i = 0; i < 100; ++i) {
        //do something
    }

    i = 0;
    do {
        //do something
    } while(++i < 200);
}

  循环看起来是没有那种重复出现的内容，因为它用for/while()/do{}while()这些字眼替代了，循环在本质上就是递归调用，我们可以用一个上述例子说明，随便找一个平台甚至是模拟平台都行，编译出汇编语言，比如在https://godbolt.org线汇编网站上，就出现以下内容：

3、“假”循环

  没错，如果你仔细分析，你会看到和goto类似的事情

  没错bls汇编就是根据对比的结果是否为0来进行跳转，这个写法跟标签的goto几乎是一样的。循环本质上就是递归，只是为了隔离汇编语言的诟病，C语言再抽象封装了一层命名为循环，让程序员没有这种显式的标签跳转，阅读性和维护性更好；
  同理引出，C语言的指针常年被骂，其它高级语言也是类似这样给指针抽象封装了一层，让程序员不需要为指针的各种操作风险担心，比如C++的智能指针，Java的new等，所以当你觉得new很厉害的时候，是否有想过它的底层原理？它的设计初衷？