由于它将不再与 MIR 一起工作，因此该包已被废弃

rust-tenacious

此插件会在标记为 #[no_move] 的类型被移动时发出警告。

这在确保通过 FFI 共享数据时，事物不会四处移动非常有用。Servo 使用此功能 安全地与 spidermonkey GC 共享根值。

请注意，#[no_move] 是传递性的，任何包含 #[no_move] 类型的结构体或枚举都必须进行注释。同样，任何在类型参数中有 #[no_move] 替换的类型（例如 Vec<Foo> 其中 Foo 是 no_move）将被视为不可移动。

示例

#![plugin(tenacious)]
#![feature(custom_attribute, plugin)]

#[no_move]
#[derive(Debug)]
struct Foo;

fn main() {
    let x = Foo;
    let y = x; // warning
    bar(Some(y)); // warning   
}

fn bar(t: Option<Foo>) {
    match t {
        Some(foo) => { // warning
            println!("{:?}", foo)
        },
        _ => ()
    }

}

struct MoreFoo {
    foos: Vec<Foo> // warning
}

#[no_move]
struct MoreFoo2 {
    foos: Vec<Foo> // no warning
}

请注意，这不会在临时变量移动时进行代码检查（尽管很容易修改以实现这一点）。例如，如果 foo() 返回一个移动保护值，bar(foo()) 即使在 let x = foo(); bar(x) 会出现错误的情况下也不会出错，因为 foo() 返回的值是一个临时值（右值）并且在内存中并未实际移动。