c++ - 是否可以在不修改 C++ 的情况下使用 C11 原子包含 C header ？

Question

我正在尝试编写使用 this C library在 C++ 应用程序中未经修改。它使用 C11 原子。

考虑以下程序，我们可以将其放入名为 main.cc 的文件中。

#include "mpscq.h"


int main(){}

如果我用 g++ -std=c++11 -c main.cc 编译它，我会得到一整套错误，如下所示。

usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdatomic.h:68:9: error: ‘_Atomic’ does not name a type
 typedef _Atomic __UINT_FAST32_TYPE__ atomic_uint_fast32_t;
         ^
/usr/lib/gcc/x86_64-linux-gnu/4.9/include/stdatomic.h:69:9: error: ‘_Atomic’ does not name a type
 typedef _Atomic __INT_FAST64_TYPE__ atomic_int_fast64_t;

是否可以在不修改库代码的情况下修复这些错误？

也就是说，我愿意在我的 C++ 代码或我的编译器标志中使用任何需要的魔法咒语，但我宁愿不更改库代码。

我看过this answer但需要修改头文件。

Answer 1

Is it possible to fix these errors without any modification to the library code?

C++ 没有 _Atomic 类型限定符，但在库头中声明的结构有成员，包括第一个，具有 _Atomic 限定类型。 C++ 不会接受这一点(将 header 包含在 extern "C" block 中也无济于事)。

C 允许 _Atomic 限定类型的对象与同一类型的非 _Atomic 版本的对象具有不同的表示形式，所以在一般意义上，这意味着C++ 不能直接访问该结构的任何实例的任何成员。

如果您的 C 实现恰好对相应的 _Atomic 和非 _Atomic 类型使用相同的表示，那么您可以让您的 C++ 编译器通过 #define 将符号 _Atomic 设置为空字符串，但这会导致更细微的错误。您不能期望 C++ 提供库期望的原子访问语义，因此即使在这种情况下，C++ 也无法(直接)安全地访问结构的成员。

如果仅通过提供的函数操作struct 的实例就足够了，那么您可以通过不透明指针来实现。创建一个提供结构前向声明但没有定义的 header 版本，并提供所有函数声明(使用 C 链接)。您的 C++ 代码应该接受 header 并能够调用函数，接收和返回指向结构实例的指针，它绝不能尝试取消引用。

#ifndef __MPSCQ_H
#define __MPSCQ_H

#ifdef __cplusplus
extern "C" {
#endif

struct mpscq;

struct mpscq *mpscq_create(struct mpscq *n, size_t capacity);
// other functions ...

#ifdef __cplusplus
}
#endif

#endif

如果您需要的不仅仅是现有函数所提供的，那么您将需要用 C 语言编写额外的辅助函数。