型ヒント(Type Hints)の基本

このレッスンでは、Pythonの型ヒント(Type Hints)の基本を学び、コードの意図を明確にする書き方を理解することを目標にします。「Python 型ヒント 使い方」で調べている方向けの内容です。

Pythonは動的型付け言語ですが、def add(a: int, b: int) -> int:のように「型ヒント」を書くと、その関数がどんな型を受け取り、どんな型を返すかを明示できます。実行結果には影響しませんが、コードを読みやすくし、エディタの補完やエラーチェックにも役立ちます。

サンプルコードでは、add関数の引数と戻り値にintという型ヒントを、greet関数にstrという型ヒントを付けています。型ヒントを書いても実行時には無視されるため、間違った型を渡してもエラーにはなりませんが、エディタが警告を表示してくれます。

初心者がよくつまずくのが、型ヒントは「強制力のない目印」でしかないという点です。他の言語の型システムと違い、型ヒントに反した値を渡してもPython自体はエラーを出しません。より厳密なチェックをしたい場合は、mypyのような専用ツールを使う必要があります。

大規模なチーム開発では、型ヒントがあることでコードの意図が伝わりやすくなり、思わぬ型の取り違えによるバグを未然に防げるようになります。実務のPythonプロジェクトでは、型ヒントを積極的に使うのが最近のトレンドになっています。