Python関数でデータ型を明示的に定義できるのか？その影響と型ヒントの基礎知識

Pythonでは、変数に明示的な型を指定することはありません。Pythonインタプリタが変数の型を自動的に判断し、内部で管理しています。一方、JavaやC++などの静的型付け言語では、関数の戻り値および各引数のデータ型を必ず指定する必要があります。

では、Pythonの関数でデータ型を明示的に定義した場合はどうなるのでしょうか？結論から言うと、たとえ型を明示的に定義しても、プログラムは型を宣言していない通常のコードとまったく同じように動作します。つまり、型の明示的な宣言が出力結果に与える影響はないのです。

サンプルコード

以下の関数を使って、実際に確認してみましょう。

def add_sum(x, y):
    return x + y

print(add_sum(2.2, 5.6))
print(add_sum(float(2.2), float(5.6)))

実行結果

7.8
7.8

このように、引数に対してfloat()による型変換を行った場合でも、行わなかった場合でも、出力結果は完全に同一になります。変数のデータ型を明示的に宣言しても、Pythonの実行結果には何の影響も与えないことが分かります。

補足：型ヒント（Type Hints）という選択肢

なお、Python 3.5以降では「型ヒント」と呼ばれる機能（PEP 484）により、関数の引数や戻り値に型注釈を付けることが可能になりました。

def add_sum(x: float, y: float) -> float:
    return x + y

ただし、この型注釈はあくまでコードの可読性向上や静的解析ツール（mypyなど）、IDEの補完機能を支援するためのものであり、ランタイムで型チェックが強制されるわけではありません。この点は、JavaやC++のような静的型付け言語とは大きく異なるため、注意が必要です。