Pythonで変数は宣言不要？動的型付けの仕組みとtype()関数の使い方を解説

結論から言うと、Pythonでは変数を事前に宣言する必要はありません。使いたいタイミングで、いきなり値を代入して変数を使い始めることができます。

以下では、なぜ宣言が不要なのか、その背景にある仕組みを詳しく解説します。

静的型付け言語では変数の宣言が必須

C、C++、Java、C#といった静的型付け言語では、プログラム内で変数を使用する前に、その名前とデータ型を明示的に宣言しなければなりません。コンパイラがこの宣言をチェックし、変数に適切なデータが格納されていることを保証します。

例えばC言語で、整数値を格納するための変数を作りたい場合は、次のように宣言します。

int x;

宣言の後は、この変数に値を代入したり、ユーザーからの入力を受け取ったりできます。ただし、整数以外の値を代入しようとすると、コンパイラが「型の不一致（type mismatch）」エラーを報告します。

x = 10;         // これは有効な代入
x = "Hello";    // これは型不一致エラーになる

Pythonは動的型付け言語

一方、Pythonは動的型付け言語です。Pythonでは、特定の型（数値、文字列、真偽値など）を持つデータオブジェクトがメモリ上のどこかに保存され、変数はそのオブジェクトに紐づけられた単なる「名前」にすぎません。

つまり、変数の型は実行時に代入された値によって決まります。同じ変数に別の型の値を代入すれば、その変数の型も自動的に切り替わります。

Pythonの標準ライブラリには、変数のデータ型を調べるための type() 関数が用意されています。次の例を見ると、Pythonの変数の型が動的に変化する様子がよくわかります。

>>> a = "Hello"   # 変数aは文字列オブジェクトを参照している
>>> type(a)
<class 'str'>

>>> a = 10        # 変数aは整数オブジェクトを参照するように変わる
>>> type(a)
<class 'int'>

まとめ

Pythonでは変数の宣言は不要で、値を代入した時点で変数が自動的に作成されます。変数の型は実行時に決まり、代入する値に応じて柔軟に変化します。現在の型を確認したいときは、type() 関数を使えば簡単にチェックできます。