为何不？

Cargo 子命令，用于发现函数为何不安全。

需要足够新的 nightly rust 工具链。

# Make sure you have the necessary components installed

$ rustup component add rustc-dev llvm-tools-preview --toolchain nightly

# Install `cargo-whynot` with the nightly toolchain

$ cargo +nightly install cargo-whynot

# Invoke the tool!

$ cargo whynot safe foo

不安全性是什么？

Nomicon 定义

• 取消引用原始指针
• 调用不安全函数（包括 C 函数、编译器内建函数和原始分配器）
• 实现不安全特质
• 修改静态变量
• 访问联合体的字段

为何有这个工具？

因为它是一个有趣的实验，通过 hook 到 rustc 来查询驱动。你不应该使用这个工具，因为不安全代码通常很糟糕（它不是），但你可以用它来确定是否有机会使函数“安全”。

示例

以下代码

pub use unsafe_mod::unsafety;

pub unsafe fn foo() {
    let a = unsafety();
    eprintln!("a: {}", a);
}

pub mod unsafe_mod {
    pub unsafe fn unsafety() -> u32 {
        let mut a = 1;
        let a = std::ptr::addr_of_mut!(a);
        // this is the unsafe part
        let b = *a;
        b
    }
}

cargowhynot safe foo

将报告

note: Function is unsafe
  ┌─ src/lib.rs:3:1
  │
3 │ pub unsafe fn foo() {
  │ ^^^^^^^^^^^^^^^^^^^ function is unsafe because:
4 │     let a = unsafety();
  │             ---------- call to unsafe function `unsafe_mod::unsafety`

help:
   ┌─ src/lib.rs:9:5
   │
 9 │     pub unsafe fn unsafety() -> u32 {
   │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function is unsafe because:
   ·
13 │         let b = *a;
   │                 ^^ dereference of raw pointer
   │
   = this function does a fundamentally unsafe operation

许可