gh-154594: Fix deepcopy memo lookup when __deepcopy__ returns None

Lib/copy.py

@@ -122,9 +122,8 @@ def deepcopy(x, memo=None):
     if memo is None:
         memo = {}
     else:
-        y = memo.get(d, None)
-        if y is not None:
-            return y
+        if d in memo:
+            return memo[d]
 
     copier = _deepcopy_dispatch.get(cls)
     if copier is not None:

Lib/test/test_copy.py

@@ -939,6 +939,17 @@ def m(self):
         self.assertIs(g.b.__self__, g)
         g.b()
 
+    def test_deepcopy_memo_none_result(self):
+        # Objects whose deepcopy result is None must still be memoized.
+        class C:
+            call_count = 0
+            def __deepcopy__(self, memo):
+                C.call_count += 1
+                return None
+        obj = C()
+        copy.deepcopy([obj, obj, obj])
+        self.assertEqual(C.call_count, 1)
+
 
 class TestReplace(unittest.TestCase):
 

Misc/NEWS.d/next/Library/2026-07-24-00-02-00.gh-issue-154594.Xk7mQ2.rst

@@ -0,0 +1,2 @@
+Fix :func:`copy.deepcopy` so that an object whose deep copy is ``None`` is
+still memoized. Patch by tonghuaroot.