c++ - 在 C++ 中处理 C 库匿名结构类型

Question

我们有一个大型、旧的 C++ 应用程序，其中包含大量遗留代码和一些用 C 编写的外部库。这些库很少更新——只有在我们发现错误并且供应商提供补丁时才会更新。上周在一个库中发生了这种情况，在集成新版本后，我们发现如果我们不在本地修改库(我们显然对上一个版本做了修改)，我们的构建就会中断并显示以下错误消息:

non-local function ‘static E* MyCls::myFct(<anonymous struct>*)’ uses anonymous type

这是由于库声明了许多这样的句柄类型:

#define _Opaque struct {unsigned long x;} *

typedef _Opaque    Handle;
typedef _Opaque    Request;

我们在某些类的函数签名中使用:

class MyCls {
public:
    static void* myFct(Handle handle);
    ...
}

这会产生上述错误，因为编译器无法为函数创建一个正确的名称混淆名称，因为 _Opaque 结构没有名称。

我们目前的解决方法是修补库头文件，明确地为结构命名:

//#define _Opaque struct {unsigned long x;} * //Replaced by typedef below!
typedef struct __Opaque {unsigned long x;} * _Opaque;

这显然很糟糕，因为如果可能的话我们不想碰图书馆。另一个更糟糕的选择是将所有函数签名中的类型转换为 void* 并将它们转换回各自的类型。在纯 C 中重写每个受影响的函数是最糟糕的选择...

所以，我的问题是:有没有比修补库更好的选择？我忽略了一个简单的解决方案吗？解决此问题的最佳方法是什么？

Answer 1

您可以通过对 #define 行进行最小的更改来完成此操作，利用 7.1.3:8 中的规则，声明声明的第一个 typedef-name 是 该类类型(或枚举类型)仅用于表示用于链接目的的类类型(或枚举类型):

#define MAKE_DUMMY2(line) dummy_ ## line
#define MAKE_DUMMY(line) MAKE_DUMMY2(line)
#define _Opaque struct {unsigned long x;} MAKE_DUMMY(__LINE__), *

这为 Handle 和 Request 等提供了最小的链接。