PIMPL、POD、实现类的可见性，它的析构函数会被调用吗？

Question

维基百科声称，在 有关不透明指针的文章中，那个

d 指针是类的唯一私有数据成员，指向结构体的实例（该结构体必须是 POD，因为它的析构函数不可见）

这在 PIMPL 中不是必需的，而且维基百科通常是特殊的，不是吗？ ？

我将缺少 d 指针标签作为我问题的答案，但希望有人可以为维基百科做出贡献和/或澄清事情。或者只是说维基百科很糟糕，最后的手段等等:)

我的问题是，当在 cpp 实现文件中完全声明和定义时，嵌套类的方法的可见性如何？它的析构函数会按预期被调用吗（包含类将在其析构函数中调用它的delete）？

_编辑_ 固定版本，http://en.wikipedia.org/wiki/Opaque_pointer

Answer 1

PIMPL 是一个令人厌恶的惯用语，我得出的结论是它更像是一种反模式。

但是，如果您坚持使用它，您可以在实现文件中简单地将析构函数定义为空，以充分利用您想要用来自动析构非 POD 实现的任何智能指针。

class Impl;
class Object {
    std::unique_ptr<Impl> impl;
public:
    //...
    ~Object();
};

#include "Impl.h"
// in cpp
Object::~Object() {}

这个快速代码示例清楚地将维基百科定义为完全错误的 - 完全可以在实现文件中简单地定义析构函数来使用您想要的任何析构函数，甚至是需要完整定义的智能指针。

Answer 2

是的，这完全是错误的。 PIMPL 结构的析构函数在调用它的地方必须是可见的，这是来自类本身的析构函数的定义。将两个析构函数放在同一个 .cpp 文件中，首先是 PIMPL dtor，这样就可以保证可见性。

PIMPL dtor 没有理由在任何其他点可见，因为它没有在那里被调用。