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

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

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

Python 3はPythonプログラミング言語の最新バージョンであり、2008年12月3日にリリースされました。

Python

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

Q&A

解決済

1回答

534閲覧

Pythonで@overloadした関数を呼んでリストに入れると型チェックでエラー

naohash

総合スコア8

Python 3.x

Python 3はPythonプログラミング言語の最新バージョンであり、2008年12月3日にリリースされました。

Python

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

0グッド

0クリップ

投稿2023/02/05 17:30

下記コードでエラーが出る原因を知りたいです。

下記の中で、hoge は、引数 type_ に応じて strint を返します。
fuga の中でこれを呼び出してリストの中に入れると、型チェックでエラーになります。

python

1@overload 2def hoge(number: int, type_: Literal["STRING"]) -> str: 3 ... 4 5@overload 6def hoge(number: int, type_: Literal["INTEGER"]) -> int: 7 ... 8 9def hoge(number: int, type_: Literal["STRING", "INTEGER"]) -> str | int: 10 if type_ == "STRING": 11 return str(number) 12 else: 13 return number 14 15def fuga(type_: Literal["STRING", "INTEGER"]): 16 piyo: list[str] | list[int] = [hoge(i, type_) for i in range(3)] # ここでエラー 17 print(piyo)
エラーの内容
Expression of type "list[str | int]" cannot be assigned to declared type "list[str] | list[int]"

実際に fuga() を実行すると、(当然ながら)下記の通りです。

>>> fuga("STRING") ['0', '1', '2'] >>> fuga("INTEGER") [0, 1, 2]

fuga の中で type_"STRING""INTEGER" のどちらか一方に決まっているので、 piyo の型は list[str | int] ではなく list[str]list[int] のどちらか一方のはずです。

このエラーを解決する方法はありますでしょうか?

list[str | int] は、例えば [0, '1', 2] のようにリストの要素に strint が混ざったものを含むと理解していますが合っていますでしょうか?)

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

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

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

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

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

guest

回答1

0

ベストアンサー

fuga の中で type_ は "STRING" か "INTEGER" のどちらか一方に決まっているので、 piyo の型は list[str | int] ではなく list[str] か list[int] のどちらか一方のはずです。

それはPython処理系で検知できない、ということかと思います。

このエラーを解決する方法はありますでしょうか?

castlist[str] | list[int]型を与えてください。

投稿2023/02/05 23:53

maisumakun

総合スコア145208

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

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

naohash

2023/02/06 04:17 編集

ありがとうございます。 castするしかないということですが、もし、下記よりスマートな書き方があれば教えていただけるとありがたいです。 無駄に行数を使って読みづらくなるなぁと。 piyo = [hoge(i, type_) for i in range(3)] if type_ is Literal["STRING"]: piyo = list(map(str, piyo)) else: piyo = list(map(int, piyo)) markdownがコメントで使えず読みづらくて申し訳ありません。
melian

2023/02/07 01:28

> naohash さん piyo: list[str] | list[int] = cast(list, [hoge(i, type_) for i in range(3)]) としてみてはどうでしょうか。直後に reveal_type(piyo) で確認すると、 note: Revealed type is "Union[builtins.list[builtins.str], builtins.list[builtins.int]]" となっています。
naohash

2023/02/14 08:20

遅くなって申し訳ありません。 これは知りませんでした。ありがとうございます!
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.45%

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

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

質問する

関連した質問