简介
Rust的函数使用关键字fn开头。
函数可以有一系列的输入参数,还有一个返回类型。
函数体包含一系列的语句(或者表达式)。
函数返回可以使用return语句,也可以使用表达式。
Rust编写的可执行程序的入口就是fn main()函数。
以下是一个函数的示例:
函数体内部是一个表达式,这个表达式的值就是函数的返回值。也可以写returnx+y;这样的语句作为返回值,效果是一样的。
函数也可以不写返回类型,在这种情况下,编译器会认为返回类型是unit()。此处和表达式的规定是一致的。
函数可以当成头等公民(first class value)被复制到一个值中,这个值可以像函数一样被调用。示例如下:
会出现编译错误。
虽然add1和add2有同样的参数类型和同样的返回值类型,但它们是不同类型,所以这里报错了。修复方案是让func的类型为通用的fn类型即可:
我们不能在参数、返回值类型不同的情况下作类型转换,比如:
这里再加了一个add3函数,它接受两个i32参数,这就跟add1和add2有了本质区别。
add1和add2是一个参数,类型是tuple包含两个i32成员,而add3是两个i32参数。
三者完全不一样,它们之间是无法进行类型转换的。
另外需要提示的就是,Rust的函数体内也允许定义其他item,包括静态变量、常量、函数、trait、类型、模块等。比如:
发散函数
Rust支持一种特殊的发散函数(Diverging functions),它的返回类型是感叹号!。如果一个函数根本就不能正常返回,那么它可以这样写:
因为panic!会直接导致栈展开,所以这个函数调用后面的代码都不会继续执行,它的返回类型就是一个特殊的!符号,这种函数也叫作发散函数。发散类型的最大特点就是,它可以被转换为任意一个类型。比如:
我们为什么需要这样的一种返回类型呢?先看下面的例子:
上面这条语句中包含一个if-else分支结构的表达式。我们知道,对于分支结构的表达式,它的每条分支的类型必须一致。那么这条panic!宏应该生成一个什么类型呢?这就是!类型的作用了。因为它可以与任意类型相容,所以编译器的类型检查才能通过。
在Rust中,有以下这些情况永远不会返回,它们的类型就是!。
- panic!以及基于它实现的各种函数/宏,比如unimplemented!、unreachable!;
- 死循环loop {};
- 进程退出函数std::process::exit以及类似的libc中的exec一类函数。
main函数
在大部分主流操作系统上,一个进程开始执行的时候可以接受一系列的参数,退出的时候也可以返回一个错误码。许多编程语言也因此为main函数设计了参数和返回值类型。
const fn
函数可以用const关键字修饰,这样的函数可以在编译阶段被编译器执行,返回值也被视为编译期常量。示例如下: