用递归方式翻转字符串

#include<iostream>
using namespace std;

void reverse_str(char* a)
{
if( *a != '/0' )
reverse_str(a+1); //不能写成 reverse_str(a++)，原因是传递给子被调 函数的参数一直没变！！
cout << *a; //也不能写成 reverse_str(++a)，输出开始会多一个'/0'，结尾缺少 头一个字符
}

int main()
{
char *b="abcdef";
reverse_str(b);
}

代码在dev-c++ 4.9.9.2下调试通过
奇怪的是：
dev-c++ 4.9.9.2对a++的情况照样可以正常退出，这明明是个无穷递归啊？！
后来又用while(1)试了下，也能正常退出，晕！