C++: auto_ptr +前向声明？

Question

我有一个这样的类：

class Inner;

class Cont
{
public:
    Cont();
    virtual ~Cont();
private:
    Inner* m_inner;
};

在 .cpp 中，构造函数使用 new 创建一个 Inner 实例，析构函数删除它。这工作得很好。
现在我想更改此代码以使用 auto_ptr 所以我写道：

class Inner;

class Cont
{
public:
    Cont();
    virtual ~Cont();
private:
    std::auto_ptr<Inner> m_inner;
};

现在，构造函数初始化了 auto_ptr 并且析构函数不执行任何操作。

但这不起作用。当我实例化这个类时，问题似乎出现了。我收到这个警告：

警告 C4150：删除指向 不完整类型“内部”；不 析构函数调用

嗯，这显然是非常糟糕的，我明白为什么会发生这种情况，编译器在实例化 auto_ptr 模板时不知道 Inner 的 d'tor 。 code>

所以我的问题：有没有办法像我在仅使用普通指针的版本中那样使用带有前向声明的 auto_ptr ？
必须#include我声明指向的每个类是一个巨大的麻烦，有时甚至是不可能的。这个问题通常是如何处理的？

Answer 1

您需要将定义 class Inner 的标头包含到 Cont::~Cont() 实现所在的文件中。这样，您仍然可以在定义 class Cont 的标头中进行前向声明，并且编译器会看到 class Inner 定义并可以调用析构函数。

//Cont.h
class Inner; // is defined in Inner.h
class Cont 
{ 
    virtual ~Cont(); 
    std::auto_ptr<Inner> m_inner;
};

// Cont.cpp
#include <Cont.h>
#include <Inner.h>

Cont::~Cont()
{
}

Answer 2

事实证明，只有当我使 c'tor 内联时才会出现问题。如果我将 c'tor 放入 cpp 中，则在 Inner 减速后一切正常。

Answer 3

您可以考虑使用 boost::shared_ptr() 来代替。它除了性能之外没有任何实际缺点，并且对前向声明更加友好：

boost::shared_ptrptr;

没问题，上面没有额外的声明。

shared_ptr 比 auto_ptr 做更多的事情，例如引用计数，但如果您不需要它，它应该不会造成损害。

Answer 4

这似乎很荒谬，但我通过将 #include 添加到 Cont.h 文件解决了同样的问题。

Answer 5

如果您在 cont.cpp 文件中实现析构函数并且包含inner.h，则头中的前向声明是可以的，正如其他人指出的那样。

问题可能出在 Cont 的使用上。在每个使用（并销毁）Cont 的 cpp 中，您必须包含 cont.h 和 inner.h。这解决了我的问题。

Answer 6

这个问题（使用私有析构函数删除对象）和这个问题（如何编写iscomplete模板）可能会对您有所帮助。

Answer 7

从技术上讲，您不应该用不完整的类型实例化标准库模板，尽管我知道没有任何实现是行不通的。在实践中，Sharptooth 的答案也是我推荐的。

使用裸指针作为 impl 指针实际上没有任何问题，只要您在析构函数中调用它的 delete 即可。您可能还应该实现或禁用复制构造函数和赋值运算符。