mirror of
https://github.com/KaiserY/trpl-zh-cn
synced 2024-11-13 03:21:20 +08:00
479 lines
54 KiB
HTML
479 lines
54 KiB
HTML
|
<!DOCTYPE HTML>
|
|||
|
|
<html lang="en" class="light" dir="ltr">
|
|||
|
|
<head>
|
|||
|
|
<!-- Book generated using mdBook -->
|
|||
|
|
<meta charset="UTF-8">
|
|||
|
|
<title>Futures 和 async 语法 - Rust 程序设计语言 简体中文版</title>
|
|||
|
|
|
|||
|
|
|
|||
|
|
<!-- Custom HTML head -->
|
|||
|
|
|
|||
|
|
<meta name="description" content="">
|
|||
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|||
|
|
<meta name="theme-color" content="#ffffff">
|
|||
|
|
|
|||
|
|
<link rel="icon" href="favicon.svg">
|
|||
|
|
<link rel="shortcut icon" href="favicon.png">
|
|||
|
|
<link rel="stylesheet" href="css/variables.css">
|
|||
|
|
<link rel="stylesheet" href="css/general.css">
|
|||
|
|
<link rel="stylesheet" href="css/chrome.css">
|
|||
|
|
<link rel="stylesheet" href="css/print.css" media="print">
|
|||
|
|
|
|||
|
|
<!-- Fonts -->
|
|||
|
|
<link rel="stylesheet" href="FontAwesome/css/font-awesome.css">
|
|||
|
|
<link rel="stylesheet" href="fonts/fonts.css">
|
|||
|
|
|
|||
|
|
<!-- Highlight.js Stylesheets -->
|
|||
|
|
<link rel="stylesheet" href="highlight.css">
|
|||
|
|
<link rel="stylesheet" href="tomorrow-night.css">
|
|||
|
|
<link rel="stylesheet" href="ayu-highlight.css">
|
|||
|
|
|
|||
|
|
<!-- Custom theme stylesheets -->
|
|||
|
|
<link rel="stylesheet" href="ferris.css">
|
|||
|
|
<link rel="stylesheet" href="theme/2018-edition.css">
|
|||
|
|
<link rel="stylesheet" href="theme/semantic-notes.css">
|
|||
|
|
<link rel="stylesheet" href="theme/listing.css">
|
|||
|
|
|
|||
|
|
</head>
|
|||
|
|
<body class="sidebar-visible no-js">
|
|||
|
|
<div id="body-container">
|
|||
|
|
<!-- Provide site root to javascript -->
|
|||
|
|
<script>
|
|||
|
|
var path_to_root = "";
|
|||
|
|
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
<!-- Work around some values being stored in localStorage wrapped in quotes -->
|
|||
|
|
<script>
|
|||
|
|
try {
|
|||
|
|
var theme = localStorage.getItem('mdbook-theme');
|
|||
|
|
var sidebar = localStorage.getItem('mdbook-sidebar');
|
|||
|
|
|
|||
|
|
if (theme.startsWith('"') && theme.endsWith('"')) {
|
|||
|
|
localStorage.setItem('mdbook-theme', theme.slice(1, theme.length - 1));
|
|||
|
|
}
|
|||
|
|
|
|||
|
|
if (sidebar.startsWith('"') && sidebar.endsWith('"')) {
|
|||
|
|
localStorage.setItem('mdbook-sidebar', sidebar.slice(1, sidebar.length - 1));
|
|||
|
|
}
|
|||
|
|
} catch (e) { }
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
<!-- Set the theme before any content is loaded, prevents flash -->
|
|||
|
|
<script>
|
|||
|
|
var theme;
|
|||
|
|
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
|
|||
|
|
if (theme === null || theme === undefined) { theme = default_theme; }
|
|||
|
|
var html = document.querySelector('html');
|
|||
|
|
html.classList.remove('light')
|
|||
|
|
html.classList.add(theme);
|
|||
|
|
var body = document.querySelector('body');
|
|||
|
|
body.classList.remove('no-js')
|
|||
|
|
body.classList.add('js');
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
<input type="checkbox" id="sidebar-toggle-anchor" class="hidden">
|
|||
|
|
|
|||
|
|
<!-- Hide / unhide sidebar before it is displayed -->
|
|||
|
|
<script>
|
|||
|
|
var body = document.querySelector('body');
|
|||
|
|
var sidebar = null;
|
|||
|
|
var sidebar_toggle = document.getElementById("sidebar-toggle-anchor");
|
|||
|
|
if (document.body.clientWidth >= 1080) {
|
|||
|
|
try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { }
|
|||
|
|
sidebar = sidebar || 'visible';
|
|||
|
|
} else {
|
|||
|
|
sidebar = 'hidden';
|
|||
|
|
}
|
|||
|
|
sidebar_toggle.checked = sidebar === 'visible';
|
|||
|
|
body.classList.remove('sidebar-visible');
|
|||
|
|
body.classList.add("sidebar-" + sidebar);
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
|||
|
|
<div class="sidebar-scrollbox">
|
|||
|
|
<ol class="chapter"><li class="chapter-item expanded affix "><a href="title-page.html">Rust 程序设计语言</a></li><li class="chapter-item expanded affix "><a href="foreword.html">前言</a></li><li class="chapter-item expanded affix "><a href="ch00-00-introduction.html">简介</a></li><li class="chapter-item expanded "><a href="ch01-00-getting-started.html"><strong aria-hidden="true">1.</strong> 入门指南</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ch01-01-installation.html"><strong aria-hidden="true">1.1.</strong> 安装</a></li><li class="chapter-item expanded "><a href="ch01-02-hello-world.html"><strong aria-hidden="true">1.2.</strong> Hello, World!</a></li><li class="chapter-item expanded "><a href="ch01-03-hello-cargo.html"><strong aria-hidden="true">1.3.</strong> Hello, Cargo!</a></li></ol></li><li class="chapter-item expanded "><a href="ch02-00-guessing-game-tutorial.html"><strong aria-hidden="true">2.</strong> 写个猜数字游戏</a></li><li class="chapter-item expanded "><a href="ch03-00-common-programming-concepts.html"><strong aria-hidden="true">3.</strong> 常见编程概念</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ch03-01-variables-and-mutability.html"><strong aria-hidden="true">3.1.</strong> 变量与可变性</a></li><li class="chapter-item expanded "><a href="ch03-02-data-types.html"><strong aria-hidden="true">3.2.</strong> 数据类型</a></li><li class="chapter-item expanded "><a href="ch03-03-how-functions-work.html"><strong aria-hidden="true">3.3.</strong> 函数</a></li><li class="chapter-item expanded "><a href="ch03-04-comments.html"><strong aria-hidden="true">3.4.</strong> 注释</a></li><li class="chapter-item expanded "><a href="ch03-05-control-flow.html"><strong aria-hidden="true">3.5.</strong> 控制流</a></li></ol></li><li class="chapter-item expanded "><a href="ch04-00-understanding-ownership.html"><strong aria-hidden="true">4.</strong> 认识所有权</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ch04-01-what-is-ownership.html"><strong aria-hidden="true">4.1.</strong> 什么是所有权？</a></li><li class="chapter-item expanded "><a href="ch04-02-references-and-borrowing.html"><strong aria-hidden="true">4.2.</strong> 引用与借用</a></li><li class="chapter-item expanded "><a href="ch04-03-slices.html"><strong aria-hidden="true">4.3.</strong> Slice 类型</a></li></ol></li><li class="chapter-item expanded "><a href="ch05-00-structs.html"><strong aria-hidden="true">5.</strong> 使用结构体组织相关联的数据</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ch05-01-defining-structs.html"><strong aria-hidden="true">5.1.</strong> 结构体的定义和实例化</a></li><li class="chapter-item expanded "><a href="ch05-02-example-structs.html"><strong aria-hidden="true">5.2.</strong> 结构体示例程序</a></li><li class="chapter-item expanded "><a href="ch05-03-method-syntax.html"><strong aria-hidden="true">5.3.</strong> 方法语法</a></li></ol></li><li class="chapter-item expanded "><a href="ch06-00-enums.html"><strong aria-hidden="true">6.</strong> 枚举和模式匹配</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ch06-01-defining-an-enum.html"><strong aria-hidden="true">6.1.</strong> 枚举的定义</a></li><li class="chapter-item expanded "><a href="ch06-02-match.html"><strong aria-hidden="true">6.2.</strong> match 控制流结构</a></li><li class="chapter-item expanded "><a href="ch06-03-if-let.html"><strong aria-hidden="true">6.3.</strong> if let 简洁控制流</a></li></ol></li><li class="chapter-item expanded "><a href="ch07-00-managing-growing-projects-with-packages-crates-and-modules.html"><strong aria-hidden="true">7.</strong> 使用包、Crate 和模块管理不断增长的项目</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="ch07-01-packages-and-crates.html"><strong aria-hidden="true">7.1.</strong> 包和 Crate</a></li><li class="chapter-item expanded "><a h
|
|||
|
|
</div>
|
|||
|
|
<div id="sidebar-resize-handle" class="sidebar-resize-handle">
|
|||
|
|
<div class="sidebar-resize-indicator"></div>
|
|||
|
|
</div>
|
|||
|
|
</nav>
|
|||
|
|
|
|||
|
|
<!-- Track and set sidebar scroll position -->
|
|||
|
|
<script>
|
|||
|
|
var sidebarScrollbox = document.querySelector('#sidebar .sidebar-scrollbox');
|
|||
|
|
sidebarScrollbox.addEventListener('click', function(e) {
|
|||
|
|
if (e.target.tagName === 'A') {
|
|||
|
|
sessionStorage.setItem('sidebar-scroll', sidebarScrollbox.scrollTop);
|
|||
|
|
}
|
|||
|
|
}, { passive: true });
|
|||
|
|
var sidebarScrollTop = sessionStorage.getItem('sidebar-scroll');
|
|||
|
|
sessionStorage.removeItem('sidebar-scroll');
|
|||
|
|
if (sidebarScrollTop) {
|
|||
|
|
// preserve sidebar scroll position when navigating via links within sidebar
|
|||
|
|
sidebarScrollbox.scrollTop = sidebarScrollTop;
|
|||
|
|
} else {
|
|||
|
|
// scroll sidebar to current active section when navigating via "next/previous chapter" buttons
|
|||
|
|
var activeSection = document.querySelector('#sidebar .active');
|
|||
|
|
if (activeSection) {
|
|||
|
|
activeSection.scrollIntoView({ block: 'center' });
|
|||
|
|
}
|
|||
|
|
}
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
<div id="page-wrapper" class="page-wrapper">
|
|||
|
|
|
|||
|
|
<div class="page">
|
|||
|
|
<div id="menu-bar-hover-placeholder"></div>
|
|||
|
|
<div id="menu-bar" class="menu-bar sticky">
|
|||
|
|
<div class="left-buttons">
|
|||
|
|
<label id="sidebar-toggle" class="icon-button" for="sidebar-toggle-anchor" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
|
|||
|
|
<i class="fa fa-bars"></i>
|
|||
|
|
</label>
|
|||
|
|
<button id="theme-toggle" class="icon-button" type="button" title="Change theme" aria-label="Change theme" aria-haspopup="true" aria-expanded="false" aria-controls="theme-list">
|
|||
|
|
<i class="fa fa-paint-brush"></i>
|
|||
|
|
</button>
|
|||
|
|
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
|
|||
|
|
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
|
|||
|
|
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
|
|||
|
|
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
|
|||
|
|
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
|
|||
|
|
<li role="none"><button role="menuitem" class="theme" id="ayu">Ayu</button></li>
|
|||
|
|
</ul>
|
|||
|
|
<button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar">
|
|||
|
|
<i class="fa fa-search"></i>
|
|||
|
|
</button>
|
|||
|
|
</div>
|
|||
|
|
|
|||
|
|
<h1 class="menu-title">Rust 程序设计语言 简体中文版</h1>
|
|||
|
|
|
|||
|
|
<div class="right-buttons">
|
|||
|
|
<a href="print.html" title="Print this book" aria-label="Print this book">
|
|||
|
|
<i id="print-button" class="fa fa-print"></i>
|
|||
|
|
</a>
|
|||
|
|
<a href="https://github.com/KaiserY/trpl-zh-cn/tree/main" title="Git repository" aria-label="Git repository">
|
|||
|
|
<i id="git-repository-button" class="fa fa-github"></i>
|
|||
|
|
</a>
|
|||
|
|
<a href="https://github.com/KaiserY/trpl-zh-cn/edit/main/src/ch17-01-futures-and-syntax.md" title="Suggest an edit" aria-label="Suggest an edit">
|
|||
|
|
<i id="git-edit-button" class="fa fa-edit"></i>
|
|||
|
|
</a>
|
|||
|
|
|
|||
|
|
</div>
|
|||
|
|
</div>
|
|||
|
|
|
|||
|
|
<div id="search-wrapper" class="hidden">
|
|||
|
|
<form id="searchbar-outer" class="searchbar-outer">
|
|||
|
|
<input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header">
|
|||
|
|
</form>
|
|||
|
|
<div id="searchresults-outer" class="searchresults-outer hidden">
|
|||
|
|
<div id="searchresults-header" class="searchresults-header"></div>
|
|||
|
|
<ul id="searchresults">
|
|||
|
|
</ul>
|
|||
|
|
</div>
|
|||
|
|
</div>
|
|||
|
|
|
|||
|
|
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
|
|||
|
|
<script>
|
|||
|
|
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
|
|||
|
|
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
|
|||
|
|
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
|
|||
|
|
link.setAttribute('tabIndex', sidebar === 'visible' ? 0 : -1);
|
|||
|
|
});
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
<div id="content" class="content">
|
|||
|
|
<main>
|
|||
|
|
<h2 id="futures-和-async-语法"><a class="header" href="#futures-和-async-语法">Futures 和 async 语法</a></h2>
|
|||
|
|
<blockquote>
|
|||
|
|
<p><a href="https://github.com/rust-lang/book/blob/main/src/ch17-01-futures-and-syntax.md">ch17-01-futures-and-syntax.md</a>
|
|||
|
|
<br>
|
|||
|
|
commit e95efa05706c5c4309df9ed47d5e91d8ed342b7d</p>
|
|||
|
|
</blockquote>
|
|||
|
|
<p>Rust 异步编程的关键元素是 <em>futures</em> 和 Rust 的 <code>async</code> 与 <code>await</code> 关键字。</p>
|
|||
|
|
<p><em>future</em> 是一个现在可能还没有准备好但将在未来某个时刻准备好的值。（相同的概念也出现在很多语言中，有时被称为 “task” 或者 “promise”。）Rust 提供了 <code>Future</code> trait 作为基础组件，这样不同的异步操作就可以在不同的数据结构上实现。在 Rust 中，我们称实现了 <code>Future</code> trait 的类型为 futures。每一个实现了 <code>Future</code> 的类型会维护自己的进度状态信息和 “ready” 的定义。</p>
|
|||
|
|
<p><code>async</code> 关键字可以用于代码块和函数，表明它们可以被中断并恢复。在一个 async 块或 async 函数中，可以使用 <code>await</code> 关键字来等待一个 future 准备就绪，这一过程称为 <em>等待一个 future</em>。async 块或 async 函数中每一个等待 future 的地方都可能是一个 async 块或 async 函数中断并随后恢复的点。检查一个 future 并查看其值是否已经准备就绪的过程被称为 <em>轮询</em>（polling）。</p>
|
|||
|
|
<p>其它一些语言也使用 <code>async</code> 和 <code>await</code> 关键字进行异步编程。如果你熟悉这些语言，则可能会注意到它们与 Rust 的处理方式有显著不同，包括语法上的差异。我们将看到，这样做是有充分理由的！</p>
|
|||
|
|
<p>在大多数情况下，编写异步 Rust 代码时，我们使用 <code>async</code> 和 <code>await</code> 关键字。Rust 将其编译为等同于使用 <code>Future</code> trait 的代码，这非常类似于将 <code>for</code> 循环编译为等同于使用 <code>Iterator</code> trait 的代码。不过，由于 Rust 提供了 <code>Future</code> trait，你也可以在需要时为你自己的数据类型实现它。在整个章节中你会看到很多函数的返回值类型都有其自己的 <code>Future</code> 实现。我们会在本章结尾回到这个 trait 的定义，并深入了解它的工作原理，但现在这些细节已经足够让我们继续前进了。</p>
|
|||
|
|
<p>这些内容可能有点抽象。让我们来编写第一个异步程序：一个小型网络爬虫。我们会从命令行传递两个 URL，并发地解析它们，并返回第一个完成解析的结果。这个示例会引入不少的新语法，不过不用担心。我们会逐步解释所有你需要了解的内容。</p>
|
|||
|
|
<h3 id="第一个异步程序"><a class="header" href="#第一个异步程序">第一个异步程序</a></h3>
|
|||
|
|
<p>为了保持本章的内容专注于学习 async，而不是处理生态系统的部分组件，我们已经创建了一个 <code>trpl</code> crate（<code>trpl</code> 是 “The Rust Programming Language” 的缩写）。它重导出了你需要的所有类型、traits 和函数，它们主要来自于 <a href="https://crates.io/crates/futures"><code>futures</code></a> 和 <a href="https://tokio.rs"><code>tokio</code></a> crates。</p>
|
|||
|
|
<ul>
|
|||
|
|
<li><code>futures</code> crate 是一个 Rust 异步代码实验的官方仓库，也正是 <code>Future</code> 最初设计的地方。</li>
|
|||
|
|
<li>Tokio 是目前 Rust 中应用最广泛的异步运行时（async runtime），特别是（但不仅是！）web 应用。这里还有其他优秀的运行时，它们可能更适合你的需求。我们在 <code>trpl</code> 的底层使用 Tokio 是因为它经过了充分测试且广泛使用。</li>
|
|||
|
|
</ul>
|
|||
|
|
<p>在一些场景中，<code>trpl</code> 也会重命名或者封装原始 API 以便我们专注于与本章相关的细节。如果你想了解该 crate 的具体功能，我们鼓励你查看<a href="https://github.com/rust-lang/book/tree/main/packages/trpl">其源码</a>。你可以看到每个重导出的内容来自哪个 crate，我们留下了大量注释来解释这个 crate 的用途。</p>
|
|||
|
|
<p>创建一个名为 <code>hello-async</code> 的二进制项目并将 <code>trpl</code> crate 作为一个依赖添加：</p>
|
|||
|
|
<pre><code class="language-console">$ cargo new hello-async
|
|||
|
|
$ cd hello-async
|
|||
|
|
$ cargo add trpl
|
|||
|
|
</code></pre>
|
|||
|
|
<p>现在我们可以利用 <code>trpl</code> 提供的多种组件来编写第一个异步程序。我们构建了一个小的命令行工具来抓取两个网页，拉取各自的 <code><title></code> 元素，并打印出第一个完成全部过程的标题。</p>
|
|||
|
|
<p>让我们开始编写一个函数，它获取一个网页 URL 作为参数，请求该 URL 并返回标题元素的文本：</p>
|
|||
|
|
<figure class="listing">
|
|||
|
|
<p><span class="file-name">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">fn main() {
|
|||
|
|
</span><span class="boring"> // TODO: we'll add this next!
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>use trpl::Html;
|
|||
|
|
|
|||
|
|
async fn page_title(url: &str) -> Option<String> {
|
|||
|
|
let response = trpl::get(url).await;
|
|||
|
|
let response_text = response.text().await;
|
|||
|
|
Html::parse(&response_text)
|
|||
|
|
.select_first("title")
|
|||
|
|
.map(|title_element| title_element.inner_html())
|
|||
|
|
}</code></pre></pre>
|
|||
|
|
<figcaption>示例 17-1：定义一个 async 函数来获取一个 HTML 页面的标题元素</figcaption>
|
|||
|
|
</figure>
|
|||
|
|
<p>在示例 17-1 中，我们定义了一个名为 <code>page_title</code> 的函数，并使用了 <code>async</code> 关键字标记。接着我们使用 <code>trpl::get</code> 函数来获取传入的任意 URL，然后使用 <code>await</code> 关键字来等待响应。接着我们调用其 <code>text</code> 方法来获取响应的文本，这里再一次使用 <code>await</code> 关键字等待。这两个步骤都是异步的。对于 <code>get</code> 来说，我们需要等待服务器发送回其响应的第一部分，这会包含 HTTP 头（headers）、cookies 等。这部分响应可以独立于响应体发送。特别是在响应体非常大时候，接收完整响应可能会花费一些时间。因此我们不得不等待响应 <em>整体</em> 返回，所以 <code>text</code> 方法也是异步。</p>
|
|||
|
|
<p>我们必须显示地等待这两个 futures，因为 Rust 中的 futures 是 <em>惰性</em>（<em>lazy</em>）的：在你使用 <code>await</code> 请求之前它们不会执行任何操作。（事实上，如果你不使用一个 futures，Rust 会显示一个编译警告）这应该会让你想起<a href="ch13-02-iterators.html">之前第十三章</a>关于迭代器的讨论。直到你调用迭代器的 <code>next</code> 方法（直接调用或者使用 <code>for</code> 循环或者类似 <code>map</code> 这类在底层使用 <code>next</code> 的方法）之前它们什么也不会做。对于 futures 来说，同样的基本理念也是适用的：除非你显式地请求，否则它们不会执行。惰性使得 Rust 可以避免提前运行异步代码，直到真正需要时才执行。</p>
|
|||
|
|
<blockquote>
|
|||
|
|
<p>注意：这不同于上一章节中 <code>thread::spawn</code> 的行为，当时传递给另一个线程的闭包会立即开始运行。这也与许多其他语言处理异步的方式不同！但对于 Rust 而言，这一点非常重要。稍后我们会解释原因。</p>
|
|||
|
|
</blockquote>
|
|||
|
|
<p>当我们有了 <code>response_text</code> 函数，就可以使用 <code>Html::parse</code> 将其解析为一个 <code>Html</code> 类型的实例。不同于原始字符串，现在我们有了一个可以将 HTML 作为更丰富数据结构来操作的数据类型。特别是我们可以使用 <code>select_first</code> 方法来找出给定 CSS 选择器（selector）中第一个匹配元素。通过传递字符串 <code>"title"</code>，我们会得到文档中的第一个 <code><title></code> 元素，如果它存在的话。由于可能没有任何匹配的元素，<code>select_first</code> 返回一个 <code>Option<ElementRef></code>。最后我们使用 <code>Option::map</code> 方法，它允许我们在 <code>Option</code> 中有元素时对其进行处理，而在没有时则什么也不做。（这里也可以使用一个 <code>match</code> 表达式，但 <code>map</code> 更符合惯用的写法。）在传递给 <code>map</code> 的函数体中，我们调用了 <code>title_element</code> 上的 <code>inner_html</code> 来获取其内容，这是一个 <code>String</code>。当上面所讲的都完成后，我们会得到一个 <code>Option<String></code>。</p>
|
|||
|
|
<p>注意 Rust 的 <code>await</code> 关键字出现在需要等待的表达式之后而不是之前。也就是说，这是一个 <em>后缀关键字</em>（<em>postfix keyword</em>）。如果你在其它语言中使用过 async 的话，这可能与你所熟悉的有所不同。Rust 如此选择是因为这使得方法的链式调用更加简洁。因此，我们可以修改 <code>page_url_for</code> 的函数体来链式调用 <code>trpl::get</code> 和 <code>text</code> 并在其之间使用 <code>await</code>，如示例 17-2 所示：</p>
|
|||
|
|
<figure class="listing">
|
|||
|
|
<p><span class="file-name">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">use trpl::Html;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">fn main() {
|
|||
|
|
</span><span class="boring"> // TODO: we'll add this next!
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">async fn page_title(url: &str) -> Option<String> {
|
|||
|
|
</span> let response_text = trpl::get(url).await.text().await;
|
|||
|
|
<span class="boring"> Html::parse(&response_text)
|
|||
|
|
</span><span class="boring"> .select_first("title")
|
|||
|
|
</span><span class="boring"> .map(|title_element| title_element.inner_html())
|
|||
|
|
</span><span class="boring">}</span></code></pre></pre>
|
|||
|
|
<figcaption>示例 17-2：使用 `await` 关键字的链式调用</figcaption>
|
|||
|
|
</figure>
|
|||
|
|
<p>这样我们就成功编写了第一个异步函数！在我们向 <code>main</code> 加入一些代码调用它之前，让我们再多了解下我们写了什么以及它的意义。</p>
|
|||
|
|
<p>当 Rust 遇到一个 <code>async</code> 关键字标记的代码块时，会将其编译为一个实现了 <code>Future</code> trait 的唯一的、匿名的数据类型。当 Rust 遇到一个被标记为 <code>async</code> 的函数时，会将其编译进一个拥有异步代码块的非异步函数。异步函数的返回值类型是编译器为异步代码块所创建的匿名数据类型。</p>
|
|||
|
|
<p>因此，编写 <code>async fn</code> 就等同于编写一个返回类型的 <em>future</em> 的函数。当编译器遇到类似示例 17-1 中 <code>async fn page_title</code> 的函数定义时，它等价于以下定义的非异步函数：</p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">#![allow(unused)]
|
|||
|
|
</span><span class="boring">fn main() {
|
|||
|
|
</span><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span>use std::future::Future;
|
|||
|
|
use trpl::Html;
|
|||
|
|
|
|||
|
|
fn page_title(url: &str) -> impl Future<Output = Option<String>> + '_ {
|
|||
|
|
async move {
|
|||
|
|
let text = trpl::get(url).await.text().await;
|
|||
|
|
Html::parse(&text)
|
|||
|
|
.select_first("title")
|
|||
|
|
.map(|title| title.inner_html())
|
|||
|
|
}
|
|||
|
|
}
|
|||
|
|
<span class="boring">}</span></code></pre></pre>
|
|||
|
|
<p>让我们挨个看一下转换后版本的每一个部分：</p>
|
|||
|
|
<ul>
|
|||
|
|
<li>它使用了之前第十章 <a href="ch10-02-traits.html#trait-%E4%BD%9C%E4%B8%BA%E5%8F%82%E6%95%B0">“trait 作为参数”</a> 部分讨论过的 <code>impl Trait</code> 语法</li>
|
|||
|
|
<li>它返回的 trait 是一个 <code>Future</code>，它有一个关联类型 <code>Output</code>。注意 <code>Output</code> 的类型是 <code>Option<String></code>，这与 <code>async fn</code> 版本的 <code>page_title</code> 的原始返回值类型相同。</li>
|
|||
|
|
<li>所有原始函数中被调用的代码被封装进一个 <code>async move</code> 块。回忆一下，代码块是表达式。这整个块就是函数所返回的表达式</li>
|
|||
|
|
<li>如上所述，这个异步代码块产生一个 <code>Option<String></code> 类型的值。这个值与返回类型中的 <code>Output</code> 类型一致。这正类似于你已经见过的其它代码块。</li>
|
|||
|
|
<li>新版函数的函数体是一个 <code>async move</code> 代码块，因为它如何使用 <code>url</code> 参数决定了这一点。（本章后续部分将更详细地讨论 <code>async</code> 和 <code>async move</code> 之间的区别。）</li>
|
|||
|
|
<li>新版本的函数在返回类型中使用了一种我们之前未见过的生命周期标记：<code>'_</code>。因为函数返回的 <code>Future</code> 指向一个引用（在这个例子中是指向 <code>url</code> 参数的引用）我们需要告诉 Rust 引用的生命周期。这里无需命名该生命周期，因为 Rust 足够智能到能理解这里只涉及到唯一一个引用，不过我们 <em>必须</em> 明确指出返回的 <code>Future</code> 受该生命周期的约束。</li>
|
|||
|
|
</ul>
|
|||
|
|
<p>现在我们可以在 <code>main</code> 中调用 <code>page_title</code>。首先，我们只会获取一个页面的标题。在示例 17-3 中，我们沿用了第十二章中获取命令行参数的相同模式。接着我们传递第一个 URL 给 <code>page_title</code>，并等待结果。因为 future 产生的值是一个 <code>Option<String></code>，我们使用 <code>match</code> 表达式来根据页面是否有 <code><title></code> 来打印不同的信息。</p>
|
|||
|
|
<figure class="listing">
|
|||
|
|
<p><span class="file-name">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><code class="language-rust ignore does_not_compile"><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">use trpl::Html;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>async fn main() {
|
|||
|
|
let args: Vec<String> = std::env::args().collect();
|
|||
|
|
let url = &args[1];
|
|||
|
|
match page_title(url).await {
|
|||
|
|
Some(title) => println!("The title for {url} was {title}"),
|
|||
|
|
None => println!("{url} had no title"),
|
|||
|
|
}
|
|||
|
|
}
|
|||
|
|
<span class="boring">
|
|||
|
|
</span><span class="boring">async fn page_title(url: &str) -> Option<String> {
|
|||
|
|
</span><span class="boring"> let response_text = trpl::get(url).await.text().await;
|
|||
|
|
</span><span class="boring"> Html::parse(&response_text)
|
|||
|
|
</span><span class="boring"> .select_first("title")
|
|||
|
|
</span><span class="boring"> .map(|title_element| title_element.inner_html())
|
|||
|
|
</span><span class="boring">}</span></code></pre>
|
|||
|
|
<figcaption>示例 17-3：在 `main` 中通过一个用户提供的参数调用 `page_title` 函数</figcaption>
|
|||
|
|
</figure>
|
|||
|
|
<p>很不幸的是这还不能编译。唯一可以使用 <code>await</code> 关键字的地方是异步函数或者代码块中，同时 Rust 不允许将特殊的 <code>main</code> 函数标记为 <code>async</code>。</p>
|
|||
|
|
<!-- manual-regeneration
|
|||
|
|
cd listings/ch17-async-await/listing-17-03
|
|||
|
|
cargo build
|
|||
|
|
copy just the compiler error
|
|||
|
|
-->
|
|||
|
|
<pre><code class="language-text">error[E0752]: `main` function is not allowed to be `async`
|
|||
|
|
--> src/main.rs:6:1
|
|||
|
|
|
|
|||
|
|
6 | async fn main() {
|
|||
|
|
| ^^^^^^^^^^^^^^^ `main` function is not allowed to be `async`
|
|||
|
|
</code></pre>
|
|||
|
|
<p><code>main</code> 不能标记为 <code>async</code> 的原因是异步代码需要一个 <em>运行时</em>：即一个管理执行异步代码细节的 Rust crate。一个程序的 <code>main</code> 函数可以 <em>初始化</em> 一个运行时，但是其 <em>自身</em> 并不是一个运行时。（稍后我们会进一步解释原因。）每一个执行异步代码的 Rust 程序必须至少有一个设置运行时并执行 futures 的地方。</p>
|
|||
|
|
<p>大部分支持异步的语言会打包一个运行时在语言中。Rust 则不是，相这里有很多不同的异步运行时，每一个都有适合其目标的权衡取舍。例如，一个拥有很多核心和大量内存的高吞吐 web server 与一个单核、少量内存并且没有堆分配能力的微控制器相比有着截然不同的需求。提供这些运行时的 crate 通常也提供了例如文件或者网络 IO 这类常用功能的异步版本。</p>
|
|||
|
|
<p>从这里到本章余下部分，我们会使用 <code>trpl</code> crate 的 <code>run</code> 函数，它获取一个 future 作为参数并运行到结束。在内部，调用 <code>run</code> 会设置一个运行时来运行传递的 future。一旦 future 完成，<code>run</code> 返回 future 返回的任何值。</p>
|
|||
|
|
<p>我们可以将 <code>page_title</code> 返回的 future 直接传递给 <code>run</code>。一旦其完成，我们能够匹配返回的 <code>Option<String></code>，正如示例 17-3 我们尝试的那样。然而，在本章的大部分示例中（以及大多数实际应用中的异步代码中！），我们会执行不止一次异步函数调用，所以相反我们会传递一个 <code>async</code> 块并显式地等待 <code>page_title</code> 调用的结果，如示例 17-4 所示。</p>
|
|||
|
|
<figure class="listing">
|
|||
|
|
<p><span class="file-name">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><code class="language-rust should_panic noplayground"><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">use trpl::Html;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>fn main() {
|
|||
|
|
let args: Vec<String> = std::env::args().collect();
|
|||
|
|
|
|||
|
|
trpl::run(async {
|
|||
|
|
let url = &args[1];
|
|||
|
|
match page_title(url).await {
|
|||
|
|
Some(title) => println!("The title for {url} was {title}"),
|
|||
|
|
None => println!("{url} had no title"),
|
|||
|
|
}
|
|||
|
|
})
|
|||
|
|
}
|
|||
|
|
<span class="boring">
|
|||
|
|
</span><span class="boring">async fn page_title(url: &str) -> Option<String> {
|
|||
|
|
</span><span class="boring"> let response_text = trpl::get(url).await.text().await;
|
|||
|
|
</span><span class="boring"> Html::parse(&response_text)
|
|||
|
|
</span><span class="boring"> .select_first("title")
|
|||
|
|
</span><span class="boring"> .map(|title_element| title_element.inner_html())
|
|||
|
|
</span><span class="boring">}</span></code></pre>
|
|||
|
|
<figcaption>示例 17-4：等待一个使用异步代码块的 `trpl::run`</figcaption>
|
|||
|
|
</figure>
|
|||
|
|
<p>当我们运行代码，我们会得到最初预想的行为：</p>
|
|||
|
|
<pre><code class="language-console">$ cargo run "http://www.rust-lang.org"
|
|||
|
|
The title for http://www.rust-lang.org was
|
|||
|
|
Rust Programming Language
|
|||
|
|
</code></pre>
|
|||
|
|
<p>我们终于有了一些可以正常工作的异步代码！现在它们可以成功编译并运行。在我们添加代码让两个网址进行竞争之前，让我们简要地回顾一下 future 是如何工作的。</p>
|
|||
|
|
<p>每一个 <em>await point</em>，也就是代码使用 <code>await</code> 关键字的地方，代表将控制权交还给运行时的地方。为此 Rust 需要记录异步代码块中涉及的状态，这样运行时可以去执行其他工作，并在准备好时回来继续推进当前的任务。这就像你通过编写一个枚举来保存每一个 <code>await</code> point 的状态一样：</p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">#![allow(unused)]
|
|||
|
|
</span><span class="boring">fn main() {
|
|||
|
|
</span><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>enum PageTitleFuture<'a> {
|
|||
|
|
Initial { url: &'a str },
|
|||
|
|
GetAwaitPoint { url: &'a str },
|
|||
|
|
TextAwaitPoint { response: trpl::Response },
|
|||
|
|
}
|
|||
|
|
<span class="boring">}</span></code></pre></pre>
|
|||
|
|
<p>编写代码来手动控制不同状态之间的转换是非常乏味且容易出错的，特别是之后增加了更多功能和状态的时候。相反，Rust 编译器自动创建并管理异步代码的状态机数据结构。如果你感兴趣的话：是的，正常的借用和所有权也全部适用于这些数据结构。幸运的是，编译器也会为我们处理这些检查，并提供友好的错误信息。本章稍后会讲解一些相关内容！</p>
|
|||
|
|
<p>最终需要某个组件来执行状态机。这就是运行时。（这也是为什么在了解运行时的时候，你可能会看到 <em>executors</em> 这个词：executor 是运行时中负责执行异步代码的部分。）</p>
|
|||
|
|
<p>现在我们能够理解了之前示例 17-3 中为何编译器阻止我们将 <code>main</code> 本身标记为异步函数了。如果 <code>main</code> 是一个异步函数，需要有其它组件来管理 <code>main</code> futrue 返回的状态机，但是 <code>main</code> 是程序的入口点！为此我们在 <code>main</code> 函数中调用 <code>trpl::run</code>，它设置了一个运行时并运行 <code>async</code> 块返回的 future 并等待它返回 <code>Ready</code>。</p>
|
|||
|
|
<blockquote>
|
|||
|
|
<p>注意：一些运行时提供了相关的宏所以你 <em>可以</em> 编写一个异步 <code>main</code> 函数。这些宏将 <code>async fn main() { ... }</code> 重写为正常的 <code>fn main</code>，执行的逻辑与我们在示例 17-5 中手动实现的一样：像 <code>trpl::run</code> 一样调用一个函数运行 future 直到结束。</p>
|
|||
|
|
</blockquote>
|
|||
|
|
<p>让我们将这些代码片段整理一下来看看如何编写并发代码，这里通过两个来自命令行的不同 URL 来调用 <code>page_title</code> 并使其相互竞争。</p>
|
|||
|
|
<figure class="listing">
|
|||
|
|
<p><span class="file-name">文件名：src/main.rs</span></p>
|
|||
|
|
<!-- should_panic,noplayground because mdbook does not pass args -->
|
|||
|
|
<pre><code class="language-rust should_panic noplayground"><span class="boring">extern crate trpl; // required for mdbook test
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>use trpl::{Either, Html};
|
|||
|
|
|
|||
|
|
fn main() {
|
|||
|
|
let args: Vec<String> = std::env::args().collect();
|
|||
|
|
|
|||
|
|
trpl::run(async {
|
|||
|
|
let title_fut_1 = page_title(&args[1]);
|
|||
|
|
let title_fut_2 = page_title(&args[2]);
|
|||
|
|
|
|||
|
|
let (url, maybe_title) =
|
|||
|
|
match trpl::race(title_fut_1, title_fut_2).await {
|
|||
|
|
Either::Left(left) => left,
|
|||
|
|
Either::Right(right) => right,
|
|||
|
|
};
|
|||
|
|
|
|||
|
|
println!("{url} returned first");
|
|||
|
|
match maybe_title {
|
|||
|
|
Some(title) => println!("Its page title is: '{title}'"),
|
|||
|
|
None => println!("Its title could not be parsed."),
|
|||
|
|
}
|
|||
|
|
})
|
|||
|
|
}
|
|||
|
|
|
|||
|
|
async fn page_title(url: &str) -> (&str, Option<String>) {
|
|||
|
|
let text = trpl::get(url).await.text().await;
|
|||
|
|
let title = Html::parse(&text)
|
|||
|
|
.select_first("title")
|
|||
|
|
.map(|title| title.inner_html());
|
|||
|
|
(url, title)
|
|||
|
|
}</code></pre>
|
|||
|
|
<figcaption>示例 17-5</figcaption>
|
|||
|
|
</figure>
|
|||
|
|
<p>示例 17-5 中以分别由用户提供的 URL 调用 <code>page_title</code> 开始。我们将调用 <code>page_title</code> 产生的 future 分别保存为 <code>title_fut_1</code> 和 <code>title_fut_2</code>。请记住，它们还没有进行任何工作，因为 future 是惰性的，并且我们还没有 <code>await</code> 它们。接着我们将 futures 传递给 <code>trpl::race</code>，它返回一个值表明哪个传递的 future 最先返回。</p>
|
|||
|
|
<blockquote>
|
|||
|
|
<p>注意：在内部 <code>race</code> 构建在一个更通用的函数 <code>select</code> 之上，你会在真实的 Rust 代码中更常遇到它。<code>select</code> 函数可以做很多 <code>trpl::race</code> 函数做不了的事，不过它也有一些额外的复杂性，所以目前我们先略过介绍。</p>
|
|||
|
|
</blockquote>
|
|||
|
|
<p>由于任何一个 future 都可以合理地 “获胜”，所以返回 <code>Result</code> 没有意义。相反 <code>race</code> 返回了一个我们之前没有见过的类型 <code>trpl::Either</code>。<code>Either</code> 类型有点类似于 <code>Result</code>，它也有两个成员。但是不同于 <code>Either</code>，<code>Either</code> 没有内置成功或者失败的概念。相反它使用 <code>Left</code> 和 <code>Right</code> 来表示 “一个或另一个”。</p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">#![allow(unused)]
|
|||
|
|
</span><span class="boring">fn main() {
|
|||
|
|
</span>enum Either<A, B> {
|
|||
|
|
Left(A),
|
|||
|
|
Right(B),
|
|||
|
|
}
|
|||
|
|
<span class="boring">}</span></code></pre></pre>
|
|||
|
|
<p><code>race</code> 函数返回 <code>Left</code>，如果第一个参数先完成，并包含该 future 的输出，如果 <em>第二个</em> future 先完成，则返回 <code>Right</code> 和第二个 future 的输出。这匹配调用函数时参数出现的顺序：第一个参数在第二个参数的左边。</p>
|
|||
|
|
<p>我们还更新了 <code>page_title</code> 来返回与传递时相同的 URL。如此如果首先返回的页面没有可以解析的 <code><title></code>，仍然可以打印出有意义的信息。有了这些信息，我们对 <code>println!</code> 的输出进行了封装和更新，以表明哪个 URL 最先完成，并在页面有 <code><title></code> 时打印出它的内容。</p>
|
|||
|
|
<p>现在我们完成一个小型网页爬虫的构建了！挑选一对 URL 并运行命令行工具。你会发现某些网站稳定地快于其它网站，而有些情况哪些网站会 <em>赢</em> 则每次都不同。更重要的是，你已经掌握了处理 futures 的基础知识，因此我们现在可以进一步探索更多异步操作的可能性了。</p>
|
|||
|
|
<!-- TODO: map source link version to version of Rust? -->
|
|||
|
|
|
|||
|
|
</main>
|
|||
|
|
|
|||
|
|
<nav class="nav-wrapper" aria-label="Page navigation">
|
|||
|
|
<!-- Mobile navigation buttons -->
|
|||
|
|
<a rel="prev" href="ch17-00-async-await.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
|||
|
|
<i class="fa fa-angle-left"></i>
|
|||
|
|
</a>
|
|||
|
|
|
|||
|
|
<a rel="next prefetch" href="ch17-02-concurrency-with-async.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
|||
|
|
<i class="fa fa-angle-right"></i>
|
|||
|
|
</a>
|
|||
|
|
|
|||
|
|
<div style="clear: both"></div>
|
|||
|
|
</nav>
|
|||
|
|
</div>
|
|||
|
|
</div>
|
|||
|
|
|
|||
|
|
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
|||
|
|
<a rel="prev" href="ch17-00-async-await.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
|||
|
|
<i class="fa fa-angle-left"></i>
|
|||
|
|
</a>
|
|||
|
|
|
|||
|
|
<a rel="next prefetch" href="ch17-02-concurrency-with-async.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
|||
|
|
<i class="fa fa-angle-right"></i>
|
|||
|
|
</a>
|
|||
|
|
</nav>
|
|||
|
|
|
|||
|
|
</div>
|
|||
|
|
|
|||
|
|
|
|||
|
|
|
|||
|
|
|
|||
|
|
<script>
|
|||
|
|
window.playground_copyable = true;
|
|||
|
|
</script>
|
|||
|
|
|
|||
|
|
|
|||
|
|
<script src="elasticlunr.min.js"></script>
|
|||
|
|
<script src="mark.min.js"></script>
|
|||
|
|
<script src="searcher.js"></script>
|
|||
|
|
|
|||
|
|
<script src="clipboard.min.js"></script>
|
|||
|
|
<script src="highlight.js"></script>
|
|||
|
|
<script src="book.js"></script>
|
|||
|
|
|
|||
|
|
<!-- Custom JS scripts -->
|
|||
|
|
<script src="ferris.js"></script>
|
|||
|
|
|
|||
|
|
|
|||
|
|
</div>
|
|||
|
|
</body>
|
|||
|
|
</html>
|