关于Rust中函数与闭包的使用介绍

悠悠 2024-03-24 18:48 143阅读 0赞

![520cf06132c696c7c8dfee1181db3f10.jpeg][]

本文主要介绍一下Rust函数相关的内容，首先函数我们其实一直都在用，所以函数本身没什么可说的，我们的重点是与函数相关的闭包、高阶函数、发散函数，感兴趣的可以学习一下

### 闭包 ###

Rust 的闭包由一个匿名函数加上外层的作用域组成，举个例子：

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 </td> 
 <td> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;closure&nbsp;=&nbsp;|n:&nbsp;u32|&nbsp;-&gt;&nbsp;u32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>n&nbsp;*&nbsp;2</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>};</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("n&nbsp;*&nbsp;2&nbsp;=&nbsp;{}",&nbsp;closure(12));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;n&nbsp;*&nbsp;2&nbsp;=&nbsp;24</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

闭包可以被保存在一个变量中，然后我们注意一下它的语法，参数定义、返回值定义都和普通函数一样，但闭包使用的是两个竖线。我们对比一下两者的区别：

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 </td> 
 <td> <code>//&nbsp;普通函数定义</code> <code>fn&nbsp;func1(a:&nbsp;u32,&nbsp;b:&nbsp;u32)&nbsp;-&gt;&nbsp;String&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;函数体</code> <code>}</code> <code>/*&nbsp;如果换成闭包的话，那么等价于</code> <code>let&nbsp;func1&nbsp;=&nbsp;|a:&nbsp;u32,&nbsp;b:&nbsp;u32|&nbsp;-&gt;&nbsp;String&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;函数体</code> <code>}</code> <code>*/</code> </td> 
 </tr> 
 </tbody> 
</table>

所以两者在语法上没有什么本质的区别，但这个时候可能有人好奇了，我们能不能把闭包中的匿名函数换成普通函数呢？来试一下。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 </td> 
 <td> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;closure1&nbsp;=&nbsp;|n:&nbsp;u32|&nbsp;-&gt;&nbsp;u32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>n&nbsp;*&nbsp;2</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>};</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>fn&nbsp;closure2(n:&nbsp;u32)&nbsp;-&gt;&nbsp;u32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>n&nbsp;*&nbsp;2</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("n&nbsp;*&nbsp;2&nbsp;=&nbsp;{}",&nbsp;closure1(12));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("n&nbsp;*&nbsp;2&nbsp;=&nbsp;{}",&nbsp;closure2(12));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>/*</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>n&nbsp;*&nbsp;2&nbsp;=&nbsp;24</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>n&nbsp;*&nbsp;2&nbsp;=&nbsp;24</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>*/</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

从表面上来看是可以的，但其实还存在问题，因为 closure2 只是一个在函数里定义的函数而已。而闭包除了要包含函数之外，还要包含函数所在的外层作用域，什么意思呢？我们举例说明：

![29ab212aab52a3adceeae90b415b89e0.png][]

你看到了什么？没错，在函数 closure2 内部无法使用外层作用域中的变量 a，因此它只是定义在 main 函数里的函数而已，而不是闭包，因为它不包含外层函数（main）的作用域。

而 Rust 提示我们使用 **|| \{ ... \}**，那么 closure1 显然是闭包，因为它除了包含一个函数（匿名），还包含了外层作用域，我们将这个闭包赋值给了 closure1。

此外闭包还有一个重要的用途，就是在多线程编程时，可以将主线程的变量移动到子线程内部。

关于多线程后续会详细说，这里只是举个例子。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 </td> 
 <td> <code>//&nbsp;导入线程模块</code> <code>use&nbsp;std::thread;</code> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;s&nbsp;=&nbsp;String::from("hello&nbsp;world");</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;必须在&nbsp;||&nbsp;的前面加上&nbsp;move</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;它的含义就是将值从主线程移动到子线程</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;closure1&nbsp;=&nbsp;move&nbsp;||&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("{}",&nbsp;s);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>};</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;开启一个子线程</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>thread::spawn(closure1).join();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>/*</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>hello&nbsp;world</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>*/</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

打印是发生在主线程当中的，而不是子线程，以上就是闭包相关的内容。

### 高阶函数 ###

了解完闭包之后，再来看看高阶函数，在数学和计算机中，高阶函数是至少满足下列一个条件的函数：

*  接收一个或多个函数作为输入；
 *  输出一个函数；

在数学中它们也叫算子或者泛函，高阶函数是函数式编程中非常重要的一个概念。

先来看看如何定义一个接收函数作为参数的函数：

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 </td> 
 <td> <code>//&nbsp;calc&nbsp;接收三个参数，返回一个&nbsp;i32</code> <code>//&nbsp;参数一：接收两个 i32 返回一个 i32 的函数</code> <code>//&nbsp;参数二&nbsp;和&nbsp;参数三均是一个&nbsp;i32</code> <code>fn&nbsp;calc(method:&nbsp;fn(i32,&nbsp;i32)&nbsp;-&gt;&nbsp;i32,</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a:&nbsp;i32,&nbsp;b:&nbsp;i32)&nbsp;-&gt;&nbsp;i32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>method(a,&nbsp;b)</code> <code>}</code> <code>fn&nbsp;add(a:&nbsp;i32,&nbsp;b:&nbsp;i32)&nbsp;-&gt;&nbsp;i32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;+&nbsp;b</code> <code>}</code> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("a&nbsp;+&nbsp;b&nbsp;=&nbsp;{}",&nbsp;calc(add,&nbsp;12,&nbsp;33));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>/*</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;+&nbsp;b&nbsp;=&nbsp;45</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>*/</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;也可以传递一个匿名函数，但它不能引用外层作用域的变量</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;因为&nbsp;calc&nbsp;第一个参数接收的是函数，不是闭包</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;sub&nbsp;=&nbsp;|a:&nbsp;i32,&nbsp;b:&nbsp;i32|&nbsp;-&gt;&nbsp;i32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;-&nbsp;b</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>};</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("a&nbsp;-&nbsp;b&nbsp;=&nbsp;{}",&nbsp;calc(sub,&nbsp;12,&nbsp;33));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>/*</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;-&nbsp;b&nbsp;=&nbsp;-21</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>*/</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

以函数作为参数，在类型声明中我们不需要写函数名以及参数名，只需要指明参数类型、数量和返回值类型即可。

然后再观察一下函数 calc 的定义，由于第一个参数 method 接收一个函数，所以它的定义特别的长，我们能不能简化一下呢？

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 </td> 
 <td> <code>//&nbsp;相当于给类型起了一个别名</code> <code>type&nbsp;Method&nbsp;=&nbsp;fn(i32,&nbsp;i32)&nbsp;-&gt;&nbsp;i32;</code> <code>fn&nbsp;calc(method:&nbsp;Method,</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a:&nbsp;i32,&nbsp;b:&nbsp;i32)&nbsp;-&gt;&nbsp;i32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>method(a,&nbsp;b)</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

这种做法也是可以的。

看完了接收函数作为参数，再来看看如何将函数作为返回值。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 </td> 
 <td> <code>type&nbsp;Method&nbsp;=&nbsp;fn(i32,&nbsp;i32)&nbsp;-&gt;&nbsp;i32;</code> <code>//&nbsp;想要接收字符串的话</code> <code>//&nbsp;应该使用引用&nbsp;&amp;String&nbsp;或切片&nbsp;&amp;str</code> <code>//&nbsp;当然我们前面说过，更推荐切片</code> <code>fn&nbsp;calc(op:&nbsp;&amp;str)&nbsp;-&gt;&nbsp;Method&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>fn&nbsp;add(a:&nbsp;i32,&nbsp;b:&nbsp;i32)&nbsp;-&gt;&nbsp;i32&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;+&nbsp;b</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code>&nbsp; <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;sub&nbsp;=&nbsp;|a:&nbsp;i32,&nbsp;b:&nbsp;i32|&nbsp;-&gt;&nbsp;i32&nbsp;{&nbsp;a&nbsp;-&nbsp;b&nbsp;};</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;使用&nbsp;if&nbsp;else&nbsp;也是可以的</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>match&nbsp;op&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>"add"&nbsp;=&gt;&nbsp;add,</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>"sub"&nbsp;=&gt;&nbsp;sub,</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;内置的宏，会抛出一个错误，表示方法没有实现</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>_&nbsp;=&gt;&nbsp;unimplemented!(),</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}&nbsp; // 注意：此处不可以加分号，因为要作为表达式返回</code> <code>}</code> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;(a,&nbsp;b)&nbsp;=&nbsp;(11,&nbsp;33);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("a&nbsp;+&nbsp;b&nbsp;=&nbsp;{}",&nbsp;calc("add")(a,&nbsp;b));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>println!("a&nbsp;-&nbsp;b&nbsp;=&nbsp;{}",&nbsp;calc("sub")(a,&nbsp;b));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>/*</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;+&nbsp;b&nbsp;=&nbsp;44</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>a&nbsp;-&nbsp;b&nbsp;=&nbsp;-22</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>*/</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

以上就是高阶函数，还是很好理解的，和 Python 比较类似。你可以基于这个特性，实现一个装饰器，只是 Rust 里面没有 @ 这个语法糖罢了。这里我们简单地实现一下吧，加深一遍印象。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 </td> 
 <td> <code>enum&nbsp;Result&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>Text(String),</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>Func(fn()&nbsp;-&gt;&nbsp;String),</code> <code>}</code> <code>fn&nbsp;index()&nbsp;-&gt;&nbsp;String&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>String::from("欢迎来到古明地觉的编程教室")</code> <code>}</code> <code>fn&nbsp;login_required(username:&nbsp;&amp;str,&nbsp;password:&nbsp;&amp;str)&nbsp;-&gt;&nbsp;Result&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>if&nbsp;!(username&nbsp;==&nbsp;"satori"&nbsp;&amp;&amp;&nbsp;password&nbsp;==&nbsp;"123")&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>return&nbsp;Result::Text(String::from("请先登录"));</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}&nbsp;else&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>return&nbsp;Result::Func(index);</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}</code> <code>}</code> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;res1&nbsp;=&nbsp;login_required("xxx",&nbsp;"yyy");</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;res2&nbsp;=&nbsp;login_required("satori",&nbsp;"123");</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;如果后续还要使用&nbsp;res1&nbsp;和&nbsp;res2，那么就使用引用</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;也就是&nbsp;[&amp;res1,&nbsp;&amp;res2]</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;但这里我们不用了，所以是&nbsp;[res1,&nbsp;res2]，此时会转移所有权</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>for&nbsp;item&nbsp;in&nbsp;[res1,&nbsp;res2]&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>match&nbsp;item&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>Result::Text(error)&nbsp;=&gt;&nbsp;println!("{}",&nbsp;error),</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>Result::Func(index)&nbsp;=&gt;&nbsp;println!("{}",&nbsp;index()),</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>}</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>/*</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>请先登录</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>欢迎来到古明地觉的编程教室</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>*/</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

是不是很有趣呢？这里再次看到了枚举类型的威力，我们有可能返回字符串，也有可能返回函数，那么应该怎么办呢？很简单，将它们放到枚举里面即可，这样它们都是枚举类型。至于到底是哪一个成员，再基于 match 分别处理即可。

还记得 match 吗？match 可以有任意多个分支，每一个分支都应该返回相同的类型，并且只有一个分支会执行成功，然后该分支的返回值会作为整个 match 表达式的返回值。

### 发散函数 ###

最后再来看看发散函数，这个概念在其它语言里面应该很少听到。在 Rust 里面，发散函数永远不会返回，它的返回值被标记为 **!**，表示这是一个空类型。

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 </td> 
 <td> <code>//&nbsp;发散函数的返回值类型是一个感叹号</code> <code>//&nbsp;它表示这个函数执行时会报错</code> <code>fn&nbsp;foo()&nbsp;-&gt;&nbsp;!&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>panic!("这个函数执行时会报错")</code> <code>}</code> <code>fn&nbsp;main()&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>//&nbsp;调用发散函数时，可以将其结果赋值给任意类型的变量</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;res1:&nbsp;u32&nbsp;=&nbsp;foo();</code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>let&nbsp;res2:&nbsp;f64&nbsp;=&nbsp;foo();</code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

所以这个发散函数没啥卵用，你在实际开发中估计一辈子也用不上，因为它在执行的时候会 panic 掉。所以这段代码编译的时候是没有问题的，但执行时会触发 panic。既然执行时会报错，那么当然可以赋值给任意类型的变量。

因此当返回值类型为 **!** 时，我们需要通过 panic 宏让函数在执行的过程中报错。但要注意的是，发散函数和不指定返回值的函数是不一样的，举个例子：

<table> 
 <tbody> 
 <tr> 
 <td> 1 2 3 4 5 6 7 8 9 10 11 12 </td> 
 <td> <code>//&nbsp;发散函数的返回值类型是一个感叹号</code> <code>//&nbsp;它表示这个函数执行时会报错</code> <code>fn&nbsp;foo()&nbsp;-&gt;&nbsp;!&nbsp;{ </code> <code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>panic!("这个函数执行时会报错");</code> <code>}</code> <code>//&nbsp;不指定返回值，默认返回&nbsp;()</code> <code>//&nbsp;所以以下等价于&nbsp;fn&nbsp;bar()&nbsp;-&gt;&nbsp;()&nbsp;{}</code> <code>//&nbsp;但很明显&nbsp;bar&nbsp;函数是有返回值的，会返回空元组</code> <code>fn&nbsp;bar()&nbsp;{ </code> <code>}</code> </td> 
 </tr> 
 </tbody> 
</table>

总的来说发散函数没啥卵用，在工作中也不建议使用，只要知道有这么个东西就行。

到此这篇关于深入了解Rust中函数与闭包的使用的文章就介绍到这了

来源：[微点阅读][Link 1] [https://www.weidianyuedu.com][Link 1]

[520cf06132c696c7c8dfee1181db3f10.jpeg]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/13/50f1c1199bf24b4b8d63add27e3c21b4.png
[29ab212aab52a3adceeae90b415b89e0.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/13/3dfaf317792841b5b97faa45d0302982.png
[Link 1]: https://www.weidianyuedu.com