首页 文章

如何使Rust单例的析构函数运行？

提问于
浏览 次
1

这些是我所知道的在Rust中创建单例的方法：

#[macro_use]
extern crate lazy_static;

use std::sync::{Mutex, Once, ONCE_INIT};

#[derive(Debug)]
struct A(usize);
impl Drop for A {
    fn drop(&mut self) {
        // This is never executed automatically.
        println!(
            "Dropping {:?} - Important stuff such as release file-handles etc.",
            *self
        );
    }
}

// ------------------ METHOD 0 -------------------
static PLAIN_OBJ: A = A(0);

// ------------------ METHOD 1 -------------------
lazy_static! {
    static ref OBJ: Mutex<A> = Mutex::new(A(1));
}

// ------------------ METHOD 2 -------------------
fn get() -> &'static Mutex<A> {
    static mut OBJ: *const Mutex<A> = 0 as *const Mutex<A>;
    static ONCE: Once = ONCE_INIT;
    ONCE.call_once(|| unsafe {
        OBJ = Box::into_raw(Box::new(Mutex::new(A(2))));
    });
    unsafe { &*OBJ }
}

fn main() {
    println!("Obj = {:?}", PLAIN_OBJ); // A(0)
    println!("Obj = {:?}", *OBJ.lock().unwrap()); // A(1)
    println!("Obj = {:?}", *get().lock().unwrap()); // A(2)
}

这些都不会在程序退出时调用 A 的析构函数（ drop() ） . 这是方法2的预期行为（它是堆分配的），但我没有查看 lazy_static! 的实现，知道它将是类似的 .

这里没有RAII . 我可以在C中实现RAII单例的行为（我以前在C中编码直到一年后，所以我的大部分比较与它有关 - 我不知道很多其他语言）使用函数局部静态：

A& get() {
  static A obj; // thread-safe creation with C++11 guarantees
  return obj;
}

这可能是在实现定义区域中分配/创建（延迟），并且在程序的生命周期内有效 . 当程序终止时，析构函数将被确定性地运行 . 我们需要避免从其他静态的析构函数中访问它，但我从未遇到过这种情况 .

我可能需要释放资源，我希望运行 drop() . 现在，我最终在程序终止之前手动完成它（在所有线程加入之后朝向main的末尾） .

我甚至不知道如何使用 lazy_static! 这样做，所以我避免使用它，只去了方法2，我可以在最后手动销毁它 .

我不想这样做;有没有办法让我在Rust中有这样一个RAII表现单身？

singleton rust raii

1 回答

  • 6

    特别是单身人士，以及一般的全球构造者/破坏者，都是一种祸害（特别是在C语言中） .

    我会说它们引起的主要（功能）问题分别被称为静态初始化（resp . 破坏）命令惨败 . 也就是说，很容易在这些全局变量之间意外地创建依赖循环，即使没有这样的循环，编译器也不会立即清楚它们应该构建/销毁它们的顺序 .

    它们还可能导致其他问题：启动速度较慢，意外共享内存，......

    在鲁斯特，采取的态度是 No life before/after main . 因此，尝试获取C行为可能无法按预期工作 .

    如果您：将获得更多语言支持：

    • 放弃全球方面

    • 放弃尝试拥有单个实例

    （作为奖励，并行测试也会更容易）

    因此，我的建议是简单地坚持使用局部变量 . 在 main 中实例化它，通过调用堆栈中的值/引用传递它，不仅避免了那些棘手的初始化顺序问题，而且还会破坏 .

    回复于

相关问题