这优化局限性也太大了吧，似乎只有在递归能写成循环的时候用的到，既然如此为什么不写循环。。

一般的DFS或是递归，是不会有机会做这种优化的。所以不支持尾递归优化好像很自然，函数递归设计出来也不是为了替代循环。