历史：copy 模块在早期 Python 中引入，旨在提供超越简单引用赋值的标准化对象复制。当开发人员需要复制包含嵌套结构的复杂对象图时，最初的递归复制实现遇到了无限递归的问题，当对象直接或间接地引用自己时，它无法保持身份，当多个路径指向同一个对象时，无法保留引用平等。
问题：如果没有已复制对象的注册，deepcopy 在遇到循环引用时会进入无限递归（例如，父节点引用子节点，子节点又引用父节点）。此外，没有身份映射，图中对同一对象的多个引用将导致不同的副本，而不是保持引用平等，打破对象身份语义。
解决方案：该算法使用一个 memo 字典，将 id(original_object) 映射到新创建的副本。在任何对象的复制操作开始时，算法会检查 id(obj) 是否存在于 memo 中；如果找到，则立即返回现有副本。如果没有，则创建一个新实例，立即将其存储在 memo 中，以原始 ID 进行索引（在递归填充之前），然后继续复制属性。这确保了循环引用解析为相同的复制实例。用户定义的类可以实现 __deepcopy__(self, memo) 来自定义此行为，接收 memo 字典以传递给递归调用。
场景：一个云基础设施管理工具将数据中心拓扑建模为 Server 对象的图。每个 Server 维护一个 peers 列表以进行负载均衡，并引用其 primary 节点以进行故障转移。这些关系形成双向引用（服务器 A 将服务器 B 列为同伴，服务器 B 列为服务器 A），在对象图中形成循环。操作团队需要克隆此拓扑进行仿真测试，而不影响生产配置状态。
问题描述：最初尝试使用手动递归复制服务器图时，在算法遇到循环同伴引用时结果为 RecursionError。此外，一些共享配置对象（如 SSL 证书上下文）被重复多次，浪费内存并打破了期望单例行为的身份检查。
考虑的解决方案：
带有访问集合的手动遍历：在 Server 类上实现一个自定义 clone() 方法，该方法接受一个 visited 字典。该方法会检查服务器是否已经被访问，如果是，则返回现有的克隆；如果不是，则创建一个新克隆并递归地克隆同伴。优点：完全控制克隆过程，无外部依赖项。缺点：需要为每个类实施复杂的遍历逻辑，如果添加新的关系类型则容易出错，并且通过将克隆逻辑与领域逻辑混合违反单一责任原则。
JSON 序列化往返：使用自定义编码器将服务器图序列化为 JSON，以处理循环，然后反序列化为新对象。优点：使用标准库实现简单。缺点：丢失 Python 特定类型（集合变为列表，元组变为列表），丢失方法和行为，对于大图性能差，并且严重失败于保留共享非循环引用（两个服务器共享相同配置对象会在反序列化时获得单独副本）。
标准 copy.deepcopy 与自定义钩子：利用 Python 的 copy.deepcopy，在 Server 类上实现自定义 __deepcopy__ 来处理不可复制的资源，如网络套接字。优点：通过内部 memo 字典自动处理循环引用，保留共享对象的 Python 类型和身份，经过良好测试并标准化。缺点：由于 memo 字典，复制过程中稍微增加了内存开销，需要仔细实现 __deepcopy__，确保正确传递 memo 字典以避免打破循环检测。
选择的解决方案：团队选择了 copy.deepcopy（选项 3）。他们在 Server 类上实现了 __deepcopy__，使用 self.__class__ 创建新实例，立即将其注册到 memo 字典中，然后仅深复制可序列化的配置属性，同时在首次使用副本时懒惰地重新初始化套接字连接。
结果：系统成功复制了包含成千上万台服务器及复杂循环同伴关系的数据中心配置。memo 字典确保多个服务器引用的共享 SSL 上下文在副本中保持共享，保持内存效率，而循环同伴引用在没有递归错误的情况下得到了解决。
为什么 copy.deepcopy 在复制自定义列表或字典子类实例时无法保留特定于子类的属性，即使它正确复制了元素？
当 deepcopy 遇到内置容器类型如 list 或 dict（包括它们的子类）时，它使用一种优化的快速路径，该路径创建子类类型的新实例并复制包含的元素。然而，这条快速路径绕过了子类的 __init__ 方法，并未复制存储在实例的 __dict__ 中的属性。因此，大类 MyList(list) 实例中添加的元数据或缓存等属性在复制中丢失。为了保留这些，子类必须显式实现 __deepcopy__ 来处理附加属性，或者使用 copy.copy 在实例上，然后手动深复制属性，确保特定于子类的数据被传输到新实例。
memo 字典机制如何防止循环对象图中的无限递归，并且为什么将同一字典对象传递给所有递归 deepcopy 调用而不是创建新对象至关重要？
memo 字典维护从每个原始对象的 id() 到其对应副本的映射。在处理任何对象之前，deepcopy 检查 id(obj) 是否存在于 memo 中；如果找到，则立即返回现有副本，打破潜在的循环。当创建新副本时，算法立即将映射 memo[id(original)] = new_copy 存储在 memo 中，然后递归复制对象的内容。这确保了如果在递归遍历期间再次遇到原始对象（循环引用），则返回部分构建的副本，防止无限递归。将相同的 memo 字典传递给所有递归调用是至关重要的，因为它提供了对整个对象图中复制进度的全局视图；创建新的字典会隔离图的分支，导致循环被遗漏，最终导致对共享引用的对象进行复制。
如果在自定义 __deepcopy__ 实现中，在注册新实例到 memo 字典之后，但在完成填充对象属性之前抛出异常，会发生什么微妙的错误？
实现 __deepcopy__ 的标准模式要求在创建后立即将新实例注册到 memo 字典中（使用 memo[id(self)] = result），并在递归复制属性之前完成。如果在属性复制阶段发生异常，memo 字典将保留对部分构建（且可能不一致）对象的引用。如果调用代码捕获该异常并继续复制图的其他部分，或者如果图中通过另一条路径引用相同对象，则随后的 memo 查询将返回此损坏的、半初始化的对象。这可能导致静默数据损坏，其中一些引用指向完全构建的副本，而其他引用指向不完整的异常幸存者。要减轻此问题，__deepcopy__ 实现应确保原子属性复制或仔细管理异常处理，以在失败时清理 memo 字典，尽管 Python 标准库没有提供此场景的自动回滚。