質問
既存の Python コードに mypy を導入しようとしています。あるクラスに以下のような型注釈を付けました。
class A:
def __init__(self) -> None:
self.foo = "bar"
def __eq__(self, other: object) -> bool:
if type(self) is type(other):
return self.foo == other.foo
return super().__eq__(other)
このコードを mypy に入力すると、other.foo
の箇所でエラーが起きます。
$ mypy test.py
test.py:7: error: "object" has no attribute "foo" [attr-defined]
Found 1 error in 1 file (checked 1 source file)
if type(self) is type(other):
で other
の型が typing.Self
に絞り込まれることを期待していたのですが、実際には object
型のままとなり、foo
属性が存在しないというエラーになっています。なぜ型絞り込みが機能しないのでしょうか?
環境
- Python 3.11.6
- mypy 1.8.0 (compiled: no)
やったこと
type(self) is type(other)
をisinstance(other, type(self))
に書き換えるとエラーが出なくなりますが、既存コードから動作が変化してしまいます。
背景
問題のコードは、データクラス A
に __eq__
特殊メソッドを実装することを意図しています。期待動作としては、オブジェクト同士を ==
演算子で比較したとき、双方の型が A
で、かつ .foo
属性が一致しているときに true
、それ以外の場合は false
を返します。
本来、型注釈が使える環境でデータクラスを実装する際は、dataclasses などのモジュールを使うほうが楽です。しかし、今回は型注釈の無い既存コードが対象ですので、まずは既存コードをなるべく変えずに型注釈を追加する方針で進めています。
other
に対する annotation は不要でしょう。def __eq__(self, other) -> bool:
Any
型となり、型チェックが一切行われません。一方でobject
型にすると、すべての型に対して有効な操作しか受け付けなくなります。mypy.readthedocs.io/en/stable/dynamic_typing.html#any-vs-object この数行程度のコードに型チェックが必要かと言われると、確かに不要かもしれません、、、False
となることを意図しています。また、同じ子クラス同士で比較した場合、.foo
属性が一致していればTrue
となることを想定しています(子クラスで__eq__
をオーバーライドせずに使うことはあまり無い気もしますが)