Automatic variable: Difference between revisions

Revision as of 12:11, 4 March 2015

Revision as of 14:22, 4 March 2015

Line 1:

__NOTOC__

In [[computer programming]], an '''automatic variable''' is a local [[Variable (programming)|variable]] which is allocated and deallocated automatically when program flow enters and leaves the variable's scope. The scope is the lexical context, particularly the function or block in which a variable is defined. Automatic localLocal data is typically (in most languages) invisible outside the function or lexical context where it is defined. ItLocal data is also invisible and inaccessible to a locally ''called'' function, <ref group="note">unless thisit is a [[nested function]], which itself is also ''defined'' locally, along with that local data, see [[nested function]]</ref> but is not deallocated, coming back in scope as the execution thread returns to the caller.

Automatic local variables primarily applies to recursive [[scope (programming)|lexically-scoped]] languages.<ref group="note">although they exist in a somewhat similar, but not identical, form also in recursive languages with [[dynamic scoping]], such as older variants of [[LISP]]</ref> Automatic local variables are normally [[Stack-based memory allocation|allocated in the stack frame]] of the procedure in which they are declared.<ref group="note">unless otherwise specified, such as static or heap-based data, which are specifiable in some languages</ref> This was originally done to achieve [[reentrant (subroutine)|re-entrancy]] and allowing [[recursion]],<ref group="note">When the reentrant property of the routine is used, for recursion or otherwise, the [[compiler optimization|optimizer]] must ''not'' try to allocate such variables in [[processor register]]s (for efficiency) as this would break the reentrancy.</ref> considerations that still applies today. The concept of automatic variables in recursive (and [[nested function|nested]]) functions in a lexically scoped language was introduced to the wider audience with [[ALGOL]] in the late 1950s, and was further popularized by its many descendants.

The term ''[[local variable]]'' is usually synonymous with automatic variable, since these are the same thing in many programming languages, but local is more general – most local variables are automatic local variables, but [[static local variable]]s also exist, notably in C. For a static local variable, the allocation is static (the lifetime is the entire program execution), not automatic, but it is only in scope during the execution of the function.