Pythonの型チェックとtype(), isinstance()の違い

Question

VSCode + Pylance で型チェックを初めて導入して勉強中の者です。

下記のコードで、Pylanceの型チェックでエラーが出る理由が分かりません。

def int_func(arg: int):
    print(arg)

def hoge(arg: str | int):
    if type(arg) is str:
        return
    int_func(arg)  # ここでエラー

エラー内容

Argument of type "str | int" cannot be assigned to parameter "arg" of type "int" in function "int_func"
  Type "str | int" cannot be assigned to type "int"
    "str" is incompatible with "int"

hoge() の中では引数が str でないことを確認しているので int しかありえないはず。

一方で、下記のコードだといずれもエラーは出ません。

def fuga(arg: str | int):
    if type(arg) is int:
        int_func(arg)

def piyo(arg: str | int):
    if isinstance(arg, str):
        return
    int_func(arg)

知りたいこと

• type() と isinstance() の違いがなぜ上記の型チェックに影響するのか（hoge() と piyo()）
• 同じ type() を使っても、なぜ fuga() だとOKなのに hoge() だとダメなのか

Answer 1

str | intはstr、intだけでなく、その派生クラスも含みます。
if type(arg) is str:ではargがstrかどうかだけ見て、strの派生クラスかは見ません。
したがって、hogeでは、ifの後でもargの型がstr | intのまま絞り込めていません。
isInstanceは派生クラスかどうかも見ます。