Rust 函数式编程的具体使用
<div id="navCategory"><h5 class="catalogue">目录</h5><ul class="first_class_ul"><li>一、什么是函数式编程？一句话概括</li><ul class="second_class_ul"><li>1. 什么是“纯粹的函数”（纯函数）？</li><li>2. 什么是“副作用”？</li><li>3. 什么是“组合性”？为啥函数式编程要“可组合”？</li><li>函数式编程的三大思想总结：</li><li>函数式 VS 命令式（C++/Java）</li><li>Rust 支持函数式编程的方式（显著特征表）</li></ul><li>如何从零开始上手 Rust 函数式编程？</li><ul class="second_class_ul"><li>第一步：掌握函数式写法格式</li><li>第二步：从 for 循环重构开始</li><li>第三步：试着传函数给函数（高阶函数）</li></ul><li>总结：Rust 函数式编程，到底有什么价值？</li><ul class="second_class_ul"></ul><li>后续你可以这样学习函数式思维：</li><ul class="second_class_ul"></ul></ul></div><p>Rust 是一门多范式语言，既可以像 C++/Java 那样写“命令式代码”，也支持“函数式编程”。但很多刚入门的小伙伴可能会有这些疑问：</p><p>函数不就是函数吗？什么是纯函数？<br />什么又是副作用？函数式和我熟悉的 Java/C++ 有啥区别？<br />我该怎么开始写函数式风格的 Rust 代码？</p>
<p>别急，今天我们从零出发，把这些<strong>看起来很抽象的概念通通讲清楚</strong>！</p>
<p class="maodian"></p><h2>一、什么是函数式编程？一句话概括</h2>
<blockquote><p>函数式编程（Functional Programming）是：用纯粹、可组合的函数来表达程序逻辑，同时避免副作用。</p></blockquote>
<p>看不懂？我们来一句一句拆开讲 👇</p>
<p class="maodian"></p><h3>1. 什么是“纯粹的函数”（纯函数）？</h3>
<p>很多人第一反应是：“函数不都是函数吗？为啥还要强调‘纯’？”</p>
<p>来，举个例子你就懂了：</p>
<p>举个例子</p>
<div class="jb51code"><pre class="brush:plain;">fn add(a: i32, b: i32) -> i32 {
a + b
}
</pre></div>
<p>这个函数：</p>
<ul><li>输入什么，输出就是什么（比如 2 + 3 永远等于 5）</li><li>不会打印东西、不写文件、不改全局变量</li></ul>
<p>✅ 所以它是个“纯函数”。</p>
<p>再举一个反面例子</p>
<div class="jb51code"><pre class="brush:plain;">fn print_and_add(a: i32, b: i32) -> i32 {
println!("正在加法运算！");
a + b
}
</pre></div>
<p>这个函数除了计算结果，还打印了一句话，这叫做<strong>副作用</strong>。</p>
<p class="maodian"></p><h3>2. 什么是“副作用”？</h3>
<p>副作用 = <strong>函数除了返回结果，还影响了“外部世界”</strong>。</p>
<table><tbody><tr><th>行为</th><th>是副作用吗？</th><th>原因</th></tr><tr><td>改了一个全局变量</td><td>✅ 是</td><td>改变了外部状态</td></tr><tr><td>打印输出 <code>println!</code></td><td>✅ 是</td><td>改变了控制台</td></tr><tr><td>写入文件</td><td>✅ 是</td><td>改变了磁盘状态</td></tr><tr><td>发 HTTP 请求</td><td>✅ 是</td><td>影响了外部网络</td></tr><tr><td>单纯返回值</td><td>❌ 否</td><td>没动外部任何东西</td></tr></tbody></table>
<p>为什么函数式编程追求“无副作用”？</p>
<p>因为副作用：</p>
<ul><li>会让程序变得<strong>难以预测</strong>（打印/写文件在哪影响了谁？）</li><li>不利于<strong>并发</strong>（多个线程操作全局变量可能会打架）</li><li>不好测试（一个函数打印日志、改配置很难自动验证）</li></ul>
<p class="maodian"></p><h3>3. 什么是“组合性”？为啥函数式编程要“可组合”？</h3>
<p>组合性 = <strong>把小函数像积木一样拼起来，组成更大的逻辑</strong></p>
<p>比如：</p>
<div class="jb51code"><pre class="brush:plain;">let data = vec!;
let result: i32 = data
.iter() // 遍历
.filter(|x| *x % 2 == 0) // 只保留偶数
.map(|x| x * 2) // 每个数翻倍
.sum(); // 求和
println!("{}", result);// 输出 12（2*2 + 4*2）
</pre></div>
<p>这段代码没有循环、没有中间变量，却能一步步地处理数据。<br />每个函数（如 <code>filter</code>, <code>map</code>）都很简单，但组合起来就完成了复杂的逻辑！</p>
<p>这种“拼积木”的能力，就是<strong>组合性</strong>。</p>
<p class="maodian"></p><h3>函数式编程的三大思想总结：</h3>
<table><tbody><tr><th>概念</th><th>通俗解释</th><th>关键目的</th></tr><tr><td>纯函数</td><td>不依赖外部，不改外部，只靠输入决定输出</td><td>稳定、可预测</td></tr><tr><td>无副作用</td><td>不打印、不改文件、不改全局变量</td><td>可测试、线程安全</td></tr><tr><td>可组合</td><td>把小函数组合成大逻辑</td><td>简洁、模块化</td></tr></tbody></table>
<p class="maodian"></p><h3>函数式 VS 命令式（C++/Java）</h3>
<table><tbody><tr><th>对比点</th><th>命令式（C++/Java）</th><th>函数式（Rust风格）</th></tr><tr><td>编程方式</td><td>写“怎么做”</td><td>写“要什么”</td></tr><tr><td>控制结构</td><td>for、if、变量改来改去</td><td>map/filter/链式处理</td></tr><tr><td>状态管理</td><td>变量经常变化</td><td>默认不可变</td></tr><tr><td>副作用</td><td>难避免</td><td>尽量消除</td></tr><tr><td>函数角色</td><td>封装逻辑</td><td>构建模块</td></tr><tr><td>可读性</td><td>操作细节多</td><td>更像自然语言表达</td></tr></tbody></table>
<p class="maodian"></p><h3>Rust 支持函数式编程的方式（显著特征表）</h3>
<table><tbody><tr><th>特征</th><th>Rust 中的支持方式</th><th>示例</th></tr><tr><td>✅ 纯函数</td><td>所有普通函数默认都可以写成纯函数</td><td>fn add(a, b) -> a + b</td></tr><tr><td>✅ 不可变性</td><td>默认 let 是不可变的</td><td>let x = 5;</td></tr><tr><td>✅ 闭包（匿名函数）</td><td>使用 |x| x + 1 定义</td><td>let f = |x| x + 1;</td></tr><tr><td>✅ 高阶函数</td><td>函数可以作为参数传入</td><td>map(|x| x * 2)</td></tr><tr><td>✅ 惰性计算</td><td>Iterator 是惰性执行的</td><td>.iter().map().filter()</td></tr><tr><td>✅ 函数组合</td><td>使用链式调用</td><td>.map().filter().sum()</td></tr></tbody></table>
<p>🔍 <strong>解释闭包：</strong>闭包就是一个没有名字的“临时函数”，可以捕获外部变量，语法是 <code>|参数| 表达式</code>。</p>
<p class="maodian"></p><h2>如何从零开始上手 Rust 函数式编程？</h2>
<p>很多人卡在一开始不知道怎么写函数式代码，我们一步步来：</p>
<p class="maodian"></p><h3>第一步：掌握函数式写法格式</h3>
<table><tbody><tr><th>写法</th><th>示例</th><th>含义</th></tr><tr><td>匿名函数（闭包）</td><td>使用 |x| x + 1 定义</td><td>let f = |x| x + 1;</td></tr><tr><td>高阶函数</td><td>map(|x| x * 2)</td><td>传函数给函数</td></tr><tr><td>链式调用</td><td>.filter().map()</td><td>像流水线一样处理数据</td></tr><tr><td>collect 收集结果</td><td>.collect::<Vec<_>>()</td><td>把处理结果收集成 Vec</td></tr></tbody></table>
<p class="maodian"></p><h3>第二步：从 for 循环重构开始</h3>
<p>传统写法：</p>
<div class="jb51code"><pre class="brush:plain;">let mut result = vec![];
for i in 1..=5 {
if i % 2 == 0 {
result.push(i * 2);
}
}
</pre></div>
<p>函数式写法：</p>
<div class="jb51code"><pre class="brush:plain;">let result: Vec<_> = (1..=5)
.filter(|x| x % 2 == 0)
.map(|x| x * 2)
.collect();
</pre></div>
<p class="maodian"></p><h3>第三步：试着传函数给函数（高阶函数）</h3>
<div class="jb51code"><pre class="brush:plain;">fn operate(x: i32, f: fn(i32) -> i32) -> i32 {
f(x)
}
fn main() {
let double = |x| x * 2;
println!("{}", operate(3, double)); // 输出 6
}
</pre></div>
<p class="maodian"></p><h2>总结：Rust 函数式编程，到底有什么价值？</h2>
<table><tbody><tr><th>优点</th><th>对初学者的意义</th></tr><tr><td>✅ 代码更短更清晰</td><td>不需要手动管理中间变量</td></tr><tr><td>✅ 更容易测试</td><td>没副作用就是好测试</td></tr><tr><td>✅ 更少 bug</td><td>不容易改错变量</td></tr><tr><td>✅ 更好并发支持</td><td>不争抢变量，天然线程安全</td></tr></tbody></table>
<p class="maodian"></p><h2>后续你可以这样学习函数式思维：</h2>
<ul><li>把所有 <code>for</code> 循环都试着用 <code>.iter().map().filter()</code> 改写</li><li>学会闭包、理解闭包和变量捕获</li><li>阅读标准库 <code>Iterator</code> Trait 的文档</li><li>多写链式组合：map、filter、fold、collect</li><li>理解 <code>Option</code> / <code>Result</code> 和函数式结合的优雅用法</li></ul>
<p>到此这篇关于Rust 函数式编程的具体使用的文章就介绍到这了,更多相关Rust 函数式编程内容请搜索琼殿技术社区以前的文章或继续浏览下面的相关文章希望大家以后多多支持琼殿技术社区！ </p>
<div class="art_xg">
<b>您可能感兴趣的文章:</b><ul><li>Rust调用函数操作符 . 和 :: 的区别详解</li><li>Rust 入门之函数和注释实例详解</li><li>深入探究在Rust中函数、方法和关联函数有什么区别</li><li>RUST语言函数的定义与调用方法</li><li>深入了解Rust中函数与闭包的使用</li><li>Rust中的方法与关联函数使用解读</li><li>Rust用宏实现参数可变的函数的实现示例</li></ul>
</div>
</div>
<!--endmain-->
頁:
[1]