質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.49%
Python

Pythonは、コードの読みやすさが特徴的なプログラミング言語の1つです。 強い型付け、動的型付けに対応しており、後方互換性がないバージョン2系とバージョン3系が使用されています。 商用製品の開発にも無料で使用でき、OSだけでなく仮想環境にも対応。Unicodeによる文字列操作をサポートしているため、日本語処理も標準で可能です。

Q&A

解決済

1回答

296閲覧

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

naohash

総合スコア8

Python

Pythonは、コードの読みやすさが特徴的なプログラミング言語の1つです。 強い型付け、動的型付けに対応しており、後方互換性がないバージョン2系とバージョン3系が使用されています。 商用製品の開発にも無料で使用でき、OSだけでなく仮想環境にも対応。Unicodeによる文字列操作をサポートしているため、日本語処理も標準で可能です。

0グッド

0クリップ

投稿2023/02/03 01:41

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

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

python

1def int_func(arg: int): 2 print(arg) 3 4def hoge(arg: str | int): 5 if type(arg) is str: 6 return 7 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 しかありえないはず。

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

python

1def fuga(arg: str | int): 2 if type(arg) is int: 3 int_func(arg) 4 5def piyo(arg: str | int): 6 if isinstance(arg, str): 7 return 8 int_func(arg)
知りたいこと
  • type()isinstance() の違いがなぜ上記の型チェックに影響するのか(hoge()piyo()
  • 同じ type() を使っても、なぜ fuga() だとOKなのに hoge() だとダメなのか

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

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

投稿2023/02/03 02:00

ozwk

総合スコア13521

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.49%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問