Question

这些是我所知道的在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 ++编写代码直到一年后，所以我的大多数比较都与它有关 - 我不知道很多其他语言）使用函数局部静态：< / p>

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

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

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

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

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

Answer 1

特别是单身人士，以及一般的全局构造函数/析构函数，都是一种祸害（特别是在C ++等语言中）。

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

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

在Rust，采取的态度是在主要之前/之后没有生命。因此，尝试获取C ++行为可能无法按预期工作。

如果您：

，您将获得更多语言支持

放弃全球方面
放弃尝试拥有单个实例

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

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

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

1 个答案: