在Rust中,如何将"flatten"添加到Option <Option <T >>？

Question

我怎样才能"添加"一个flatten()方法Option<U>,只有当它U是一个Option<T>或者更简单地将它添加到时才会进行类型检查Option<Option<T>>？天真地,我正在尝试编写以下内容,但不编译:

impl Option<Option<T>> {
    fn flatten(&self) -> Option<T> {
        match self {
            None => None,
            Some(v) => v,
        }
    }
}

fn main() {
    let x = Some(Some(1));
    let y = x.flatten();
    println!("{:?}", y);
}

Answer 1

由于一致性(如果可以的话,你怎么知道其他人还没有定义一些叫做的东西flatten？),你不能把固有的实现(你正在尝试的)写入你没有定义的类型.

相反,您需要使用所需的方法定义和实现特征.您想要方法的任何地方,您使用特征:

trait Flatten<T> {
    fn flatten(self) -> Option<T>;
}

impl<T> Flatten<T> for Option<Option<T>> {
    fn flatten(self) -> Option<T> {
        match self {
            None => None,
            Some(v) => v,
        }
    }
}

fn main() {
    let x = Some(Some(1));
    let y = x.flatten();
    println!("{:?}", y);
}

另请注意,我将方法的主题从以下更改&self为self:您不能移出借位(尤其不是不可变的借位),因此self通过引用获取并不是真的有意义.