Lua中的尾调用优化如何实现成长尾函数的疑问？

本文共计453个文字，预计阅读时间需要2分钟。

Lua声明它正确地执行尾部调用，因为每个调用都不需要维护堆栈，允许无限递归。我试写一个和函数，一个不是尾部调用，一个是的：非尾部版本luafunction sum(n) if n==0 then return n else return n + sum(n - 1) endend尾部调用版本luafunction sum(n) return n==0 and n or n + sum(n - 1)end

Lua声称它正确地执行尾部调用,因此每个调用都不需要维护堆栈,因此允许无限递归,我试图写一个和函数,一个不是尾调用,一个是尾调用：

非尾部版本

function sum(n) if n > 0 then return n + sum(n-1) end end print(sum(1000000))

stackoverflow如预期.

尾部版本

function sum2(accu, n) if n > 0 then accu.value = accu.value + n sum2(accu, n-1) end end local accu = {value = 0} sum2(accu, 1000000) print(accu.value)

我想在这种情况下不会有stackoverflow,因为它是一个尾部呼叫,但是由于stackoverflow仍然失败：

/bin/lua/5.1.4/bin/lua: tailcall.lua:13: stack overflow stack traceback: tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' ... tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:13: in function 'sum2' tailcall.lua:17: in main chunk [C]: ?

那么lua真的支持尾调用优化,还是我的功能实际上不是在这里调用？

我在redhat上使用了lua 5.1.4

Lua中的尾部呼叫必须具有以下形式

return fct(args)

所以你的尾呼叫版本必须重写为：

function sum2(accu, n) if n > 0 then accu.value = accu.value + n return sum2(accu, n-1) --< note the return here end end