1

以下のソースコードにおいて、

def func( key:Union[int,list] = None):
    ...

keyという引数は、Optionalでありながら、Unionでint、listにもなりうるものです。

Linter(Mypy)でエラーとして検出されてしまいます。

どのような記述方法が正解なのでしょうか?

3 件の回答 3

4

手元の環境(mypy 1.3.0)で、Noneを許容するように書き換える方法でも警告がなくなりました。

def func(key:Union[int,list] = None): # 修正前
def func(key:Union[int,list,None] = None): # 修正後

修正前のmypy実行結果

hoge.py:3: error: Incompatible default for argument "key" (default has type "None", argument has type "Union[int, List[Any]]")  [assignment]
hoge.py:3: note: PEP 484 prohibits implicit Optional. Accordingly, mypy has changed its default to no_implicit_optional=True
hoge.py:3: note: Use https://github.com/hauntsaninja/no_implicit_optional to automatically upgrade your codebase
Found 1 error in 1 file (checked 1 source file)

修正後のmypy実行結果

Success: no issues found in 1 source file
3

Optional をそのまま使って構いません。

from typing import Union, Optional

Optional[Union[int, list]]

なお、以下のように書き換え可能ですので、最短の型表記は int | list | None だと思います。既に有る payaneco さんの回答とも意味的に同じです。

# 全て意味的に同じ型
print(
    Optional[Union[int, list]] ==
    Union[Union[int, list], None] ==
    (int | list) | None ==
    int | list | None
)
# => True
0

型エイリアスを使えばよいことがわかりました。


aliasKey = Union[int,list]
def func( key:Optinal[aliasKey ] = None):
    ...

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。