暴露 POD 接口的引用计数结构

Question

我目前有一个声明复制构造函数和析构函数的结构，并保持对 pimpl 对象的引用计数。这允许我通过值传递这个结构。我需要重构它，因为我希望它具有 POD 接口，因为它是库的一部分，现在需要从使用旧 C++ 风格的代码中使用它。 因此，我必须同时删除复制构造函数和析构函数。我不知道在我删除它之后如何保持这种良好的“价值传递”，多重所有权机制。共享指针不是一个选项，因为该结构被用作其他类的方法的参数，从库用户的角度来看，这些类也需要被视为 POD。

struct Foo {
  Foo(const Foo&);
  const Foo& operator=(const Foo&);
  ~ Foo();
private:
  void* pimpl;
};

struct MainLibrary {
   void DoSomething(Foo param);
}

现在的用户代码是这样的：

MainLibrary ml;
{
  Foo a;
  ml.doSomething(a);
}

此时，a 变量可以在主库中保存很长时间。为了提高效率，Foo 的内部不能每次都被深度复制，这就是为什么 pimpl 实现保留一个引用计数器，每次复制 Foo 的实例时递增，每次销毁 Foo 的实例时递减。

Answer 1

评论太多了......如下所示。客户端包括 foo03.h，它们的使用应该不受影响。您的 C++11 实现是通过“C”层调用的。如果您搜索“将 C++ 代码暴露给 C”或类似内容，您可以找到很多示例......

foo03.h:

extern "C"
{
    void* foo_constructor();
    void* foo_constructor2(void* rhs);
    void foo_assign(void* lhs, void* rhs);
    void foo_destructor(void* p_this);
}

struct Foo {
    Foo() { p_ = foo_constructor(); }
    Foo(const Foo& rhs) { p_ = foo_constructor2(rhs.p_); }
    const Foo& operator=(const Foo& rhs) { foo_assign(p_, rhs.p_); return *this; }
    ~Foo() { foo_destructor(p_); }
  private:
    void* p_;
};

foo11.h：

// up to you whether you call this Foo (relying on mangling differences to avoid conflicts when
// linking with C++03 objects), FooImpl, put it in a namespace ala Impl::Foo etc..
struct FooImpl {
    FooImpl() { ... }
    FooImpl(const FooImpl&) { ... }
    const FooImpl& operator=(const FooImpl& rhs) { ... }
    ~FooImpl() { ... }
};

extern "C"
{
    void* foo_constructor() { return new FooImpl(); }
    void* foo_constructor2(void* rhs) { return new FooImpl(*(FooImpl*)rhs); }
    void foo_assign(void* lhs, void* rhs) { *(FooImpl*)lhs = *(FooImpl*)rhs; }
    void foo_destructor(void* p_this) { delete (FooImpl*)p_this; }
}