Question

我正在处理Rust文档（书），并对使用分号分隔语句感到困惑。

在一个示例中，它使用println!宏作为以分号结束的语句：

use std::cmp::Ordering;

fn cmp(a: i32, b: i32) -> Ordering {
    if a < b { Ordering::Less }
    else if a > b { Ordering::Greater }
    else { Ordering::Equal }
}

fn main() {
    let x = 5;
    let y = 10;

    let ordering = cmp(x, y);

    if ordering == Ordering::Less {
        println!("less");
    } else if ordering == Ordering::Greater {
        println!("greater");
    } else if ordering == Ordering::Equal {
        println!("equal");
    }
}

使用match表达式来简化它...

use std::cmp::Ordering;

fn cmp(a: i32, b: i32) -> Ordering {
    if a < b { Ordering::Less }
    else if a > b { Ordering::Greater }
    else { Ordering::Equal }
}

fn main() {
    let x = 5;
    let y = 10;

    match cmp(x, y) {
        Ordering::Less => println!("less"),
        Ordering::Greater => println!("greater"),
        Ordering::Equal => println!("equal"),
    }
}

分号消失了，表明println!不是一个语句，而是一个表达式。我不明白为什么......我错过了什么？

Answer 1

println!()是一个扩展到表达式的宏。它有no useful return value，但它是一个表达式（主要是因为几乎所有东西都是表达式，包括函数调用和块）。

有一个约定 - 我不知道它是多么常见，但我跟随它 - 来对待() - 将函数调用作为伪语句，仅用于它们的副作用，因此即使没有严格要求，也要用分号终止它们。这是在第一个片段中完成的。

在第二个片段中，我们有一个match，匹配的武器期待一个表达式。一个人可以使用一个块（Ordering::Less => { println!("less"); }），但这是一个很大的语法噪音，只是为了清楚地说明这些武器是用于它们的副作用，所以我想作者只是把它关掉了。

是println！表达或陈述？

1 个答案: