集册 Rust 语言中文版 文档

文档

欢马劈雪     最近更新时间：2020-08-04 05:37:59

193

文档是软件项目的重要组成部分，而且它在 Rust 中是第一位的。让我们看看怎么使用 Rust 给出的工具来记录你的项目。

关于 rustdoc

Rust发行版包含一个工具 rustdoc，它可以生成一个文档。rustdoc通常也被 Cargo 通过 cargo doc 来使用。

文档可以通过两种方式生成：从源代码生成，或者从独立的 Markdown 文件生成。

源代码文档制作

记录一个 Rust 项目的主要方式是通过注释源代码。为此可以使用文档注释：

/// Constructs a new `Rc<T>`.
///
/// # Examples
///
/// ```
/// use std::rc::Rc;
///
/// let five = Rc::new(5);
/// ```
pub fn new(value: T) -> Rc<T> {
    // implementation goes here
}

这段代码生成如下所示的文档。在这里只保留了它本来位置的常规的注释，而省去了实现。关于这个注释的第一件需要注意的事：它使用 ///，而不是 //。即三重斜线表示文档的注释。

在 markdown 中书写文档的注释。

Rust 跟踪这些注释，并在生成文档时使用它们。当记录一些诸如枚举时，这是重要的：

/// The `Option` type. See [the module level documentation](../) for more.
enum Option<T> {
    /// No value
    None,
    /// Some value `T`
    Some(T),
}

上面的代码会正常执行，但是下面的代码不会正常执行：

/// The `Option` type. See [the module level documentation](../) for more.
enum Option<T> {
    None, /// No value
    Some(T), /// Some value `T`
}

这时你会得到一个错误:

hello.rs:4:1: 4:2 error: expected ident, found `}`
hello.rs:4 }

这个 unfortunate error 是正确的：文档注释适用于紧随其后的内容，但是不能出现在语句的最后。

编写文档注释

不管怎样，让我们先详细了解每个部分的注释:

/// Constructs a new `Rc<T>`.

第一行的文档注释应该是功能的一个简短的摘要。一个句子，只需要是最基本的，高水平的。

///
/// Other details about constructing `Rc<T>`s, maybe describing complicated
/// semantics, maybe additional options, all kinds of stuff.
///

我们最初的例子只是一行注释，但如果我们有更多的事情需要说明，我们可以在一个新的段落添加更多的解释。

特殊部分

/// # Examples

接下来是特殊部分。这些以一个头 # 表示。有三种常用的头文件。他们没有特殊的语法，现在只是有约定俗成的用法，

/// # Panics

在Rust中，一个函数出现不可恢复的错误(即编程错误)通常由 panics 表示，它会至少结束整个当前线程。如果你的函数有这样一个重要的约定，它可以被 panics 检测/执行，记录就变得非常重要。

/// # Failures

如果你的函数或方法返回一个Result<T, E>，这个结果描述了现在的状况，如果返回 Err(E)，表示现在状况还不是很坏。这和 Panics 相比就显得稍微不那么重要了，因为错误已经被编码，但它仍然不是一件特别坏的事。

/// # Safety

如果你的功能是 unsafe 的，你应该向调用者解释哪些不变量是负责维护的。

/// # Examples
///
/// ```
/// use std::rc::Rc;
///
/// let five = Rc::new(5);
/// ```

第三，Examples。包括一个或多个使用你的函数或方法的例子，你的用户会因为这些函数或方法而爱你。这些例子都包含了代码块注释，我们将讨论这部分：

/// # Examples
///
/// Simple `&str` patterns:
///
/// ```
/// let v: Vec<&str> = "Mary had a little lamb".split(' ').collect();
/// assert_eq!(v, vec!["Mary", "had", "a", "little", "lamb"]);
/// ```
///
/// More complex patterns with a lambda:
///
/// ```
/// let v: Vec<&str> = "abc1def2ghi".split(|c: char| c.is_numeric()).collect();
/// assert_eq!(v, vec!["abc", "def", "ghi"]);
/// ```

让我们讨论一下这些代码块的细节。

代码块说明

使用三重斜线对 Rust 代码进行注释：

/// ```
/// println!("Hello, world");
/// ```

如果你想要某些代码不是 Rust 代码，您可以添加一个注解：

/// ```c
/// printf("Hello, world\n");
/// ```

根据你选择的任何语言突出显示这些内容。如果你只想显示纯文本，只需要选择 text 就可以了。

选择正确的注释是很重要的，因为 rustdoc 以一个有趣的方式使用注释：实际上它可以用来测试你的例子，所以，他们离不开日期。如果你有一些C代码，但 rustdoc 认为它是 Rust，因为你没有使用注释，当试图生成文档 rustdoc 会产生异常。

文档测试

让我们讨论一下文档样例示例：

/// ```
/// println!("Hello, world");
/// ```

你会注意到，你不需要一个 fn main() 或任何东西。rustdoc 会在你的代码中的正确位置自动添加一个 main()函数。例如：

/// ```
/// use std::rc::Rc;
///
/// let five = Rc::new(5);
/// ```

这是最终的测试：

fn main() {
    use std::rc::Rc;
    let five = Rc::new(5);
}

这是 rustdoc 使用后处理例子的完整算法：

  • 任何主要 #!(foo) 属性是完好的 crate 属性。
  • 一些常见的 allow 属性被插入，包括 unused_variables ，unused_assignments，unused_mut，unused_attributes，dead_code。小例子经常会引发这些麻烦。
  • 如果样例不包含 extern crate，那么 extern crate 就会被插入。
  • 最后，如果样例不包含 fn main，文本的其余部分会包装在fn main() { your_code }。

然而，有时这还是不够的。例如，所有这些代码示例中，我们用 /// 来标注我们在说什么，原始文本：

/// Some documentation.
# fn foo() {}

输出看起来有些不同：

/// Some documentation.

是的，这是正确的：你可以以 # 开始添加注释，输出时这些注释将被隐藏，编译代码时这些注释将会被使用。你可以利用这个优势。在这种情况下，文档注释需要适用于某种功能，所以如果我想给一个文档注释，我就需要添加一个小函数来定义它。同时，它只是为了满足编译器，所以隐藏它会使样例更加清晰。您可以使用这种方法来解释更详细的例子，同时仍然保留文档的可测试性。例如，这段代码：

let x = 5;
let y = 6;
println!("{}", x + y);

下面呈现一个解释：

首先，我们将 x 设置为 5：

let x = 5;

接下来，我们将 y 设置为 6：

let y = 6;

最后，我们打印 x 和 y 的总和：

println!("{}", x + y);

这是在原始文本中的相同的解释：

First, we set x to five:

let x = 5;
# let y = 6;
# println!("{}", x + y);

Next, we set y to six:

# let x = 5;
let y = 6;
# println!("{}", x + y);

Finally, we print the sum of x and y:

# let x = 5;
# let y = 6;
println!("{}", x + y);

通过重复例子的所有部分，您可以确保您的例子仍然可以编译，而只显示跟你的解释相关的那部分。

记录宏

这里有一个宏的例子:

/// Panic with a given message unless an expression evaluates to true.
///
/// # Examples
///
/// ```
/// # #[macro_use] extern crate foo;
/// # fn main() {
/// panic_unless!(1 + 1 == 2, “Math is broken.”);
/// # }
/// ```
///
/// ```should_panic
/// # #[macro_use] extern crate foo;
/// # fn main() {
/// panic_unless!(true == false, “I’m broken.”);
/// # }
/// ```
#[macro_export]
macro_rules! panic_unless {
    ($condition:expr, $($rest:expr),+) => ({ if ! $condition { panic!($($rest),+); } });
}

你需要注意三件事：添加自己的 extern crate 行，这样我们就可以添加 #[macro_use] 属性。第二，我们需要添加自己的 main() 函数。最后，明智地使用 # 注释掉这两个东西，确保他们不会显示在输出中。

运行文档测试

运行测试

$ rustdoc --test path/to/my/crate/root.rs
# or
$ cargo test

cargo test 也可以对嵌套文档进行测试。然而，cargo test只能测试函数库而不能测试二进制工具。这是由于 rustdoc 的工作方式：链接库进行测试，但如果是二进制的，就没有什么可链接的。

当测试你的代码时，这还有几个有用的注释，可以帮助 rustdoc 做正确的事情：

/// ```ignore
/// fn foo() {
/// ```

ignore 指令告诉 Rust 忽略代码。这是最通用的。相反，如果它不是代码，可以考虑使用 text 注释，或者使用 #s 得到一个工作示例，这个工作示例只显示你关心的部分。

/// ```should_panic
/// assert!(false);
/// ```

should_panic 告诉 rustdoc 应该正确地编译代码，但测试实例实际上并没有通过。

/// ```no_run
/// loop {
/// println!("Hello, world");
/// }
/// ```

no_run 属性将编译代码，但不运行它。这是很重要的例子，例如 “Here's how to start up a network service,” 这表示您想要确保编译，但可能以无限循环的模式运行!

记录模块

Rust有另外一种文档评论 //!。这个评论不记录下一个项目，而是记录封闭的项目。换句话说:

mod foo {
    //! This is documentation for the `foo` module.
    //!
    //! # Examples

    // ...
}

//! 最常见的用途：用于模块文档。如果你在 foo.rs 之内有一个模块，你经会经常打开它的代码，并且看到这个：

//! A module for using `foo`s.
//!
//! The `foo` module contains a lot of useful functionality blah blah blah

文档注释风格

查看 RFC 505，得到完整规范的风格和格式文档。

其他文档

所有这一切行为都工作于 non-Rust 源文件。因为评论都写在 Markdown 中，他们经常都是 .md 文件。

当你在 Markdown 文件中编写文档时，不需要使用评论给文档加前缀。例如：

/// # Examples
///
/// ```
/// use std::rc::Rc;
///
/// let five = Rc::new(5);
/// ```

只需要

# Examples

```
use std::rc::Rc;

let five = Rc::new(5);
```

这些代码存在于 Markdown 文件中。不过有一个问题：Markdown 文件需要一个这样的标题：

展开阅读全文