为什么返回表达式在不需要分号时使用分号？

Question

我正在学习Rust，我发现函数有些混乱。根据官方参考，一个返回表达式：

...[is]用关键字返回表示。评估返回表达式将其参数移动到当前函数的输出槽中，破坏当前函数激活帧，并将控制权转移到调用者帧。

所以，这个程序工作：

fn main() {
    let current_hour = 10;
    let message = get_message(current_hour);

    println!("Good {0}", message);
}

fn get_message(current_hour: i32) -> &'static str {

    if current_hour < 11 {
        return "Morning"
    }
    else if current_hour < 17 {
        return "Afternoon"
    }
    else {
        return "Evening"
    }

}

当我在“返回”表达式中添加分号时，它仍然有效：

fn main() {
    let current_hour = 10;
    let message = get_message(current_hour);

    println!("Good {0}", message);
}

fn get_message(current_hour: i32) -> &'static str {

    if current_hour < 11 {
        return "Morning";
    }
    else if current_hour < 17 {
        return "Afternoon";
    }
    else {
        return "Evening";
    }

}

我对表达式语句（例如expr；）的理解是，它将计算expr表达式，并忽略结果（而是使用（））。如果使用return expr ，似乎没有理由使用因为return expr会破坏当前函数激活帧（然后会忽略；）。

那么，如果没有必要，为什么我看到的很多锈迹代码会使用分号呢（事实上，学习锈迹的函数会让人非常困惑……因为这感觉很矛盾）。这只是其他语言流传下来的习语吗？




Answer 1

这只是其他语言中的一个习语吗？

是的，我想就是这样，只是习惯，可能还有一种关于什么感觉奇怪，什么感觉不奇怪的一般审美观（这当然受到某人以前语言的影响）。

目前，它所能带来的唯一不同是

fn foo() {
    return;
    println!("hi");
}

其中return需要是一个语句。。。但是返回之后的代码是不可访问的（编译器会告诉您），所以在实际代码中这种情况可能不会发生太多。