为什么stm32主函数不能返回return 0

bbq

实在理解不了为什么主函数return 0会产生奇怪的现象！

int main(void)
{
  //此处省略其他代码，没有while(1)
    return 0;
}

Reset_Handler   PROC
                EXPORT  Reset_Handler             [WEAK]
                IMPORT  __main
                IMPORT  SystemInit
                LDR     R0, =SystemInit
                BLX     R0               
                LDR     R0, =__main
                BX      R0
                ENDP

bbq

我体验了一把只要main函数运行到return 0位置，程序都会出现问题，是什么原因？

LcwSwust

那return之后该干嘛呀？运行未知代码？

c2007s

return 就代表程序运行结束了。单片机歇着了，你还想要什么现象？

candylife9

main返回了之后，就回到汇编的Reset_Handler里面了呀，然后Reset_Handler也紧跟着结束。这个时候PC的值就是无效的了，会触发未定义指令异常，然后就会在异常里面执行 B .，相当于while(1) {},出不来了，但是仍然可以响应复位中断，希望选为最佳答案哦。

candylife9

LcwSwust 发表于 2022-7-17 17:55
那return之后该干嘛呀？运行未知代码？

main返回了之后，就回到汇编的Reset_Handler里面了呀，然后Reset_Handler也紧跟着结束。这个时候PC的值就是无效的了，会触发未定义指令异常，然后就会在异常里面执行 B .，相当于while(1) {},出不来了，但是仍然可以响应复位中断，希望选为最佳答案哦。

LcwSwust

candylife9 发表于 2022-7-17 18:21
main返回了之后，就回到汇编的Reset_Handler里面了呀，然后Reset_Handler也紧跟着结束。这个时候PC的值就 ...

从汇编代码看，调用main之后的下一句是ENDP，不是Reset_Handler,且ENDP似乎不是汇编指令，不会生成机器码，那就要看程序烧写后FLASH的相应位置是啥了，估计是0xFFFFFFFF，不清楚是啥指令，可能也会引起复位。

slsdz

和加不加return 0 没关系，你不加编译器也会给你加这句
MOVS     r0,#0
POP      {r4,pc}
main函数如果返回0，代表程序正常退出

jiangxin0571

返回之后干什么呢？乱跑了

candylife9

LcwSwust 发表于 2022-7-17 20:41
从汇编代码看，调用main之后的下一句是ENDP，不是Reset_Handler,且ENDP似乎不是汇编指令，不会生成机器码 ...

ENDP不是汇编代码，是汇编指令，表示一个汇编函数结束。也就是Reset_Handler到ENP就结束了。一旦Reset_Handler结束了，整个程序代码就跑完了，但是PC还是会尝试取下一条，假设整个代码的结束位置是0x08001000，那么PC会尝试去取0x08001004的指令，但是这个地址并没有指令，所以它会取到一条无效指令，由此引发未定义指令异常，进入对应中断无限循环，看起来就是死机了。

candylife9

LcwSwust 发表于 2022-7-17 20:41
从汇编代码看，调用main之后的下一句是ENDP，不是Reset_Handler,且ENDP似乎不是汇编指令，不会生成机器码 ...

因为main函数就是在Reset_Handler里面调用的，main函数返回后，会回到Reset_Handler继续执行，直到遇到Reset_Handler的ENDP

c2007s

candylife9 回复的很到位！

学习阶段

candylife9 发表于 2022-7-18 11:44
因为main函数就是在Reset_Handler里面调用的，main函数返回后，会回到Reset_Handler继续执行，直到遇到Re ...

从main返回后，应该是不能再回到Reset_Handler汇编函数里了，这时程序已经跑飞了。因为这里的指令是BX      R0，并没有在LR中保存返回地址的，应该是回不来了。BLX才能回来的吧。我的理解，欢迎指正。


  最基本的无条件转移指令有两条：
B Label ;转移到 Label 处对应的地址
BX reg ;转移到由寄存器 reg 给出的地址
    呼叫子程序时，需要保存返回地址，正点的指令是：
BL Label ;转移到 Label 处对应的地址，并且把转移前的下条指令地址保存到 LR
BLX reg ;转移到由寄存器 reg 给出的地址，根据 REG 的 LSB 切换处理器状态，;并且把转移前的下条指令地址保存到 LR

candylife9

学习阶段 发表于 2022-7-18 13:53
从main返回后，应该是不能再回到Reset_Handler汇编函数里了，这时程序已经跑飞了。因为这里的指令是BX    ...

也有可能，因为我们并不十分清楚__main具体做了什么，以及return 0的时候是否有恢复某些上下文，反正肯定是进入了未定义指令异常，跑飞其实也是进入了未定义指令异常。如果十分感兴趣，想搞清楚，可以自己做一些验证。

bbq

candylife9 发表于 2022-7-18 14:08
也有可能，因为我们并不十分清楚__main具体做了什么，以及return 0的时候是否有恢复某些上下文，反正肯定 ...

我的现象是程序会重新开始跑！我debug也是，return 0会回到__main这里又重新开始

xiaoxiaoren

关注

狼里个狼121

楼上大佬们解释的很详细

candylife9

bbq 发表于 2022-7-18 18:40
我的现象是程序会重新开始跑！我debug也是，return 0会回到__main这里又重新开始

那就只能理解为编译器在程序跑完的时候，自动又帮你把PC设置为__main了，不让它死机了呗。

slsdz

candylife9 发表于 2022-7-19 20:57
那就只能理解为编译器在程序跑完的时候，自动又帮你把PC设置为__main了，不让它死机了呗。

如果正常退出，是不断重复这个过程。
一直没搞明白楼主想说明啥，不加死循环这就是正常流程。
因为需要一个返回值，return 0 这句代码不管写不写编译器会自动加上。