我遇到了以下情况。(更新:称为不透明类型;感谢信息@iharob)
类型P是typedef
- 在public_api.h中编辑,以及一些创建,修改和销毁它的函数,例如。以下代码段中的createP
。
但是,它的实现基于隐藏类型。隐藏,因为它在源中定义,通常可用作已编译的二进制文件,随时可以安装。每个这样的操作都依赖于指针类型转换。
我的用例简化如下:
#include <iostream>
using std::cerr;
#include <boost/shared_ptr.hpp>
/* defined in **public** api */
// _PUB_API_ {{{
typedef struct P P;
P* createP();
// }}} _PUB_API_
/* defined in **implementation** files, that are compiled to binary */
// HID_IMPL {{{
typedef struct P_ P_;
struct P_ {};
P* createP() { return (P*) new P_(); }
// }}} HID_IMPL
/* **Use case** */
int main(int argc, char *argv[])
{
P* p = createP();
if (p == NULL)
{ /* does not execute */
cerr << "Unable to create P" << '\n';
return 1;
}
typedef boost::shared_ptr<P> PpointerT;
//typedef boost::scoped_ptr<P> PpointerT;
PpointerT ptr = PpointerT(createP(), &deleteP); // compilation error
if (!ptr)
{
cerr << "Error creating shared pointer PpointerT" << '\n';
return 2;
}
cerr << "P created!" << '\n'
<< "PpointerT created!" << '\n';
return 0;
}
我想使用智能指针而不是原始指针。在这里,我陷入困境。因为,智能指针要求在实例化时完成类型(在使用checked_delete.hpp
的boost中实现)
我可能需要在类型P(可能是每个这样的类型)周围创建一个包装类,它使用构造函数,成员函数和析构函数来合理地创建,修改和销毁函数。 是否值得麻烦而不是继续使用原始指针?
还有其他方法可以解决图书馆施加的限制吗?
更新
上面的情况确实有一个shared_ptr库的解决方案,如答案所示,由@Richard提供。总而言之,构造函数需要一个删除类,它充当OpaqueType*
的破坏仿函数,例如:
// Update:PUB_API
void deleteP(P* p);
// Update:HID_IMPL
void deleteP(P* p) { delete (P*) p; } // I don't know if type casting
// here is necessary?
PpointerT ptr = Ppointer(createP(), &deleteP);
然后整个程序运行正常。确实满足了用例。
答案 0 :(得分:1)
您可以创建一个包装类来代替使用该库,该类在其构造函数中分配指针,并在其析构函数中释放它,并使用定义的强制转换操作符来轻松访问指针铸件。这是一个范围指针的作用,它实现起来相当简单。
示例:
#include <iostream>
class ScopedCharPointer
{
public:
ScopedCharPointer(size_t size);
~ScopedCharPointer();
operator char *();
private:
char *pointer;
};
ScopedCharPointer::ScopedCharPointer(size_t size) :
pointer(new char[size])
{
}
ScopedCharPointer::~ScopedCharPointer()
{
delete[] pointer;
}
ScopedCharPointer::operator char *()
{
return pointer;
}
int
main(void)
{
ScopedCharPointer example(100);
char *pointer = static_cast<char *>(example);
std::cout << static_cast<void *>(pointer) << std::endl;
return 0;
}
答案 1 :(得分:1)
这很简单,只要库也导出一个函数来销毁opaque类型。然后,您可以在智能指针的自定义删除器中使用此功能。
我在这里使用了std::
智能指针,但原则也在boost
中保留。
示例:
// included from library:
struct Foo;
Foo* make_foo();
void destroy_foo(const Foo*);
// your code:
auto my_foo_ptr = std::shared_ptr<Foo>(make_foo(), &destroy_foo);
// or unique_ptr:
auto unique_foo = std::unique_ptr<Foo, void(*)(const Foo*)>(make_foo(),
&destroy_foo);