Rust的语句与表达式
Rust 中的语法分为两大类: 语句 (statement) 和表达式 (Expression)。
语句:指的是要执行的一些操作和产生副作用的表达式。
表达式:主要用于计算求值。
-
语句
-
声明语句:用于声明各种语言项,包括变量、静态变量、常量、结构体、函数等,以及通过extern和use关键字引入包和模块。
-
表达式语句:特指以分号结尾的表达式。此类表达式求值结果将会被舍弃,并总是返回单元类型()。单元类型拥有唯一的值,就是它本身。单元类型的概念来自OCmal,他表示“没什么特殊的价值”。将单元值作为函数返回值。就表示该函数无返回值,通常,无返回值的函数不需要在函数签名中指定返回类型。
-
//extern crate std;// 声明语句
//use std::prelude::v1::*;//上同
//注释掉,是因为Rust会为每个crate都自动引入标准库模块,除非使用#[no_std]属性明确指定了不需要标准库。
fn main(){
pub fn answer() -> (){
let a = 40;
let b = 2;
assert_eq!(sum(a, b), 42);
}
pub fn sum(a: i32, b:i32) -> i32{
a + b
}
answer();
}
从这个角度来看,可以将Rust看作一切皆表达式。由于当分号后面什么都没有时自动补单元值()的特点,可以将Rust中的语句看作计算结果均为()的特殊表达式。而对于普通的表达式来说,则会得到正常的求值结果。
当遇到函数的时候,会将函数体的花括号识别为块表达式。块表达式是由一对花括号和一系列表达式组成的,它总是返回块中最后一个表达式的值。
Rust编译器在解析代码的时候,如果碰到分毫,就会继续往后面执行;如果碰断语句,则执行语句;如果碰到表达式,则会对表达式求值,如果分号后面什么都没有,就会补上单元值()。
Assert_eq!是宏语句,是Rust提供的断言,允许判断给定的两个表达式求值结果是否相同。像这种名字以叹号结尾,并且可以像函数一样被调用的语句,在Rust中叫做宏。