rust 语法和语义 03 表达式 VS 语句

rust 语法和语义 03 表达式 VS 语句

表达式 VS 语句 statement vs expression

原本此概念是写在 <语法和语义 02 函数> 章节中，但发现其概念十分基础，故特意单独成章。

概述

类型	结尾	返回
语句 statement	分号; （一句话要有结尾）	无返回值 （只是一句话）
表达式 expression	无结尾	返回一个值 （表达一个结果）

rust只有两种语句：声明语句，表达式语句。其他都是表达式。

mint: 然而常态见和用的最多的是语句。。。

声明语句

let 只能开始一个语句，而不是一个表达式。

rust中，赋值语句 的返回值是空元组 () 。

let mut y = 5;
let x = (y = 6); // error, x = () not 6

表达式语句

表达式语句，把任何表达式变为语句。因为rust语法期望语句后面跟着语句。其例外是函数的返回表达式。

函数返回表达式

让我们回过头来再看看函数的返回。

fn add_one(x : u32) -> u32
{
    x + 1
}

在函数声明时，声明返回值是u32类型。而语句 x + 1; 的返回值是 ()。这会导致类型错误。所以，在函数返回时使用 表达式 x + 1 。不然，rust就会提醒你让你去掉分号啦。

参考

• The Rust Programming Language
• Rust 程序设计语言（第一版） 简体中文版