mirror of
https://github.com/KaiserY/trpl-zh-cn
synced 2024-11-09 08:51:18 +08:00
455 lines
48 KiB
HTML
455 lines
48 KiB
HTML
|
<!DOCTYPE HTML>
|
|||
|
|
<html lang="en" class="light" dir="ltr">
|
|||
|
|
<head>
|
|||
|
|
<!-- Book generated using mdBook -->
|
|||
|
|
<meta charset="UTF-8">
|
|||
|
|
<title>使用 Deref Trait 将智能指针当作常规引用处理 - 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/ch15-02-deref.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="通过-deref-trait-将智能指针当作常规引用处理"><a class="header" href="#通过-deref-trait-将智能指针当作常规引用处理">通过 <code>Deref</code> trait 将智能指针当作常规引用处理</a></h2>
|
|||
|
|
<blockquote>
|
|||
|
|
<p><a href="https://github.com/rust-lang/book/blob/main/src/ch15-02-deref.md">ch15-02-deref.md</a>
|
|||
|
|
<br>
|
|||
|
|
commit 0514b1cf34c2eaab8285f43305c10a87f4ce34a0</p>
|
|||
|
|
</blockquote>
|
|||
|
|
<p>实现 <code>Deref</code> trait 允许我们重载 <strong>解引用运算符</strong>（<em>dereference operator</em>）<code>*</code>（不要与乘法运算符或通配符相混淆）。通过这种方式实现 <code>Deref</code> trait 的智能指针可以被当作常规引用来对待，可以编写操作引用的代码并用于智能指针。</p>
|
|||
|
|
<p>让我们首先看看解引用运算符如何处理常规引用，接着尝试定义我们自己的类似 <code>Box<T></code> 的类型并看看为何解引用运算符不能像引用一样工作。我们会探索如何实现 <code>Deref</code> trait 使得智能指针以类似引用的方式工作变为可能。最后，我们会讨论 Rust 的 <strong>Deref 强制转换</strong>（<em>deref coercions</em>）功能以及它是如何处理引用或智能指针的。</p>
|
|||
|
|
<blockquote>
|
|||
|
|
<p>我们将要构建的 <code>MyBox<T></code> 类型与真正的 <code>Box<T></code> 有一个很大的区别：我们的版本不会在堆上储存数据。这个例子重点关注 <code>Deref</code>，所以其数据实际存放在何处，相比其类似指针的行为来说不算重要。</p>
|
|||
|
|
</blockquote>
|
|||
|
|
<h3 id="追踪指针的值"><a class="header" href="#追踪指针的值">追踪指针的值</a></h3>
|
|||
|
|
<p>常规引用是一个指针类型，一种理解指针的方式是将其看成指向储存在其他某处值的箭头。在示例 15-6 中，创建了一个 <code>i32</code> 值的引用，接着使用解引用运算符来跟踪所引用的值：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021">fn main() {
|
|||
|
|
let x = 5;
|
|||
|
|
let y = &x;
|
|||
|
|
|
|||
|
|
assert_eq!(5, x);
|
|||
|
|
assert_eq!(5, *y);
|
|||
|
|
}</code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-6：使用解引用运算符来跟踪 <code>i32</code> 值的引用</span></p>
|
|||
|
|
<p>变量 <code>x</code> 存放了一个 <code>i32</code> 值 <code>5</code>。<code>y</code> 等于 <code>x</code> 的一个引用。可以断言 <code>x</code> 等于 <code>5</code>。然而，如果希望对 <code>y</code> 的值做出断言，必须使用 <code>*y</code> 来追踪引用所指向的值（也就是 <strong>解引用</strong>），这样编译器就可以比较实际的值了。一旦解引用了 <code>y</code>，就可以访问 <code>y</code> 所指向的整型值并可以与 <code>5</code> 做比较。</p>
|
|||
|
|
<p>相反如果尝试编写 <code>assert_eq!(5, y);</code>，则会得到如下编译错误：</p>
|
|||
|
|
<pre><code class="language-console">$ cargo run
|
|||
|
|
Compiling deref-example v0.1.0 (file:///projects/deref-example)
|
|||
|
|
error[E0277]: can't compare `{integer}` with `&{integer}`
|
|||
|
|
--> src/main.rs:6:5
|
|||
|
|
|
|
|||
|
|
6 | assert_eq!(5, y);
|
|||
|
|
| ^^^^^^^^^^^^^^^^ no implementation for `{integer} == &{integer}`
|
|||
|
|
|
|
|||
|
|
= help: the trait `PartialEq<&{integer}>` is not implemented for `{integer}`
|
|||
|
|
= note: this error originates in the macro `assert_eq` (in Nightly builds, run with -Z macro-backtrace for more info)
|
|||
|
|
|
|||
|
|
For more information about this error, try `rustc --explain E0277`.
|
|||
|
|
error: could not compile `deref-example` (bin "deref-example") due to 1 previous error
|
|||
|
|
</code></pre>
|
|||
|
|
<p>不允许比较数字的引用与数字，因为它们是不同的类型。必须使用解引用运算符追踪引用所指向的值。</p>
|
|||
|
|
<h3 id="像引用一样使用-boxt"><a class="header" href="#像引用一样使用-boxt">像引用一样使用 <code>Box<T></code></a></h3>
|
|||
|
|
<p>可以使用 <code>Box<T></code> 代替引用来重写示例 15-6 中的代码，示例 15-7 中 <code>Box<T></code> 上使用的解引用运算符与示例 15-6 中引用上使用的解引用运算符有着一样的功能：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021">fn main() {
|
|||
|
|
let x = 5;
|
|||
|
|
let y = Box::new(x);
|
|||
|
|
|
|||
|
|
assert_eq!(5, x);
|
|||
|
|
assert_eq!(5, *y);
|
|||
|
|
}</code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-7：在 <code>Box<i32></code> 上使用解引用运算符</span></p>
|
|||
|
|
<p>示例 15-7 相比示例 15-6 主要不同的地方就是将 <code>y</code> 设置为一个指向 <code>x</code> 值拷贝的 <code>Box<T></code> 实例，而不是指向 <code>x</code> 值的引用。在最后的断言中，可以使用解引用运算符以 <code>y</code> 为引用时相同的方式追踪 <code>Box<T></code> 的指针。接下来让我们通过实现自己的类型来探索 <code>Box<T></code> 能这么做有何特殊之处。</p>
|
|||
|
|
<h3 id="自定义智能指针"><a class="header" href="#自定义智能指针">自定义智能指针</a></h3>
|
|||
|
|
<p>为了体会默认情况下智能指针与引用的不同，让我们创建一个类似于标准库提供的 <code>Box<T></code> 类型的智能指针。接着学习如何增加使用解引用运算符的功能。</p>
|
|||
|
|
<p>从根本上说，<code>Box<T></code> 被定义为包含一个元素的元组结构体，所以示例 15-8 以相同的方式定义了 <code>MyBox<T></code> 类型。我们还定义了 <code>new</code> 函数来对应定义于 <code>Box<T></code> 的 <code>new</code> 函数：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021">struct MyBox<T>(T);
|
|||
|
|
|
|||
|
|
impl<T> MyBox<T> {
|
|||
|
|
fn new(x: T) -> MyBox<T> {
|
|||
|
|
MyBox(x)
|
|||
|
|
}
|
|||
|
|
}
|
|||
|
|
<span class="boring">
|
|||
|
|
</span><span class="boring">fn main() {}</span></code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-8：定义 <code>MyBox<T></code> 类型</span></p>
|
|||
|
|
<p>这里定义了一个结构体 <code>MyBox</code> 并声明了一个泛型参数 <code>T</code>，因为我们希望其可以存放任何类型的值。<code>MyBox</code> 是一个包含 <code>T</code> 类型元素的元组结构体。<code>MyBox::new</code> 函数获取一个 <code>T</code> 类型的参数并返回一个存放传入值的 <code>MyBox</code> 实例。</p>
|
|||
|
|
<p>尝试将示例 15-7 中的代码加入示例 15-8 中并修改 <code>main</code> 使用我们定义的 <code>MyBox<T></code> 类型代替 <code>Box<T></code>。示例 15-9 中的代码不能编译，因为 Rust 不知道如何解引用 <code>MyBox</code>：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><code class="language-rust ignore does_not_compile"><span class="boring">struct MyBox<T>(T);
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">impl<T> MyBox<T> {
|
|||
|
|
</span><span class="boring"> fn new(x: T) -> MyBox<T> {
|
|||
|
|
</span><span class="boring"> MyBox(x)
|
|||
|
|
</span><span class="boring"> }
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>fn main() {
|
|||
|
|
let x = 5;
|
|||
|
|
let y = MyBox::new(x);
|
|||
|
|
|
|||
|
|
assert_eq!(5, x);
|
|||
|
|
assert_eq!(5, *y);
|
|||
|
|
}</code></pre>
|
|||
|
|
<p><span class="caption">示例 15-9：尝试以使用引用和 <code>Box<T></code> 相同的方式使用 <code>MyBox<T></code></span></p>
|
|||
|
|
<p>得到的编译错误是：</p>
|
|||
|
|
<pre><code class="language-console">$ cargo run
|
|||
|
|
Compiling deref-example v0.1.0 (file:///projects/deref-example)
|
|||
|
|
error[E0614]: type `MyBox<{integer}>` cannot be dereferenced
|
|||
|
|
--> src/main.rs:14:19
|
|||
|
|
|
|
|||
|
|
14 | assert_eq!(5, *y);
|
|||
|
|
| ^^
|
|||
|
|
|
|||
|
|
For more information about this error, try `rustc --explain E0614`.
|
|||
|
|
error: could not compile `deref-example` (bin "deref-example") due to 1 previous error
|
|||
|
|
</code></pre>
|
|||
|
|
<p><code>MyBox<T></code> 类型不能解引用，因为我们尚未在该类型实现这个功能。为了启用 <code>*</code> 运算符的解引用功能，需要实现 <code>Deref</code> trait。</p>
|
|||
|
|
<h3 id="通过实现-deref-trait-将某类型像引用一样处理"><a class="header" href="#通过实现-deref-trait-将某类型像引用一样处理">通过实现 <code>Deref</code> trait 将某类型像引用一样处理</a></h3>
|
|||
|
|
<p>如第十章 <a href="ch10-02-traits.html#%E4%B8%BA%E7%B1%BB%E5%9E%8B%E5%AE%9E%E7%8E%B0-trait">“为类型实现 trait”</a> 部分所讨论的，为了实现 trait，需要提供 trait 所需的方法实现。<code>Deref</code> trait，由标准库提供，要求实现名为 <code>deref</code> 的方法，其借用 <code>self</code> 并返回一个内部数据的引用。示例 15-10 包含定义于 <code>MyBox</code> 之上的 <code>Deref</code> 实现：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021">use std::ops::Deref;
|
|||
|
|
|
|||
|
|
impl<T> Deref for MyBox<T> {
|
|||
|
|
type Target = T;
|
|||
|
|
|
|||
|
|
fn deref(&self) -> &Self::Target {
|
|||
|
|
&self.0
|
|||
|
|
}
|
|||
|
|
}
|
|||
|
|
<span class="boring">
|
|||
|
|
</span><span class="boring">struct MyBox<T>(T);
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">impl<T> MyBox<T> {
|
|||
|
|
</span><span class="boring"> fn new(x: T) -> MyBox<T> {
|
|||
|
|
</span><span class="boring"> MyBox(x)
|
|||
|
|
</span><span class="boring"> }
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">fn main() {
|
|||
|
|
</span><span class="boring"> let x = 5;
|
|||
|
|
</span><span class="boring"> let y = MyBox::new(x);
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring"> assert_eq!(5, x);
|
|||
|
|
</span><span class="boring"> assert_eq!(5, *y);
|
|||
|
|
</span><span class="boring">}</span></code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-10：<code>MyBox<T></code> 上的 <code>Deref</code> 实现</span></p>
|
|||
|
|
<p><code>type Target = T;</code> 语法定义了用于此 trait 的关联类型。关联类型是一个稍有不同的定义泛型参数的方式，现在还无需过多的担心它；第二十章会详细介绍。</p>
|
|||
|
|
<p><code>deref</code> 方法体中写入了 <code>&self.0</code>，这样 <code>deref</code> 返回了我希望通过 <code>*</code> 运算符访问的值的引用。回忆一下第五章 <a href="ch05-01-defining-structs.html#%E4%BD%BF%E7%94%A8%E6%B2%A1%E6%9C%89%E5%91%BD%E5%90%8D%E5%AD%97%E6%AE%B5%E7%9A%84%E5%85%83%E7%BB%84%E7%BB%93%E6%9E%84%E4%BD%93%E6%9D%A5%E5%88%9B%E5%BB%BA%E4%B8%8D%E5%90%8C%E7%9A%84%E7%B1%BB%E5%9E%8B">“使用没有命名字段的元组结构体来创建不同的类型”</a> 部分 <code>.0</code> 用来访问元组结构体的第一个元素。示例 15-9 中的 <code>main</code> 函数中对 <code>MyBox<T></code> 值的 <code>*</code> 调用现在可以编译并能通过断言了！</p>
|
|||
|
|
<p>没有 <code>Deref</code> trait 的话，编译器只会解引用 <code>&</code> 引用类型。<code>deref</code> 方法向编译器提供了获取任何实现了 <code>Deref</code> trait 的类型的值，并且调用这个类型的 <code>deref</code> 方法来获取一个它知道如何解引用的 <code>&</code> 引用的能力。</p>
|
|||
|
|
<p>当我们在示例 15-9 中输入 <code>*y</code> 时，Rust 事实上在底层运行了如下代码：</p>
|
|||
|
|
<pre><code class="language-rust ignore">*(y.deref())</code></pre>
|
|||
|
|
<p>Rust 将 <code>*</code> 运算符替换为先调用 <code>deref</code> 方法再进行普通解引用的操作，如此我们便不用担心是否还需手动调用 <code>deref</code> 方法了。Rust 的这个特性可以让我们写出行为一致的代码，无论是面对的是常规引用还是实现了 <code>Deref</code> 的类型。</p>
|
|||
|
|
<p><code>deref</code> 方法返回值的引用，以及 <code>*(y.deref())</code> 括号外边的普通解引用仍为必须的原因在于所有权。如果 <code>deref</code> 方法直接返回值而不是值的引用，其值（的所有权）将被移出 <code>self</code>。在这里以及大部分使用解引用运算符的情况下我们并不希望获取 <code>MyBox<T></code> 内部值的所有权。</p>
|
|||
|
|
<p>注意，每次当我们在代码中使用 <code>*</code> 时， <code>*</code> 运算符都被替换成了先调用 <code>deref</code> 方法再接着使用 <code>*</code> 解引用的操作，且只会发生一次，不会对 <code>*</code> 操作符无限递归替换，解引用出上面 <code>i32</code> 类型的值就停止了，这个值与示例 15-9 中 <code>assert_eq!</code> 的 <code>5</code> 相匹配。</p>
|
|||
|
|
<h3 id="函数和方法的隐式-deref-强制转换"><a class="header" href="#函数和方法的隐式-deref-强制转换">函数和方法的隐式 Deref 强制转换</a></h3>
|
|||
|
|
<p><strong>Deref 强制转换</strong>（<em>deref coercions</em>）将实现了 <code>Deref</code> trait 的类型的引用转换为另一种类型的引用。例如，Deref 强制转换可以将 <code>&String</code> 转换为 <code>&str</code>，因为 <code>String</code> 实现了 <code>Deref</code> trait 因此可以返回 <code>&str</code>。Deref 强制转换是 Rust 在函数或方法传参上的一种便利操作，并且只能作用于实现了 <code>Deref</code> trait 的类型。当这种特定类型的引用作为实参传递给和形参类型不同的函数或方法时将自动进行。这时会有一系列的 <code>deref</code> 方法被调用，把我们提供的类型转换成了参数所需的类型。</p>
|
|||
|
|
<p>Deref 强制转换的加入使得 Rust 程序员编写函数和方法调用时无需增加过多显式使用 <code>&</code> 和 <code>*</code> 的引用和解引用。这个功能也使得我们可以编写更多同时作用于引用或智能指针的代码。</p>
|
|||
|
|
<p>作为展示 Deref 强制转换的实例，让我们使用示例 15-8 中定义的 <code>MyBox<T></code>，以及示例 15-10 中增加的 <code>Deref</code> 实现。示例 15-11 展示了一个有着字符串 slice 参数的函数定义：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021">fn hello(name: &str) {
|
|||
|
|
println!("Hello, {name}!");
|
|||
|
|
}
|
|||
|
|
<span class="boring">
|
|||
|
|
</span><span class="boring">fn main() {}</span></code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-11：<code>hello</code> 函数有着 <code>&str</code> 类型的参数 <code>name</code></span></p>
|
|||
|
|
<p>可以使用字符串 slice 作为参数调用 <code>hello</code> 函数，比如 <code>hello("Rust");</code>。Deref 强制转换使得用 <code>MyBox<String></code> 类型值的引用调用 <code>hello</code> 成为可能，如示例 15-12 所示：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">use std::ops::Deref;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">impl<T> Deref for MyBox<T> {
|
|||
|
|
</span><span class="boring"> type Target = T;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring"> fn deref(&self) -> &T {
|
|||
|
|
</span><span class="boring"> &self.0
|
|||
|
|
</span><span class="boring"> }
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">struct MyBox<T>(T);
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">impl<T> MyBox<T> {
|
|||
|
|
</span><span class="boring"> fn new(x: T) -> MyBox<T> {
|
|||
|
|
</span><span class="boring"> MyBox(x)
|
|||
|
|
</span><span class="boring"> }
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">fn hello(name: &str) {
|
|||
|
|
</span><span class="boring"> println!("Hello, {name}!");
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>fn main() {
|
|||
|
|
let m = MyBox::new(String::from("Rust"));
|
|||
|
|
hello(&m);
|
|||
|
|
}</code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-12：因为 Deref 强制转换，使用 <code>MyBox<String></code> 的引用调用 <code>hello</code> 是可行的</span></p>
|
|||
|
|
<p>这里使用 <code>&m</code> 调用 <code>hello</code> 函数，其为 <code>MyBox<String></code> 值的引用。因为示例 15-10 中在 <code>MyBox<T></code> 上实现了 <code>Deref</code> trait，Rust 可以通过 <code>deref</code> 调用将 <code>&MyBox<String></code> 变为 <code>&String</code>。标准库中提供了 <code>String</code> 上的 <code>Deref</code> 实现，其会返回字符串 slice，这可以在 <code>Deref</code> 的 API 文档中看到。Rust 再次调用 <code>deref</code> 将 <code>&String</code> 变为 <code>&str</code>，这就符合 <code>hello</code> 函数的定义了。</p>
|
|||
|
|
<p>如果 Rust 没有实现 Deref 强制转换，为了使用 <code>&MyBox<String></code> 类型的值调用 <code>hello</code>，则不得不编写示例 15-13 中的代码来代替示例 15-12：</p>
|
|||
|
|
<p><span class="filename">文件名：src/main.rs</span></p>
|
|||
|
|
<pre><pre class="playground"><code class="language-rust edition2021"><span class="boring">use std::ops::Deref;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">impl<T> Deref for MyBox<T> {
|
|||
|
|
</span><span class="boring"> type Target = T;
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring"> fn deref(&self) -> &T {
|
|||
|
|
</span><span class="boring"> &self.0
|
|||
|
|
</span><span class="boring"> }
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">struct MyBox<T>(T);
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">impl<T> MyBox<T> {
|
|||
|
|
</span><span class="boring"> fn new(x: T) -> MyBox<T> {
|
|||
|
|
</span><span class="boring"> MyBox(x)
|
|||
|
|
</span><span class="boring"> }
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span><span class="boring">fn hello(name: &str) {
|
|||
|
|
</span><span class="boring"> println!("Hello, {name}!");
|
|||
|
|
</span><span class="boring">}
|
|||
|
|
</span><span class="boring">
|
|||
|
|
</span>fn main() {
|
|||
|
|
let m = MyBox::new(String::from("Rust"));
|
|||
|
|
hello(&(*m)[..]);
|
|||
|
|
}</code></pre></pre>
|
|||
|
|
<p><span class="caption">示例 15-13：如果 Rust 没有 Deref 强制转换则必须编写的代码</span></p>
|
|||
|
|
<p><code>(*m)</code> 将 <code>MyBox<String></code> 解引用为 <code>String</code>。接着 <code>&</code> 和 <code>[..]</code> 获取了整个 <code>String</code> 的字符串 slice 来匹配 <code>hello</code> 的签名。没有 Deref 强制转换所有这些符号混在一起将更难以读写和理解。Deref 强制转换使得 Rust 自动的帮我们处理这些转换。</p>
|
|||
|
|
<p>当所涉及到的类型定义了 <code>Deref</code> trait，Rust 会分析这些类型并使用任意多次 <code>Deref::deref</code> 调用以获得匹配参数的类型。这些解析都发生在编译时，所以利用 Deref 强制转换并没有运行时损耗！</p>
|
|||
|
|
<h3 id="deref-强制转换如何与可变性交互"><a class="header" href="#deref-强制转换如何与可变性交互">Deref 强制转换如何与可变性交互</a></h3>
|
|||
|
|
<p>类似于如何使用 <code>Deref</code> trait 重载不可变引用的 <code>*</code> 运算符，Rust 提供了 <code>DerefMut</code> trait 用于重载可变引用的 <code>*</code> 运算符。</p>
|
|||
|
|
<p>Rust 在发现类型和 trait 实现满足三种情况时会进行 Deref 强制转换：</p>
|
|||
|
|
<ul>
|
|||
|
|
<li>当 <code>T: Deref<Target=U></code> 时从 <code>&T</code> 到 <code>&U</code>。</li>
|
|||
|
|
<li>当 <code>T: DerefMut<Target=U></code> 时从 <code>&mut T</code> 到 <code>&mut U</code>。</li>
|
|||
|
|
<li>当 <code>T: Deref<Target=U></code> 时从 <code>&mut T</code> 到 <code>&U</code>。</li>
|
|||
|
|
</ul>
|
|||
|
|
<p>头两个情况除了第二种实现了可变性之外是相同的：第一种情况表明如果有一个 <code>&T</code>，而 <code>T</code> 实现了返回 <code>U</code> 类型的 <code>Deref</code>，则可以直接得到 <code>&U</code>。第二种情况表明对于可变引用也有着相同的行为。</p>
|
|||
|
|
<p>第三个情况有些微妙：Rust 也会将可变引用强转为不可变引用。但是反之是 <strong>不可能</strong> 的：不可变引用永远也不能强转为可变引用。因为根据借用规则，如果有一个可变引用，其必须是这些数据的唯一引用（否则程序将无法编译）。将一个可变引用转换为不可变引用永远也不会打破借用规则。将不可变引用转换为可变引用则需要初始的不可变引用是数据唯一的不可变引用，而借用规则无法保证这一点。因此，Rust 无法假设将不可变引用转换为可变引用是可能的。</p>
|
|||
|
|
|
|||
|
|
</main>
|
|||
|
|
|
|||
|
|
<nav class="nav-wrapper" aria-label="Page navigation">
|
|||
|
|
<!-- Mobile navigation buttons -->
|
|||
|
|
<a rel="prev" href="ch15-01-box.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="ch15-03-drop.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="ch15-01-box.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="ch15-03-drop.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>
|