
- Lua Tutorial
- Lua - Home
- Lua Basics
- Lua - Overview
- Lua - Environment
- Lua - Basic Syntax
- Lua - Comments
- Lua - Print Hello World
- Lua - Variables
- Lua - Data Types
- Lua - Operators
- Lua - Loops
- Lua - Generic For
- Lua - Decision Making
- Lua - Date and Time
- Lua Functions
- Lua - Functions
- Lua - Multiple Results
- Lua - Named Arguments
- Lua - Default/Optional Arguments
- Lua - Closures
- Lua - Uses of Closures
- Lua - Local Functions
- Lua - Anonymous Functions
- Lua - Functions in Table
- Lua - Proper Tail Calls
- Lua Strings
- Lua - Strings
- Lua - String Concatenation
- Lua - Loop Through String
- Lua - String to Int
- Lua - Split String
- Lua - Check String is NULL
- Lua Arrays
- Lua - Arrays
- Lua - Multi-dimensional Arrays
- Lua - Array Length
- Lua - Iterating Over Arrays
- Lua - Slicing Arrays
- Lua - Sorting Arrays
- Lua - Merging Arrays
- Lua - Sparse Arrays
- Lua - Searching Arrays
- Lua - Resizing Arrays
- Lua - Array to String Conversion
- Lua - Array as Stack
- Lua - Array as Queue
- Lua - Array with Metatables
- Lua - Immutable Arrays
- Lua - Shuffling Arrays
- Lua Iterators
- Lua - Iterators
- Lua - Stateless Iterators
- Lua - Stateful Iterators
- Lua - Built-in Iterators
- Lua - Custom Iterators
- Lua - Iterator Closures
- Lua - Infinite Iterators
- Lua - File Iterators
- Lua - Table Iterators
- Lua - Numeric Iterators
- Lua - Reverse Iterators
- Lua - Filter Iterators
- Lua - Range Iterators
- Lua - Chaining Iterators
- Lua Tables
- Lua - Tables
- Lua - Tables as Arrays
- Lua - Tables as Dictionaries
- Lua - Tables as Sets
- Lua - Table Length
- Lua - Table Iteration
- Lua - Table Constructors
- Lua - Loop through Table
- Lua - Merge Tables
- Lua - Nested Tables
- Lua - Accessing Table Fields
- Lua - Copy Table by Value
- Lua - Get Entries from Table
- Lua - Table Metatables
- Lua - Tables as Objects
- Lua - Table Inheritance
- Lua - Table Cloning
- Lua - Table Sorting
- Lua - Table Searching
- Lua - Table Serialization
- Lua - Weak Tables
- Lua - Table Memory Management
- Lua - Tables as Stacks
- Lua - Tables as Queues
- Lua - Sparse Tables
- Lua Lists
- Lua - Lists
- Lua - Inserting Elements into Lists
- Lua - Removing Elements from Lists
- Lua - Iterating Over Lists
- Lua - Reverse Iterating Over Lists
- Lua - Accessing List Elements
- Lua - Modifying List Elements
- Lua - List Length
- Lua - Concatenate Lists
- Lua - Slicing Lists
- Lua - Sorting Lists
- Lua - Reversing Lists
- Lua - Searching in Lists
- Lua - Shuffling List
- Lua - Multi-dimensional Lists
- Lua - Sparse Lists
- Lua - Lists as Stacks
- Lua - Lists as Queues
- Lua - Functional Operations on Lists
- Lua - Immutable Lists
- Lua - List Serialization
- Lua - Metatables with Lists
- Lua Modules
- Lua - Modules
- Lua - Returning Functions from Modules
- Lua - Returning Functions Table from Modules
- Lua - Module Scope
- Lua - SubModule
- Lua - Module Caching
- Lua - Custom Module Loaders
- Lua - Namespaces
- Lua - Singleton Modules
- Lua - Sharing State Between Modules
- Lua - Module Versioning
- Lua Metatables
- Lua - Metatables
- Lua - Chaining Metatables
- Lua Coroutines
- Lua - Coroutines
- Lua File Handling
- Lua - File I/O
- Lua - Opening Files
- Lua - Modes for File Access
- Lua - Reading Files
- Lua - Writing Files
- Lua - Closing Files
- Lua - Renaming Files
- Lua - Deleting Files
- Lua - File Buffers and Flushing
- Lua - Reading Files Line by Line
- Lua - Binary File Handling
- Lua - File Positioning
- Lua - Appending to Files
- Lua - Error Handling in File Operations
- Lua - Checking if File exists
- Lua - Checking if File is Readable
- Lua - Checking if File is Writable
- Lua - Checking if File is ReadOnly
- Lua - File Descriptors
- Lua - Creating Temporary Files
- Lua - Working with Large Files
- Lua Advanced
- Lua - Error Handling
- Lua - Debugging
- Lua - Garbage Collection
- Lua - Object Oriented
- Lua - Web Programming
- Lua - Database Access
- Lua - Game Programing
- Lua Useful Resources
- Lua - Quick Guide
- Lua - Useful Resources
- Lua - Discussion
Lua - Proper tail calls
Proper tail calls, PTC is an optimization technique employed by many programming languages during a recursion call. In PTC, when a last call of the function is a call to another function, calling function's stack frame is reused. Lua implements Proper Tail Calls. Using PTC, Lua prevents stack from indefinitely growing to avoid stack overflow errors.
When a recursive call of a function ends by calling another function, Lua is not creating a new stack frame. Lua reuses the current stack frame by making a jump to the new function.
Example - Proper Tail Call
main.lua
function helper(n, accumulator) if n == 0 then -- Proper tail call return accumulator else -- proper tail call return helper(n - 1, n * accumulator) end end function factorial(n) -- proper tail call return helper(n, 1) end -- although very large number of iterations, but no stack overflow, -- we can use large number as well print(string.format("%.0f",factorial(10)))
Output
When the above code is built and executed, it produces the following result −
3628800
In order to use proper tail calls in recursive implementations, the another function call must be the last call before it returns. Funtion call must be preceded with return statement and there should not be any other operation in same statement.
In above example factorial is the recursive function which is calling helper function as a last action. Due to PTC, proper tail optimization, Lua reuses the stack frames during recursive calls thus prevents the stack overflow even for very high values of n.
Examples - No Proper Tail Calls
Following are examples of improper tail calls as last function call is not the last action before the final return.
function f1(x) -- return is not specified before g(x), implicit return will be called after g(x) g(x) end function f2(x) -- addition of 1 is last operation instead of g(x) return g(x) + 1 end function f3(x) -- logical OR operation is the last operation return x or g(x) end function f4(x) -- being enclosed in parenthesis, g(x) is not last operation as adjustment can happen return (g(x)) end function f5(x) -- return is the last operation instead of g(x) g(x); return end function f6(x) -- result of g(x) is used by h(), thus not the last operation return h(g(x)) end
Advantages of Proper Tail Calls
Prevents Stack Overflow − Proper Tail Calls optimization enables recursive implementations without risk of stack overflow by exceeding call limits.
Highly Efficient − As new stack frames are not created for each call, overhead of creating stack frame is reduced thus improves the efficiency of recursive calls.
Facilitates Functional Programming − Using PTC, recursive patterns can be applied effectively in functional programming scenarios.
Implement State Machines − State machines can be implemented easily where we need to represent transitions between states as function calls.