変数 (プログラミング)
変数の宣言と代入と参照
通例、プログラムにおいて変数を扱うための主要な操作は、宣言・代入・参照の三つである。プログラミング言語によって変数の扱い方は多少異なるので、ここでは一般的な事柄を述べるにとどめる。実際のプログラミング言語の仕様（規格票）の表現とは、いずれも一致しないかもしれない（一般に、言語によって用語の意味も異なる）。
宣言
プログラムの中でどのような名前の変数を用いるのかを、プログラミング言語の文法にのっとって明確に示すことを変数の宣言（せんげん、英: declaration）という。
ほとんどの静的型付けプログラミング言語では、変数を宣言する際にその名前だけでなくそのデータ型も指定する必要がある。
これにより、各変数が扱うことのできるデータの種類を制限でき、プログラムの型安全性が保証できる。一般に、データに対して行なえる処理はデータ型によって異なるので、データ型を厳密に検査することで、誤ったプログラムを書いてしまうことを防止するのに役立つ。
動的プログラミング言語では通例動的型付けが行なわれ、宣言なしに変数を使うことができる。
関数型プログラミング言語に代表される静的型付けプログラミング言語では、プログラム側で型を明示しなくても、言語処理系（コンパイラ）が型システムに基づいて自動的に型を推論する機能があり、これを型推論 (type inference) と呼ぶ。型推論をサポートする言語では、変数宣言時の初期化式（右辺値）から型を推論し、型名の記述を省略することもできる。ただしバリアント型や動的型付けとは異なり、型推論により決定された型は不変であり、再代入によって変数が表す値の型が変わるようなことはない。
代入
宣言した変数に対して実際にデータを関連付けることを代入（だいにゅう、英: substitution / assignment）という。
プログラミング言語によっては、変数の宣言と代入を一度にまとめて行なうことができる。
変数を宣言せずにいきなり代入できる言語もあるが、これは宣言されていない変数に対して処理系が自動的に宣言を補ってくれていると考えることができる。
ある変数に対して初めて行う代入は、特に初期化（しょきか、英: initialization）という。
多くの手続き型言語では、変数は複数回代入をすることができる。すでに代入を行なった変数に改めて代入をすると、その変数とそれまでのデータとの関連はなくなり、新しいデータと改めて関連付けされる。
関数型言語では、一つの変数には一度しか代入できないものも多い。このような言語では、宣言と初期化を一緒に行なうのが一般的であり、また、一つの変数が常に同じ値を持つ（値が変化しない）ことが保証される（参照透過性）。関数型言語では特にこの再代入を許可しない関連付けのことを、束縛 (binding) と呼ぶ。
参照
その変数に代入したデータを利用することを、変数の参照（さんしょう、英: reference）という。
一度も代入を行なっていない、つまり初期化していない変数を参照することは意味を成さず、不正である。
しかし一部のプログラミング言語における特定の変数では、明示的な初期化式がなくとも変数を定義した段階で、自動的に何らかのデータ（通例ゼロまたはゼロに準ずる値）が既定値として変数に関連付けられる。このような場合は、初期化を明示的に記述しないまま変数を参照できる。
スコープと生存期間
変数のスコープ (scope) あるいは可視範囲とは、変数がソースコード上の「どこから可視であるか」を表す概念である。一方、変数の生存期間 (lifetime) とは、変数が持っているその内容との対応付け (binding) が、再代入などが無ければ「いつまで保持され続けるか」を表す概念である。
スコープ
変数はその変数に対して定められたソースコードの特定の範囲内からしか「見えない」。すなわち、その変数が使用可能な範囲が、その変数のスコープである。例えばC言語では、関数の中で定義した変数（仮引数およびローカル変数）はその関数の中でのみ使用できる。これにより、関数の外部から変数を使用されるのを防ぐことができる。また、スコープが異なれば、同じ名前の変数を定義することもできる。例えば関数f()の内部で定義されたxと、関数g()の内部で定義されたxは、それぞれ別々に領域が確保される。一般に、変数に限らず、なんらかの名前について「名前空間を区切るもの」が「スコープ」である。たとえば構造体のメンバ名は、各構造体ごとに名前空間を持つ。
一つのスコープにおいて同じ名前を複数の違うものに使うことは、許されていないことが多い。あるいは許されている場合は、後から現れたものによって、そこから後では前のものは隠蔽（シャドウ）される (en:Variable shadowing) という規則の場合もある。
さらに、スコープが入れ子になっている場合にも似たようなケースがある。たとえば、C言語の「グローバル」「ソースファイルごと」「ブロック内（ローカル変数）」というスコープは、それぞれ入れ子になっていて、かつ、内側からは外側のスコープにある名前が見える（内側からは外側のスコープにある名前は見えない、というような名前空間もある）。そのような時、外側に既にある名前と同じ名前は内側では使えないという規則のこともあれば、内側で同じ名前を使うと、外側のものは隠蔽されるという規則の場合もある。
プログラミング言語には多くの種類のスコープがあるが、詳細については「スコープ」の記事を参照のこと。
以上のように、スコープは実行時のものではなく、基本的にソースコード上で静的に定まるものである（「動的スコープ」という例外もあるが）。
生存期間
以上のようにスコープは変数に限らず、プログラミング言語などの言語における、名前そのものの可視範囲についての概念である。それに対し、生存期間は変数とその中身（オブジェクト）の対応付け (binding) についての概念である。寿命 (lifetime) とも呼ばれる。言語や規格によって呼称は異なり、C言語およびC++では生存期間 (lifetime) や記憶域期間 (storage duration) 、Common Lispではエクステント (extent) 、C#では有効期間 (lifetime) と呼ばれる。
変数の生存期間とは、プログラムの実行時に、その名前とそれが指すオブジェクトという対応付けが、いつ始まり、（再代入などが無い限り）いつまで保持されるか、ということである。
グローバル変数の生存期間は、プロセスの生成時か最初の代入時に始まり、プログラムかプロセスの終了時まで、というプログラミング言語が多い。
C言語の場合、関数の仮引数や、自動記憶域期間を持つローカル変数（static修飾されていない、またはauto修飾されているローカル変数）の場合、生存期間はその関数呼び出しから抜けるまでである。これは、C言語では関数呼び出しから一旦抜けてしまうと、そこに戻ってくることは無い（setjmp/longjmp（en:Setjmp.h）を使えば不可能ではないが、「深い方に飛ぶ」ジャンプは禁止されている）からである。
クロージャなどの変数キャプチャにより、その変数へのアクセスがその後もあるかもしれない場合は、その関数呼び出しを抜けてもその対応付け（束縛、bindingなどとも）は保持されなければならない。クロージャないしそのようなものがある言語では、そのためにローカル変数でもエクステントは（アクセスされる可能性がある限り）延長される。そのようなエクステントをinfiniteあるいはindefiniteのエクステント（訳して、無限の、あるいは、無制限の存在期間、など）という。
なお、C言語の関数におけるローカル変数をstatic修飾すると、グローバル変数と同様の生存期間（静的記憶域期間）になる。一方、C言語のグローバル変数をstatic修飾すると、変数のスコープをファイルスコープに制限する。これは単にstaticという同一のキーワードを、文脈から区別が可能だから流用しているというだけで、それぞれの意味は全く違う（後者はfilescopeといったような別の表現にするのが本来は適切だっただろう）。この流用が、おそらくスコープとエクステントを多くのプログラマが混同する原因の一つである。