Rust中如何传递可选可变引用而不触发所有权转移？

你的问题核心在于Option<&mut String>是拥有所有权的值，传递给函数后会发生移动，导致无法在循环中重复使用。你之前的match方案虽然可行，但存在不必要的代码冗余，以下是几种更优雅的解决方式：

方案1：省略无意义的None分支 #

当maybe_string为None时，append_to_string(None)不会执行任何操作，因此循环两次的效果和完全不执行一致。直接只处理Some分支即可：

fn append_multiple_to_string(maybe_string: Option<&mut String>) {
    if let Some(s) = maybe_string {
        for _ in 0..2 {
            append_to_string(Some(s));
        }
    }
}

该方案完全保留原逻辑，同时消除了重复代码，是最简洁的实现方式。

方案2：函数式迭代器写法 #

如果你偏好函数式风格，可以利用Option的迭代器特性，避免显式的分支判断：

fn append_multiple_to_string(maybe_string: Option<&mut String>) {
    maybe_string.into_iter().for_each(|s| {
        (0..2).for_each(|_| append_to_string(Some(s)));
    });
}

into_iter()会将Option转换为包含0或1个元素的迭代器，仅当存在有效值时才执行后续的循环操作。

方案3：调整函数参数类型 #

如果你愿意统一调整函数接口，可以将append_to_string的参数改为接收可变引用的可变引用，从而避免所有权移动：
首先修改append_to_string：

fn append_to_string(maybe_string: Option<&mut &mut String>) {
    if let Some(s) = maybe_string {
        (*s).push('1');
    }
}

然后append_multiple_to_string可以直接循环传递引用：

fn append_multiple_to_string(maybe_string: Option<&mut String>) {
    let mut maybe = maybe_string;
    for _ in 0..2 {
        append_to_string(maybe.as_mut());
    }
}

这种方式适合你需要批量调整所有相关函数接口的场景，同样满足你不修改main中maybe_string的is_some()状态、不使用unsafe代码的要求。

内容的提问来源于stack exchange，提问作者bytesized