なぜ「x == None」としてはいけないか？

Question

Pythonコードの書き方のガイドであるPEP8 -- Style Guide for Python Codeの日本語訳を読んでいます。

これの「プログラミングに関する推奨事項」の２項目目に、次のようにあります。

None のようなシングルトンと比較をする場合は、常に isか is notを使うべきです。絶対に等値演算子を使わないでください。

これは、if x == Noneをif x is Noneにしろと言っているのだと思いますが、これはなぜですか？

あと、シングルトンというのはNone以外には何があるのでしょうか？

Answer 1

Noneとの比較にisを使うべき理由
==で比較する際にも、まず同一性を判定する実装が一般的だからです。
isを使わず==を使うと、そこを遠回りする分無駄です。

Noneとの比較に==を使うべきでない理由
==はオーバーロード可能だからです。(厳密にはちょっと違うけど)
NoneはNoneだけと等値であるべきで、それが崩れるのは避けるべきです。

class Hoge:
    def __eq__(self, other):
        return True

h = Hoge()
print(h == None)  # True
print(None == h)  # True
print(h is None)  # False

---

あと、シングルトンというのはNone以外には何があるのでしょうか？

未確認ですが、素直な実装ならTrueやFalseもシングルトンかと思います。
True/Falseはどちらもbool型でしたね。
軽く調べてみたところ、組み込み定数ではNotImplementedがシングルトンのようです。

Comments

[退会済みユーザー]

２番目は分かりましたが、１番目がよくわかりません。==で比較する前に同一性が判定されてる例（と理由）が欲しいです。

[LouiS0616]

一般的と書いておいて難なのですが、すぐには根拠となる文言を見つけられませんでした。
Pythonの実装をハックしたことはないので、どこかでそのような説明を目にしたと思うのですが...

とりあえず、__eq__が定義されていないインスタンス同士の比較の場合、比較がオブジェクトの同一性の判定に移されるのは確かです。

[LouiS0616]

また『何をもって等価と判断するか』にも依って、__eq__メソッドの負担が変わります。
百個比較すべき属性を持つオブジェクト同士の場合、それらの全てを比較する必要があるかもしれません。
そのようなとき、単なる数値であるidの比較に挿げ替えられるかもしれない点で、前もってisで同一性判定をするのは有用です。

[退会済みユーザー]

理解しました。ありがとうございます。

Answer 2

BA後ですがサクッと調べてみると以下のリンクが

== None使うよりis None使う方が早いという点から。もうひとつはLouiS0616さんが説明されてますね。

• Jared Grubb: Python: "is None" vs "==None"

What about speed? Interestingly, there's a "big" difference: timeit.timeit("1 is None", number=10000000) is about 73% faster than timeit.timeit("1 == None", number=10000000) on my machine (0.67 seconds vs 1.17 seconds). Relatively large, but absolutely tiny.