A variable definition is a construct that announces your
intention to use a symbol as a global variable. It uses the special
defconst, which are documented below.
A variable definition serves three purposes. First, it informs people who read the code that the symbol is intended to be used a certain way (as a variable). Second, it informs the Lisp system of this, optionally supplying an initial value and a documentation string. Third, it provides information to programming tools such as etags, allowing them to find where the variable was defined.
The difference between
defvar is mainly a
matter of intent, serving to inform human readers of whether the value
should ever change. Emacs Lisp does not actually prevent you from
changing the value of a variable defined with
notable difference between the two forms is that
unconditionally initializes the variable, whereas
initializes it only if it is originally void.
To define a customizable variable, you should use
defvar as a subroutine). See Variable Definitions.
This special form defines symbol as a variable. Note that symbol is not evaluated; the symbol to be defined should appear explicitly in the
defvarform. The variable is marked as special, meaning that it should always be dynamically bound (see Variable Scoping).
If symbol is void and value is specified,
defvarevaluates value and sets symbol to the result. But if symbol already has a value (i.e., it is not void), value is not even evaluated, and symbol's value remains unchanged. If value is omitted, the value of symbol is not changed in any case.
If symbol has a buffer-local binding in the current buffer,
defvaroperates on the default value, which is buffer-independent, not the current (buffer-local) binding. It sets the default value if the default value is void. See Buffer-Local Variables.
When you evaluate a top-level
defvarform with C-M-x in Emacs Lisp mode (
eval-defun), a special feature of
eval-defunarranges to set the variable unconditionally, without testing whether its value is void.
If the doc-string argument is supplied, it specifies the documentation string for the variable (stored in the symbol's
variable-documentationproperty). See Documentation.
Here are some examples. This form defines
foobut does not initialize it:(defvar foo) ⇒ foo
This example initializes the value of
23, and gives it a documentation string:(defvar bar 23 "The normal weight of a bar.") ⇒ bar
defvarform returns symbol, but it is normally used at top level in a file where its value does not matter.
This special form defines symbol as a value and initializes it. It informs a person reading your code that symbol has a standard global value, established here, that should not be changed by the user or by other programs. Note that symbol is not evaluated; the symbol to be defined must appear explicitly in the
defvar, marks the variable as special, meaning that it should always be dynamically bound (see Variable Scoping). In addition, it marks the variable as risky (see File Local Variables).
defconstalways evaluates value, and sets the value of symbol to the result. If symbol does have a buffer-local binding in the current buffer,
defconstsets the default value, not the buffer-local value. (But you should not be making buffer-local bindings for a symbol that is defined with
An example of the use of
defconstis Emacs's definition of
float-pi—the mathematical constant pi, which ought not to be changed by anyone (attempts by the Indiana State Legislature notwithstanding). As the second form illustrates, however,
defconstis only advisory.(defconst float-pi 3.141592653589793 "The value of Pi.") ⇒ float-pi (setq float-pi 3) ⇒ float-pi float-pi ⇒ 3
Warning: If you use a
special form while the variable has a local binding (made with
let, or a function argument), it sets the local binding rather
than the global binding. This is not what you usually want. To
prevent this, use these special forms at top level in a file, where
normally no local binding is in effect, and make sure to load the file
before making a local binding for the variable.