C++与Rust那些事之跳过析构函数
在Rust中mem::forget用于防止对象的析构,跳过清理工作,从而让资源的释放交给其他机制管理。
例如:
let file = File::open("foo.txt").unwrap();
mem::forget(file);
那么在C++中如何防止析构?即跳过析构函数呢?
本节将给出三种办法,完整代码示例也放于星球。
1. placement new
placement new
可以让我们手动管理对象的构造和析构。如果不手动调用对象的析构函数,我们就可以跳过对象的析构,从而实现类似mem::forget
的效果。
例如:
alignas(Foo) std::byte storage[sizeof(Foo)]; // 分配对齐的原始内存块
Foo* pfoo = new (storage) Foo(); // 在这块内存上构造Foo对象
在上面的代码中,placement new
创建了对象pfoo
,但我们不调用析构函数,这样可以跳过对象的清理逻辑。
2. 使用智能指针的自定义删除器
另一种实现类似功能的方法是通过自定义智能指针的删除器,防止对象被销毁。我们可以定义一个不执行任何操作的删除器,从而避免析构函数的调用。
std::unique_ptr<Foo, NoOpDeleter> pfoo(new Foo(), NoOpDeleter{});
使用自定义的删除器NoOpDeleter
,我们可以防止std::unique_ptr
在离开作用域时调用析构函数,从而实现类似mem::forget
的效果。
3.union
union的方案很神奇,大家知道原理吗?欢迎留言区一起讨论~
template <class T>
union Wrapper {
T value;
~Wrapper() {}
};
struct Foo {
~Foo() { std::cout << "dtor foo\n"; }
};
Wrapper<Foo> f;
// f.value.~Foo); 必须手动调用
欢迎留言区讨论~
一起探索更多C++项目/知识~
往期推荐:
向量数据库milvus源码剖析之开篇
热度更新,手把手实现工业级线程池
玩转cpp小项目星球3周年了!