Rust中match Option类型触发use of moved value错误的原因解析

作为Rust新手，我编写了HttpResponse结构体的new方法，代码如下：

use std::collections::HashMap;
use std::io::{Result, Write};

#[derive(Debug, PartialEq, Clone)]
pub struct HttpResponse<'a> {
    version: &'a str,
    status_code: &'a str,
    status_text: &'a str,
    headers: Option<HashMap<&'a str, &'a str>>,
    body: Option<String>,
}


impl<'a> Default for HttpResponse<'a> {
    fn default() -> Self {
        Self {
            version: "HTTP/1.1".into(),
            status_code: "200".into(),
            status_text: "OK".into(),
            headers: None,
            body: None,
        }
    }
}

impl<'a> HttpResponse<'a> {
    pub fn new(
        status_code: &'a str,
        headers: Option<HashMap<&'a str, &'a str>>,
        body: Option<String>,
    ) -> HttpResponse<'a> {
        let mut response: HttpResponse<'a> = HttpResponse::default();
        if status_code != "200" {
            response.status_code = status_code;
        };

        response.headers = match headers {
            Some(_h) => headers, // 此处触发错误：使用了已部分移动的值
            // 错误提示：use of partially moved value: `headers` [E0382] 
            // 部分移动发生是因为值的类型是`HashMap<&str, &str>`，未实现`Copy` trait
            None => {
                let mut h = HashMap::new();
                h.insert("Content-Type", "text/html");
                Some(h)
            }
        };

        response.status_text = match response.status_code {
            "200" => "OK".into(),
            "400" => "Bad Request".into(),
            "404" => "Not Found".into(),
            "500" => "Internal Server Error".into(),
            _ => "Not Found".into(),
        };
        response.body = body;

        response
    }
}

运行时触发如下错误：

error[E0382]: use of partially moved value: `headers`
  --> src/lib.rs:38:25
   |
38 |             Some(_h) => headers, // got error here: Use of moved value 
   |                  --     ^^^^^^^ value used here after partial move
   |                  |
   |                  value partially moved here
   |
   = note: partial move occurs because value has type `HashMap<&str, &str>`, which does not implement the `Copy` trait

我原以为“移动”仅发生在s1赋值给s2或参数传递这类场景，不理解当前代码为何触发错误。以下是具体解析：

错误产生的原因 #

Rust的模式匹配在处理Option<T>枚举时，会对目标值进行解构：
当你写match headers { Some(_h) => ... }时，如果headers是Some(HashMap)变体，_h会绑定到内部的HashMap实例。由于HashMap没有实现Copy trait，Rust会将这个HashMap的所有权从headers转移到_h中——这就是“部分移动”：headers作为Option<HashMap>，内部的HashMap被移走后，剩下的headers就处于失效状态。

但你在分支里又试图使用整个headers值（=> headers），此时headers已经因为部分移动变得不可用，因此编译器抛出E0382错误。

被移动的对象是什么 #

被移动的是headers内部的HashMap<&str, &str>实例（仅当headers是Some变体时）。因为HashMap未实现Copy，解构时会转移所有权而非复制，导致原headers的内部数据被“掏空”。

改用match &headers消除错误的原因 #

当你改为match &headers时，匹配的是headers的引用而非所有权本身：

• 此时Some(_h)中的_h是&HashMap<&str, &str>类型（对内部HashMap的引用），不会触发所有权移动，headers的所有权依然完整。
• 因此你可以在分支里正常使用headers（比如直接返回headers），不会触发部分移动错误。

修正后的代码示例 #

方式一：使用引用匹配

impl<'a> HttpResponse<'a> {
    pub fn new(
        status_code: &'a str,
        headers: Option<HashMap<&'a str, &'a str>>,
        body: Option<String>,
    ) -> HttpResponse<'a> {
        let mut response = HttpResponse::default();
        if status_code != "200" {
            response.status_code = status_code;
        }

        response.headers = match &headers {
            Some(_) => headers,
            None => {
                let mut h = HashMap::new();
                h.insert("Content-Type", "text/html");
                Some(h)
            }
        };

        response.status_text = match response.status_code {
            "200" => "OK",
            "400" => "Bad Request",
            "404" => "Not Found",
            "500" => "Internal Server Error",
            _ => "Not Found",
        };
        response.body = body;

        response
    }
}

方式二：直接使用解构后的所有权（更简洁）

response.headers = match headers {
    Some(h) => Some(h), // 直接使用解构出的HashMap，避免引用整个headers
    None => {
        let mut h = HashMap::new();
        h.insert("Content-Type", "text/html");
        Some(h)
    }
};

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