C++ boost::scoped_ptr 的析构函数问题

Question

我对以下代码有疑问：

#include <iostream>
#include <boost/scoped_ptr.hpp>

class Interface
{
};

class A : public Interface
{
    public:
        A() { std::cout << "A()" << std::endl; }
        virtual ~A() { std::cout << "~A()" << std::endl; }
};


Interface* get_a()
{
    A* a = new A;
    return a;
}

int main()
{
    {
        std::cout << "1" << std::endl;
        boost::scoped_ptr<Interface> x(get_a());
        std::cout << "2" << std::endl;
    }
    std::cout << "3" << std::endl;
}

它创建以下输出：

1
A()
2
3

如您所见，它不会调用 A 的析构函数。 我认为调用 A 的析构函数的唯一方法是为 Interface 类添加一个析构函数，如下所示：

virtual ~Interface() { }

但我真的想避免在 Interface 类中使用任何实现，并且 virtual ~Interface() = 0; 不起作用（产生一些链接器错误，抱怨 ~Interface() 的实现不存在。

所以我的问题是：我必须更改什么才能使析构函数成为调用，但（如果可能）将接口保留为接口（仅抽象方法）。

Answer 1

您必须在基类中定义虚拟析构函数，否则您将无法获得多态行为。

更重要的是，否则你会得到未定义的行为； §5.3.5/3：

如果操作数的静态类型与其动态类型不同，则静态类型应为操作数动态类型的基类，并且静态类型应具有虚拟析构函数，否则行为未定义.

_{强调我的。}

---

我认为最好的是这个：

class Interface
{
public:
    virtual ~Interface(void) = 0;
};

inline Interface::~Interface(void) {}

编译器可以轻松内联它，这与实现驻留在源文件中的解决方案不同。 （说到这里，这个解决方案甚至不要求你有一个。）它也让类成为纯虚拟的。

Answer 2

您需要定义 Interface 析构函数的纯虚拟版本，但还需要定义析构函数的主体。这是 C++ 中的一种奇怪情况，即使函数是虚拟的，也必须定义它，因为在调用 A 析构函数之后，也会调用 Instance 析构函数。

因此，正确的答案是：

virtual ~Interface() = 0;

然后，在 cpp 文件中：

Interface::~Interface() {}

Answer 3

如果您想通过指向基类接口类型的指针删除派生类对象，则必须声明析构函数 virtual，并且该析构函数必须具有实现。

不过，您仍然可以将其声明为纯虚拟：

class Interface
{
public:
    virtual ~Interface() = 0;
};

inline Interface::~Interface() { }