如何用Cargo防止Rust工作区中的间接特性依赖问题？

当编译包含多包的Rust工作区时，是否可以配置Cargo，让它在某个包（比如foo）的编译依赖于未被该包或其直接依赖项启用的特性时抛出错误？

举个具体例子：下面的工作区执行cargo build能成功编译，但单独执行cargo build -p foo时，会因为foo/Cargo.toml缺少tokio的特性而报错：

error[E0432]: unresolved import `tokio::io::AsyncWriteExt`
 --> foo/src/lib.rs:1:5
  |
1 | use tokio::io::AsyncWriteExt;
  |     ^^^^^^^^^^^-------------
  |     |          |
  |     |          help: a similar name exists in the module: `AsyncWrite`
  |     no `AsyncWriteExt` in `io`

For more information about this error, try `rustc --explain E0432`.
error: could not compile `foo` due to previous error

这个问题很棘手：cargo build默认允许依赖间接特性——也就是其他包（比如bar）启用的特性会被工作区共享，导致foo能编译通过；但如果修改bar的配置（比如移除bar/Cargo.toml中的io-util特性），foo就会编译失败。我希望不用每次单独编译每个包，就能提前检测并阻止这种情况。

工作区结构 #

.
├── foo
│   ├── src
│   │   └── lib.rs
│   └── Cargo.toml
├── bar
│   ├── src
│   │   └── main.rs
│   └── Cargo.toml
└── Cargo.toml

./foo/src/lib.rs #

use tokio::io::AsyncWriteExt;

pub fn dummy(_: impl AsyncWriteExt) {
    unimplemented!()
}

./foo/Cargo.toml #

[package]
name = "foo"
version = "0.1.0"
edition = "2021"

[dependencies]
"tokio" = "1.21.2"

./bar/src/main.rs #

fn main() {
    println!("Hello, world!");
}

./bar/Cargo.toml #

[package]
name = "bar"
version = "0.1.0"
edition = "2021"

[dependencies]
"tokio" = { version = "1.21.2", features = ["io-util"] }
"foo" = { path = "../foo" }

./Cargo.toml #

[workspace]
members = [
    "foo",
    "bar",
]

解决方案 #

Cargo本身没有内置的配置开关直接触发这类错误，但可以通过以下方式彻底解决或提前检测：

1. 明确声明包所需的依赖特性（根本解决） #

foo的代码依赖tokio的io-util特性才能使用AsyncWriteExt，因此必须在foo/Cargo.toml中明确启用该特性：

[dependencies]
tokio = { version = "1.21.2", features = ["io-util"] }

修改后，无论单独编译foo还是整个工作区，都能保证依赖特性的独立性，不受其他包配置变更的影响。

2. 全局检查/编译所有包 #

通过强制编译或检查工作区中的每个单独包，可以提前发现这类隐藏的依赖问题：

• 编译所有包：执行 cargo build --workspace --all-targets，--all-targets确保覆盖所有编译目标（库、二进制文件、测试等）
• 快速检查所有包：执行 cargo check --workspace --all-targets，比build更快，适合日常开发或CI流程

3. 借助社区工具自动化检测 #

可以使用Rust社区工具来自动化检测这类“依赖特性泄漏”问题：

• cargo-deny：可配置规则，检测包是否依赖了未明确声明的特性，需要在工作区添加deny.toml配置启用相关检查
• cargo-hakari：用于统一工作区依赖版本，同时能识别包是否依赖了间接启用的特性，帮助确保每个包的依赖声明完整

内容的提问来源于stack exchange，提问作者Federico