mypy で Optionalとなった変数のメンバ関数でエラーになる

Question

mypyを使ってエラーチェックをしていますが、
下記のようなソースでエラーが出てしまいます

a = Foo();  # Foo()-> Optional[Goo]
if a != None:
    a.MemberFunction(); # ここでエラー

エラーメッセージ
Item "None" of "Optional[Goo]" has no attribute "MemberFunction" mypy

ignore以外で正しく回避するにはどうすればいいのでしょうか

Answer 1

https://mypy.readthedocs.io/en/stable/kinds_of_types.html#optional-types-and-the-none-type

mypy recognizes is None
(略)
Other supported checks for guarding against a None value include if x is not None, if x and if not x.

if a is not None:
    a.MemberFunction()

か

if a:
    a.MemberFunction()

としましょう。（後者でいいかどうかは__bool__や__len__の実装次第ですが）

---

https://www.python.org/dev/peps/pep-0008/#programming-recommendations

Comparisons to singletons like None should always be done with is or is not, never the equality operators.

Comments

[izmktr]

ありがとうございます、is not Noneを使うんですね