Rust中?运算符无法应用于&Option<T>类型的问题求助

问题场景 #

学习Rust时，尝试用?运算符处理&Option<T>类型遭遇编译错误。目标是实现返回Option<&Actor>的函数，通过引用获取Option内部的引用，但?无法直接作用于&Option<RSend>，而match却能正常解构该类型。

相关代码 #

pub struct Bot {
    pub send_rule: Option<RSend>,
}  
pub struct RSend {
    pub d_low: Actor,
    pub d_high: Actor,
}
pub enum Actor { /* ... */ }

impl Bot {
    // 可正常编译
    fn get_low_dest(&self) -> Option<&Actor> {
        match &self.send_rule {
            None => None,
            Some(rule) => Some(&rule.d_low),
        }
    }
    // 编译失败
    fn get_high_dest(&self) -> Option<&Actor> {
        let ss: &RSend = (&self.send_rule)?;
        return Some(&ss.d_high);
        // 期望写法：
        // Some(&self.send_rule?.d_high)
    }  
}

解决方案 #

要在该场景下使用?，需先将&Option<T>转换为Option<&T>，通过Option::as_ref()方法即可实现：

impl Bot {
    fn get_high_dest(&self) -> Option<&Actor> {
        // as_ref() 将 &Option<RSend> 转为 Option<&RSend>
        Some(&self.send_rule.as_ref()?.d_high)
    }
}

原因解析 #

1. ?运算符的限制：?依赖标准库的Try系列 trait，而标准库仅为Option<T>实现了这些trait，并未覆盖&Option<T>类型，因此?无法直接作用于引用版的Option。
2. match的解构特性：Rust的模式匹配支持自动处理引用解构，当你写match &self.send_rule时，编译器会自动将&None匹配到None模式，&Some(rule)匹配到Some(rule)模式，并把内部的RSend引用绑定到rule变量，这是模式匹配的语法糖能力。

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