文本编辑作为差异序列

在Kiro编辑器中，每次文本编辑都表示为文本的差异。因此，文本编辑意味着将差异应用于当前文本缓冲区。撤销表示为“取消应用”差异。重做表示为再次应用差异。

一次撤销表示为多个差异，而不是一个差异。这是因为用户通常不想逐个字符撤销。因此，每个插入一个字符的差异被组合成一个撤销单元。

首先用户输入 "abc" 到文本中。输入表示为每个字符的3个差异，它们组成一个撤销单元。因此，尽管表示为多个差异，插入 "abc" 在撤销时可以一次性撤销。然后用户将光标向后移动一个字符，删除字符 "ab" 直至行首。这表示为一个差异。最后，用户按回车键添加新行。插入行表示为两个差异。首先，编辑器截断光标后的文本（"c"），然后将新行 "c" 插入到光标下一行。这两个差异组成一个撤销单元。

通过管理文本编辑的历史记录与撤销单元，每个文本编辑都可以表示为差异序列。重做将一个撤销单元中的差异应用于当前文本缓冲区。而撤销则取消应用一个撤销单元中的差异到当前文本缓冲区。

内部也将正常输入视为重做，这样编辑器就不需要用单独的实现来处理正常输入。

将C编辑器移植到Rust

将C源代码拆分为几个Rust模块

为了简化和最小化实现，kilo 使用了一些全局变量和局部 static 变量。编辑器的状态存储在一个全局变量 E 中，并在任何地方引用。

在将代码移植到Rust时，我将 kilo.c 拆分为几个Rust模块，每个模块对应一种逻辑。我将全局变量和局部静态变量移动到每个逻辑的结构体中，以移除它们。

• editor.rs：导出 Editor 结构体，它管理编辑器的生命周期；运行循环以获取按键输入，更新文本缓冲区和高亮，然后渲染屏幕。
• text_buffer.rs：导出 TextBuffer 结构体，该结构体用于管理编辑文本缓冲区，作为 Vec<Row>。它还包含缓冲区的元数据，例如文件名和文件类型。
• edit_diff.rs：将文本编辑定义为应用一系列差异到文本上。此模块导出枚举 EditDiff，它表示差异及其应用逻辑。
• row.rs：导出 Row 结构体，代表文本缓冲区中的一行，包含实际文本和渲染文本。由于 Kiro 专注于 UTF-8 文本编辑，内部文本缓冲区也保持为 UTF-8 字符串。当内部文本缓冲区通过 Editor 更新时，它会自动更新渲染文本。它还可能包含 UTF-8 非ASCII字符的字符索引（请参阅以下“UTF-8 支持”部分）。
• history.rs：导出结构体 History，该结构体用于管理编辑历史。历史以一系列编辑差异表示。它管理撤销/重做的状态以及在一个撤销/重做操作中应该发生多少更改。
• input.rs：导出结构体 StdinRawMode 和迭代器 InputSequences。 StdinRawMode 将 STDIN 设置为原始模式（禁用各种终端功能，如回显）。 InputSequences 以字节序列读取用户的按键输入，带有超时，并将其解析为键序列流。VT100 和 xterm 转义序列（例如，\x1b[D 对应于 ← 键）在这里解析。
• highlight.rs：导出结构体 Highlighting，它包含文本缓冲区中每个字符的高亮信息。它还管理编辑器生命周期中的高亮。它计算渲染字符的高亮，并更新其信息。
• screen.rs：导出结构体 Screen，它代表屏幕渲染。它通过输出字符和转义序列到 STDOUT 来渲染每个 Row，并使用高亮颜色。如前所述，它管理高效的渲染。它还管理并渲染屏幕底部的状态栏和信息栏。
• status_bar.rs：导出结构体 StatusBar，它管理状态栏中显示的字段。它有一个标志 redraw，用于确定是否应该重新渲染。
• prompt.rs：导出与使用信息栏的用户提示相关的结构体。此模块具有运行用户提示和文本搜索的逻辑。提示时的回调表示为 PromptAction 特性。
• term_color.rs：导出小的 TermColor 枚举和 Color 枚举，它们表示终端颜色。此模块还具有检测终端对 24 位颜色和 256 色支持的逻辑。
• language.rs：导出小的 Language 枚举，表示文件类型，如 C、Rust、Go、JavaScript、C++。它包含从文件名检测文件类型的逻辑。
• signal.rs：导出 SigwinchWatcher 结构体，接收 SIGWINCH 信号并将其通知给 Screen。当终端窗口大小改变时发送该信号。Screen 需要该通知以调整屏幕大小。
• error.rs：导出 Error 枚举和 Result<T> 类型，以处理 Kiro 编辑器可能发生的所有错误。

错误处理和资源清理

kilo 在错误情况下通过 perror() 输出消息并立即退出。它还使用 atexit 钩子清理 STDIN 配置。

Kiro 是用 Rust 实现的，所以它利用 Rust 语法来处理错误，使用 io::Result 和 ? 操作符。这减少了错误处理的代码量，使我能够专注于实现编辑器逻辑。

对于资源清理，Rust 的 Drop 库在 input.rs 中工作得非常好。

struct StdinRawMode {
    stdin: io::Stdin,
    // ...
}

impl StdinRawMode {
    fn new() -> io::Result<StdinRawMode> {
        // Setup terminal raw mode of stdin here
        // ...
    }
}

impl Drop for StdinRawMode {
    fn drop(&mut self) {
        // Restore original terminal mode of stdin here
    }
}

impl Deref for StdinRawMode {
    type Target = io::Stdin;
    fn deref(&self) -> &Self::Target {
        &self.stdin
    }
}

impl DerefMut for StdinRawMode {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.stdin
    }
}

drop() 方法在 StdinRawMode 实例死亡时被调用。因此，用户不需要记住清理工作。并且 StdinRawMode 还实现了 Deref 和 DerefMut，因此它的行为几乎与 Stdin 相同。通过这种方式包装 io::Stdin，我可以向 io::Stdin 添加进入/退出终端原始模式的能力。

pub struct Editor<I, W>
where
    I: Iterator<Item = io::Result<InputSeq>>,
    W: Write,
{
    // ...
}

impl<I, W> Editor<I, W>
where
    I: Iterator<Item = io::Result<InputSeq>>,
    W: Write,
{
    // Initialize Editor struct with given input and output
    pub fn new(input: I, output: W) -> io::Result<Editor<I, W>> {
        // ...
    }
}

struct DummyInput(Vec<InputSeq>);

impl Iterator for DummyInput {
    type Item = io::Result<InputSeq>;

    fn next(&mut self) -> Option<Self::Item> {
        if self.0.is_empty() {
            None
        } else {
            Some(Ok(self.0.remove(0)))
        }
    }
}

// Dummy Ctrl-Q input to editor
let dummy_input = DummyInput(vec![ InputSeq::ctrl(b'q') ]);

struct Discard;

impl Write for Discard {
    fn write(&mut self, buf: &[u8]) -> io::Result<usize> {
        Ok(buf.len())
    }

    fn flush(&mut self) -> io::Result<()> {
        Ok(())
    }
}

#[test]
fn test_editor() {
    let mut editor = Editor::new(dummy_input, Discard).unwrap();
    editor.edit().unwrap();
    for line in editor.lines() {
        // Check lines of the current text buffer
    }
}

# Create release build
cargo build --release

# Run tests
cargo test

# Run benchmarks
cargo +nightly bench -- --logfile out.txt && cat out.txt

# Run fuzzing
cargo +nightly fuzz run input_text