Skip to main content
追記
ソース リンク
quickquip
  • 2,434
  • 11
  • 16

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のチェックが通る様です。なぜかは説明できないですが

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に用意された属性だけ使うんだな」と感じるはずです

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のチェックが通る様です。なぜかは説明できないですが

不要行の削除
ソース リンク
quickquip
  • 2,434
  • 11
  • 16

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を返すべきです。
(継承を考えるならisinstance(other, A)でチェックするのが正着だろうと思います)

otherの型注釈はAnyが妥当だと思います
型注釈にobjectを書くのは「私はobjectに用意された属性しか使うつもりがありません」と主張したい時です。逆に型注釈にobjectを書かれていたらコードを読む側は「objectに用意された属性だけ使うんだな」と感じるはずです

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を返すべきです。
(継承を考えるならisinstance(other, A)でチェックするのが正着だろうと思います)

otherの型注釈はAnyが妥当だと思います
型注釈にobjectを書くのは「私はobjectに用意された属性しか使うつもりがありません」と主張したい時です。逆に型注釈にobjectを書かれていたらコードを読む側は「objectに用意された属性だけ使うんだな」と感じるはずです

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に用意された属性だけ使うんだな」と感じるはずです

間違い
ソース リンク
quickquip
  • 2,434
  • 11
  • 16

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(selfother) is A:
            return self.foo == other.foo
        return False

でよいです。継承を考えないならAと比較すればよく、Aでない時はsuper().__eq__(other)がFalseになるのは自明なので単純にFalseを返すべきです。
(継承を考えるならisinstance(other, A)でチェックするのが正着だろうと思います)

otherの型注釈はAnyが妥当だと思います
型注釈にobjectを書くのは「私はobjectに用意された属性しか使うつもりがありません」と主張したい時です。逆に型注釈にobjectを書かれていたらコードを読む側は「objectに用意された属性だけ使うんだな」と感じるはずです

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(self) is A:
            return self.foo == other.foo
        return False

でよいです。継承を考えないならAと比較すればよく、Aでない時はsuper().__eq__(other)がFalseになるのは自明なので単純にFalseを返すべきです。
(継承を考えるならisinstance(other, A)でチェックするのが正着だろうと思います)

otherの型注釈はAnyが妥当だと思います
型注釈にobjectを書くのは「私はobjectに用意された属性しか使うつもりがありません」と主張したい時です。逆に型注釈にobjectを書かれていたらコードを読む側は「objectに用意された属性だけ使うんだな」と感じるはずです

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を返すべきです。
(継承を考えるならisinstance(other, A)でチェックするのが正着だろうと思います)

otherの型注釈はAnyが妥当だと思います
型注釈にobjectを書くのは「私はobjectに用意された属性しか使うつもりがありません」と主張したい時です。逆に型注釈にobjectを書かれていたらコードを読む側は「objectに用意された属性だけ使うんだな」と感じるはずです

追記
ソース リンク
quickquip
  • 2,434
  • 11
  • 16
読み込んでいます
ソース リンク
quickquip
  • 2,434
  • 11
  • 16
読み込んでいます