rust中有一些特殊的函数语法——发散函数,这种函数不返回。
言外之意:难不成除了发散函数外,所有的函数都会返回并且具有一个返回值?下面将举例子验证一下。首先我们需要关注的是怎么定义一个发散函数,答案就是将返回值的数据类型写成!就行了,这样的函数就是一个发散函数。但是更加需要注意的问题是,既然你把一个函数定义成一个发散函数的话,那么你就要真的让这个函数不要返回,不过貌似rust的默认处理是所有的函数都会有返回行为,如果你没有显式的利用返回值表达式的话,那么默认的返回类型将会是一个空的元组()。所以,问题来了,如果我们定义了一个发散函数的话,那么我们就要真的让其具有不返回的能力,否则将会编译报错。问题的关键是,什么函数会不返回,举个例子:比如说函数抛出错误或者函数体里面具有无限循环的例子。
fn main(){
noreturn();
}
fn noreturn() -> ! {
panic!("test");
}
但是如果你把函数定义为发散函数却不定义他的函数行为是不返回的话,那么将会发生错误:
fn main(){
noreturn();//mismatched types,expected !, found ()
}
fn noreturn() -> ! {
println!("haha");
}
正常执行的函数都具有返回的行为,至于返回值,如果没有显式指定的话,那么将会是一个空的元组()。看下面这个例子:
fn main(){
noreturn();//mismatched types,expected !,found ()
}
fn noreturn() -> ! {
}
2.发散函数可以被用作任何类型
fn noreturn() -> ! {
panic!("haha");
}
let a:i32 = noreturn();
上面代码在编译时不会发生错误,在运行时肯定会发生错误。接下来类比下面的情况:
fn test(){
println!("haha");
}
let a:i32 = test();
对于上面的代码来说,在编译时就会发生错误。错误是mismatched types,expected i32,found ()。
所以说,对于发散函数能够被用作任何类型的唯一合理解释那就是:发散函数不具有返回值,所以他可以成为任何类型。什么都没有就具有无限可能。。。关于这个概念,可以类比到C语言中void型指针可以赋值给其他类型指针的知识点。
3.关于发散函数的用处?
暂时不明白他的设计原因,毕竟如果我想利用发散函数封装异常抛出和利用普通函数封装异常抛出会有什么好处呢?
END