Ｃでは、使用する変数はあらかじめ宣言しておかなければなりません。 その際には、その変数の型と名前を書く必要があります。
まず変数の名前を決めるに際して注意することは、
Ｃでは、変数の型を細かく指定できます。 型については、基本的には次の3種類に分けられます。 また、サイズや符号の有無などの区別を与えて、 これらの基本型をさらに細かく指定することができます。
単に int と指定した場合、UNIXでは32ビット(4バイト)長の符号付き整数です。 これに加えて、長さは short または long を指定でき、またそれぞれに符号 ありと符号なしの区別が用意されており、表現できる値の範囲が異なります。
float 型と double 型があり、 有効桁数は double が float のおよそ2倍になっています。
1文字を表す char 型があり、これを配列として使うことにより 文字列を表すことができます。文字列の最後には終了を示す数値のゼロが付きます。
この他にもＣでは、void型(値を持たない)や列挙型、 構造体や共用体といった型を使用することができます。 さらに typedef により自分で型名を定義することも可能です。 詳しくは、参考図書を参照してください。
原則として、数値演算は同じ型のもの同士でしか行えません。 けれども、良く使われる算術演算（加減乗除など）では、 表現範囲の大きい方の型に自動的にそろえて演算してくれます。 (例えば、整数型と浮動小数点型との演算では、両方を浮動小数点型に して演算する。)
例
・文字型と整数型→整数型
・整数型と浮動小数点型→浮動小数点型
一般に、型の違うものを同じにそろえる場合は、キャスト変換を使います。
例
int i,j;
double x;
j = i * (int)x ; /* x (double型) を int 型へ変換 */
/* (小数点以下は切捨てられる) */
また、変数には有効範囲があります。
プログラム test2.c の 6,7 行目のように、 すべての関数の外で宣言した変数は、そのファイル内のあらゆる場所で 有効です。 どの関数からも自由に参照したり代入したりできますが、 プログラムが長くなるとどこでその変数を書換えたりしているかが 分かりにくくなるという欠点があります。
ある関数の内部で宣言した変数は、その内部でしか使えません (test2.c の 11〜15 行目)。 つまり、外からはどんな変数が使われているのかが見えないので、 関数をブラックボックスのように扱うことが可能になります。