条件 C/C++ 结构定义

Question

我偶然发现了一些看起来像这样的代码：

typedef struct SomeStruct
{
    int foo;
    void * bar;
#if defined(__cplusplus)
    SomeStruct();
#endif
} SomeStruct;

它位于 .c 和 .cpp 文件都将包含的头文件中。这似乎至少在技术上违反了单一定义规则。我看到的明显影响是，如果在 .c 文件中声明了其中之一，则构造函数将不会运行。不幸的是，似乎有人将其用作声明结构的正确方法的模式，并且已经声明了几十个类似的结构。

我正试图弄清楚这是一个多么严重的问题。除了构造函数可能没有运行之外，还有其他可能的影响吗？构造函数在 .cpp 文件中实现。我看到了指向在 .c 文件（带有 malloc）中分配的结构的指针，这些结构被传递给 .cpp 文件中的函数。据我所知，它们似乎工作正常（使用 gcc/g++ 4.6.2 为 Suse Linux 编译，如果这很重要）。如果还添加了虚拟成员函数，会有什么问题吗？目前，这些类的 cplusplus 部分中除了默认构造函数之外没有任何内容，如上所示。

Answer 1

这并不完全违反 ODR。非正式地，C 编译器看到一个 POD 类型，而 C++ 编译器看到全局命名空间中的一个类，它将成为一个名称混乱的实体。更重要的是，该结构仅针对 C 和 C++ 编译器的声明不同，但它仅在 C++ 源文件中定义一次。很可能在 C++ 源文件中有一些分配和释放函数，它们将构造函数/析构函数暴露给 C API。例如，

头文件

$ cat some_struct.h 
#ifndef SOME_STRUCT_H
#define SOME_STRUCT_H

typedef struct SomeStruct {
    int foo;
    void *var;
#if defined(__cplusplus)
    SomeStruct();
#endif
} SomeStruct;

#if defined(__cplusplus)
extern "C" {
#endif

SomeStruct *some_struct_malloc();
void some_struct_free(SomeStruct **);

#if defined(__cplusplus)
} // extern "C"
#endif

#endif // SOME_STRUCT_H

C++ 源文件

$ cat some_struct.cpp 
#include "some_struct.h"
#include <cstddef>

SomeStruct::SomeStruct()
{
    foo = 10;
    var = NULL;
}

SomeStruct *some_struct_malloc() { return new SomeStruct; }

void some_struct_free(SomeStruct **pp)
{
    if (*pp)
        delete *pp;
    *pp = NULL;
}

C 源文件：

$ cat main.c 
#include "some_struct.h"
#include <stdio.h>

int main()
{
    SomeStruct *p = some_struct_malloc();
    printf("%d\n", p->foo);
}

我会说这是一种糟糕的风格。但它是一种将 C++ 库公开给 C API 的便捷方式