Pythonの型ヒント（Type Hints）入門：isinstanceの次は「静的解析」でバグを未然に防ごう

前回の記事「Pythonのisinstance()で型チェック！安全なコードを書くための基礎知識」では、プログラムの実行中にデータの型を確認し、不正な動きをガードする方法について解説しました。

isinstance() は、外部から入ってくる不安定なデータを扱う際に欠かせない「盾」となります。しかし、開発規模が大きくなるにつれて、「コードを書いている最中に、実行する前からミスに気づきたい」というニーズも出てくるはずです。

そこで今回は、Python 3.5から導入された「型ヒント（Type Hints）」に焦点を当てます。実行時のチェックから一歩進んで、エディタの力を借りてバグを未然に防ぐ方法をマスターしましょう。

なぜ「型ヒント」が必要なのか？

Pythonは動的型付け言語であり、変数の型を自由に扱えるのが魅力です。しかし、その自由さが原因で以下のようなトラブルが起こりがちです。

引数に int を期待していたのに str が渡され、計算時にエラーになる。
関数の戻り値が何なのか、コードを深く読み解かないとわからない。
エディタ（VS Codeなど）の補完が効かず、メソッド名を打ち間違える。

型ヒントを導入すると、これらの問題の多くが「実行前」に解決します。

isinstance() と型ヒントの使い分け

「型ヒントがあれば isinstance() は不要なの？」という疑問をよく耳にしますが、これらは役割が明確に異なります。

特徴	isinstance() (動的チェック)	型ヒント (静的解析)
チェックのタイミング	実行時（プログラム動作中）	開発時（エディタ上や実行前）
主な目的	不正なデータによるクラッシュ防止	開発者のミス防止、可読性向上
実行への影響	わずかに処理負荷がかかる	実行速度には影響しない

詳しい isinstance() の使い方はこちらの記事で解説していますが、エンジニアの心得としては「外部から来る正体不明のデータ（APIやユーザー入力）は isinstance() で守り、自分たちが書くコード内のロジックは型ヒントで整理する」という使い分けが理想的です。

基本的な書き方

まずは、変数と関数に型を注釈（アノテーション）してみましょう。

1. 変数への型ヒント

変数名: 型 = 値 の形式で記述します。

age: int = 35
name: str = "Niiyan"
is_active: bool = True

2. 関数への型ヒント

関数の引数と戻り値に型を指定します。これが最も恩恵を感じるポイントです。

def greet(name: str) -> str:
    return f"Hello, {name}!"

# 間違った型を渡そうとすると、エディタが警告を出してくれる
greet(123)  # VS Code等で「期待される型と違う」と波線が出る

少し複雑な型（Union, Optional, 3.10以降の書き方）

実務では「複数の型を受け入れたい」や「値がない（None）かもしれない」というケースが多々あります。

Python 3.10以降の推奨スタイル（バーティカルバー `|`）

最近のPythonでは、よりシンプルに記述できるようになりました。

# int または float を受け入れる (Union)
def calculate_area(radius: int | float) -> float:
    return 3.14 * (radius ** 2)

# 文字列または None を返す (Optional)
def find_user(user_id: int) -> str | None:
    if user_id == 1:
        return "Niiyan"
    return None