发散函数

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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 136,870评论 19 139
  • 第5章 引用类型(返回首页) 本章内容 使用对象 创建并操作数组 理解基本的JavaScript类型 使用基本类型...
    大学一百阅读 3,713评论 0 4
  • 7.10提前1小时到公司准备数据,吃了单位食堂的早餐,其实也不错的。 下面上7.9我的DIY早餐啦
    简葵0703阅读 107评论 0 0
  • 夜深人静的时候,我喜欢回忆今天发生的事情,因为我觉得很美好。今天上午就三四两节课,所以我八点才醒的,躺在床上思考了...
    小李子飞刀5阅读 394评论 0 2
  • 十几天没有写文,婵姐又催更了:你不是从寺庙回来了吗?怎么还不发新文章啊。 啊,是的,我是从寺庙回来了,不过,我还有...
    当时明月在zh阅读 1,012评论 0 1

友情链接更多精彩内容