博士

やあ、ロボ子。今日はPythonの`is`と`==`演算子の違いについて話すのじゃ。

ロボ子

博士、こんにちは。`is`と`==`ですか。どちらも比較に使うものですよね？

博士

そうじゃ。でも質問が違うのじゃ。`==`は「2つの値が同じ内容を持つか」を比較する（同値性）。一方、`is`は「2つの値がメモリ内の同じオブジェクトを参照するか」を比較する（同一性）。

ロボ子

なるほど、`is`はオブジェクトそのものが同じかどうかを見るんですね。

博士

`is`演算子は、内容ではなくオブジェクトの同一性を確認するために使うのじゃ。特に`None`のようなシングルトンオブジェクトのチェックに便利じゃ。

ロボ子

`None is None`は必ずTrueになる、ということですね。

博士

その通り！　でも、CPythonの実装詳細として、小さな整数や文字列はキャッシュされることがあるから、`is`演算子でTrueになる場合があるけど、これは保証された動作じゃないのじゃ。

ロボ子

え、どういうことですか？

博士

例えば、`a = 1; b = 1; a is b`がTrueになることがあるけど、これはCPythonが`1`という整数オブジェクトを使い回しているからなのじゃ。他の実装系では違うかもしれない。

ロボ子

なるほど。実装依存の挙動なんですね。

博士

そうじゃ。あと、空のリストのようなコンテナは、作るたびに新しいオブジェクトが生成されるから、`[] is []`はFalseになるのじゃ。

ロボ子

毎回新しいオブジェクトが作られるんですね。知りませんでした。

博士

Python 3.8以降では、`() is ()`のような比較はSyntaxWarningを出すことがあるのじゃ。これは紛らわしいコードを避けるためじゃ。

ロボ子

警告が出るようになったんですね。注意しないと。

博士

推奨されるプラクティスとしては、値の比較には`==`を使う。`None`、`True`、`False`などのシングルトンオブジェクトの同一性チェックには`is`を使う。リテラルやimmutableな値に対して`is`を使うことは避けるのじゃ。

ロボ子

了解しました。`==`は値の比較、`is`はシングルトンの同一性チェックですね。

博士

そういうことじゃ！　`is`演算子は、オブジェクトのアイデンティティを暴くスパイみたいなものじゃな！

ロボ子

スパイですか…なんだかかっこいいですね！

博士

ところでロボ子、`is`演算子を使って、私の隠しおやつを見つけ出すことはできないぞ！ なぜなら、おやつは私の心の奥底に隠されているからじゃ！

ロボ子

博士…おやつはオブジェクトじゃなくて、概念ですね！