https://mypy.readthedocs.io/en/stable/type_narrowing.html
Type narrowing が起きるのはtype(foo) is 型
と書いた時です
type(foo) is type(bar)
という形で書いたら、一方が決定的であってもType narrowingは起きません。type(foo) is type(bar)
と書いたら通ると思ったのがただの勘違い、としか言いようがない気はします
例えば、決定的であることがより明らかな
def hoge(x:object):
if type(x) is type(0):
x.bit_count()
でもmypyの型チェックは通りませんでした
(質問のコードの意図がちょっとよく分からなかったので事実の指摘だけ)
追記
背景に書かれたことだけ見るなら(ただしコメントしたように、別の箇所の意味が分からなくなっています)
def __eq__(self, other) -> bool:
if type(other) is A:
return self.foo == other.foo
return False
でよいです。継承を考えないなら、A
と比較すればよく、Aでない時はsuper().__eq__(other)
がFalseになるのは自明なので単純にFalseを返すべきです。
otherの型注釈はAny
が妥当だと思います
型注釈にobject
を書くのは「私はobjectに用意された属性しか使うつもりがありません」と主張したい時です。逆に型注釈にobject
を書かれていたらコードを読む側は「objectに用意された属性だけ使うんだな」と感じるはずです
追記
if type(self) is other.__class__:
return self.foo == other.foo
や
if type(other) is self.__class__:
return self.foo == other.foo
だとmypyのチェックが通る様です。なぜかは説明できないですが