Logisim-Evolution中撤销/重做操作的位置偏移问题分析与修复

问题背景

在Logisim-Evolution电路仿真工具中，用户报告了一个关于撤销(Undo)和重做(Redo)功能的严重问题。当用户执行"操作-撤销-撤销-重做-重做"这样的操作序列时，最后一个重做操作会导致电路元件位置出现错误偏移。这个问题在3.8版本中被发现，并且在不同操作系统(包括Mac OS和Linux)上都能重现。

问题现象

具体表现为：

1. 用户创建新项目并放置两个逻辑门元件
2. 选中第一个门并移动它
3. 选中第二个门并移动它
4. 执行两次撤销操作，元件回到原始位置
5. 执行第一次重做操作，工作正常
6. 执行第二次重做操作时，错误地移动了不该移动的元件

技术分析

经过深入分析，发现问题的根源在于重做功能的实现方式。在Logisim-Evolution中：

1. 所有选择相关的操作(如移动、复制、粘贴等)都继承自SelectionActions.java文件中的Action类
2. 原始Logisim版本没有重做菜单项，这个问题是在Logisim-Evolution引入重做功能时产生的
3. 当前实现中，重做操作(通过调用doIt方法)使用的是当前的选择状态，而不是操作最初执行时的选择状态
4. 这导致当用户的选择状态发生变化后，重做操作会基于错误的选择集执行

解决方案

开发团队提出了两种可能的解决方案：

1. 修改doIt方法，使其不依赖实时的选择列表
2. 将首次执行和重做执行分离，使用不同的处理逻辑

最终采用了第二种方案，具体实现如下：

1. 创建SelectedComponentsAction类作为Action的子类
2. 将doIt方法拆分为首次执行的doItFirstTime和重做执行的redo
3. 保留原始的正向和反向CircuitMutation对象(xnForward和xnReverse)
4. 对于复制/剪切操作，额外处理剪贴板状态以保证一致性

实现细节

1. 对于大多数操作(移动、粘贴等)，使用CircuitMutation对象记录操作和反向操作
2. 对于复制操作，保留新的剪贴板内容以便在重做时恢复
3. 确保重做操作完全基于原始操作时的状态，不受当前选择状态影响

技术影响

这个修复解决了以下问题：

1. 撤销/重做操作序列中的位置偏移问题
2. 确保操作历史的一致性
3. 提高了复杂编辑场景下的可靠性

用户建议

对于Logisim-Evolution用户：

1. 建议升级到包含此修复的版本
2. 在进行复杂编辑时，可以更放心地使用撤销/重做功能
3. 注意在移动元件前确保正确选择，以避免意外行为

这个修复显著提升了Logisim-Evolution的编辑体验和可靠性，是电路设计工作流程中的重要改进。