c++ - 有没有办法强制使用 shared_ptr 在堆上创建对象？

Question

我想知道是否可以通过创建私有(private)/ protected 析构函数并同时使用 shared_ptr 确保自动资源管理(shared_ptr 的 RAII 功能)来强制在堆上创建对象。也许可以用不同的方式做到这一点？我之所以这么问，是因为据我所知(还没有看过)在 STL 中没有虚拟 descructors，所以除了...shared_ptr 之外没有其他方法可以确保安全销毁？如果是这样，就没有办法将对象强制到堆中，因为 shared_ptr 正在尝试访问析构函数。无论如何要绕过这些限制？

Answer 1

C++ 是一种将代码的正确性交到程序员手中的语言。试图通过一些复杂的方法来改变它通常会导致代码难以使用或不能很好地工作。强制程序员的手，使他(她)必须在堆上创建一个对象，即使对于特定情况来说这不是“正确的”，这是很糟糕的。如果他想的话，让程序员搬起石头砸自己的脚。

在较大的项目中，代码应由同行(最好至少有时由更高级的员工)审查其正确性并遵循项目的编码准则。

我不完全确定“虚拟析构函数”如何与“安全销毁”和“共享指针”相关 - 这是三个关系不是很密切的不同概念 - 当类用作基类时需要虚拟析构函数-class 派生一个新类。 STL 对象并不意味着派生自 [通常，您使用模板或继承，尽管它们可以组合，但当您这样做时它会很快变得非常复杂]，因此无需在 STL 中使用虚拟析构函数。

如果你有一个基类类，并且存储是基于指针或对基类的引用完成的，那么你必须有虚拟析构函数——或者不使用继承。

“安全销毁”，我认为是指“无内存泄漏”[而不是“正确销毁”，这当然也是一个问题 - 并导致内存泄漏问题]。对于很多情况，这意味着“首先不要使用指向对象的指针”。我在 SO 上看到很多例子，程序员正在调用 new绝对没有理由。 vector<X>* v = new vector<X>;绝对是一种“难闻的气味”(就像鱼或肉一样，如果闻起来难闻，则代码有问题)。如果您正在调用 new，那么使用共享指针、唯一指针或其他一些“包装”是个好主意。但是你不应该强制这个概念 - 偶尔有充分的理由不这样做。

“共享指针”是一个“对象不再使用时自动销毁”的概念，这是一种避免内存泄漏的有用技术。

既然我已经告诉过你不要这样做，下面是实现它的一种方法:

class X
{
    private:
       int x; 
       X() : x(42) {}; 
    public:
       static shared_ptr<X> makeX() { return make_shared<X>(); }
};

由于构造函数是私有(private)的，类的“用户”不能调用“new”或创建此类对象。 [您可能还想将复制构造函数和赋值运算符私有(private)化或使用 delete以防止它们被使用]。

但是，我仍然认为这从一开始就是个坏主意。