如果通过谓词，则返回值，否则为默认值

Question

如果一个值失败了谓词，我如何替换它？

为了说明：

assert_eq!((3-5).but_if(|v| v < 0).then(0), 0)

我以为Option或Result上会有允许这样做的东西，但我找不到。

Answer 1

我以为Option或Result上会有什么东西

但这两种类型都没有出现在这里。减去两个数字会产生另一个数字。

看来，您只想要一个传统的if-else语句：

fn main() {
    let a = 3 - 5;
    assert_eq!(if a < 0 { 0 } else { a }, 0);
}

因为有两个可以比较的值，所以您也可能对max感兴趣。

use std::cmp::max;

fn main() {
    assert_eq!(max(0, 3 - 5), 0);
}

您可以使用您建议的语法，但我不确定它是否值得。不作进一步评论..。

fn main() {
    assert_eq!((3 - 5).but_if(|&v| v < 0).then(0), 0)
}

trait ButIf: Sized {
    fn but_if<F>(self, f: F) -> ButIfTail<Self>
        where F: FnOnce(&Self) -> bool;
}

// or `impl<T> ButIf for T {` for maximum flexibility
impl ButIf for i32 {
    fn but_if<F>(self, f: F) -> ButIfTail<Self>
        where F: FnOnce(&Self) -> bool,
    {
        ButIfTail(f(&self), self)
    }
}

struct ButIfTail<T>(bool, T);

impl<T> ButIfTail<T> {
    fn then(self, alt: T) -> T {
        if self.0 {
            alt
        } else {
            self.1
        }
    }
}

Answer 2

更新:自从锈1.27添加Option::filter以来，的效果更好一些：

assert_eq!(Some(3 - 5).filter(|&v| v >= 0).unwrap_or(0), 0);

在Rust 1.27之前，您可能需要一个迭代器才能编写一个单一的链式表达式，而不需要大量额外的自定义机器：

assert_eq!(Some(3 - 5).into_iter().filter(|&v| v >= 0).next().unwrap_or(0), 0);