编辑“︁C++ 与 C 结构体”︁

= C++与C结构体 =

== 介绍 ==
在混合编程环境中，C++与C结构体的交互是一个常见需求。由于C语言是C++的子集，C++兼容大多数C特性，但两者在内存布局、命名空间和类型安全等方面存在差异。本节将详细讨论如何在C++代码中安全地使用C结构体，包括数据兼容性、内存对齐和跨语言调用等关键问题。

C结构体（'''struct'''）是C语言中组织数据的核心方式，而C++在此基础上扩展了成员函数、访问控制等面向对象特性。当需要在两种语言间传递结构体时，必须确保：
* 内存布局一致性
* 名称修饰（Name Mangling）处理
* 类型转换规则

== 基础兼容性 ==

=== 内存布局 ===
C与C++结构体的内存布局在以下条件下完全一致：
* 不使用C++特有特性（如虚函数、继承）
* 保持相同的成员声明顺序
* 处理相同的对齐方式（可通过<code>#pragma pack</code>控制）

<mermaid>
flowchart LR
    A[C结构体] -->|相同成员顺序| B[C++结构体]
    B -->|无虚函数/继承| C[二进制兼容]
</mermaid>

=== 示例：基本结构体传递 ===
以下示例展示如何在C++中直接使用C定义的结构体：

<syntaxhighlight lang="c">
// C头文件 example.h
#ifdef __cplusplus
extern "C" {
#endif

typedef struct {
    int x;
    double y;
} Point;

#ifdef __cplusplus
}
#endif
</syntaxhighlight>

<syntaxhighlight lang="cpp">
// C++文件
#include "example.h"

void process_point(Point p) {
    std::cout << "Point: (" << p.x << ", " << p.y << ")\n";
}

int main() {
    Point p = {10, 3.14};
    process_point(p);
}
</syntaxhighlight>

'''输出：'''
<pre>
Point: (10, 3.14)
</pre>

关键点说明：
1. <code>extern "C"</code>防止C++的名称修饰
2. 结构体在两种语言中具有相同的内存表示
3. C++可以直接访问C结构体的公有成员

== 高级主题 ==

=== 内存对齐控制 ===
跨语言结构体必须处理不同编译器的默认对齐方式。常用方法：

{| class="wikitable"
|+ 对齐控制方法对比
! 方法 !! 说明 !! 示例
|-
| <code>#pragma pack</code> || 编译器指令强制对齐 || <code>#pragma pack(1)</code>
|-
| <code>alignas</code> (C++11) || 类型级对齐控制 || <code>struct alignas(8) Data {...}</code>
|-
| 手动填充 || 显式添加填充字段 || <code>char _padding[3];</code>
|}

=== 复杂结构体示例 ===
处理包含指针和数组的结构体时需特别注意生命周期管理：

<syntaxhighlight lang="c">
// C端定义
typedef struct {
    char name[32];
    int* values;
    size_t count;
} DataBuffer;
</syntaxhighlight>

<syntaxhighlight lang="cpp">
// C++端使用
extern "C" void process_buffer(DataBuffer* buf);

void safe_wrapper() {
    DataBuffer buf{};
    std::strcpy(buf.name, "example");
    
    std::vector<int> temp = {1, 2, 3};
    buf.values = temp.data();
    buf.count = temp.size();
    
    process_buffer(&buf);  // 必须保证temp存活
}
</syntaxhighlight>

== 实际应用案例 ==

=== 案例：图形库交互 ===
许多图形库（如OpenGL）使用C结构体作为参数。典型交互模式：

<mermaid>
sequenceDiagram
    participant C++ as C++应用
    participant C as C图形库
    C++->>C: 创建Vertex结构体
    C->>C++: 返回Buffer对象
    C++->>C: 传递结构体数组
    C->>C++: 渲染结果
</mermaid>

实现代码片段：
<syntaxhighlight lang="cpp">
struct Vertex { float x, y, z; };

extern "C" {
    void upload_mesh(Vertex* vertices, int count);
}

void prepare_data() {
    std::vector<Vertex> mesh = {{0,0,0}, {1,0,0}, {0,1,0}};
    upload_mesh(mesh.data(), mesh.size());
}
</syntaxhighlight>

== 注意事项 ==

* '''类型安全'''：C++中建议用<code>static_assert</code>验证结构体大小：
  <syntaxhighlight lang="cpp">
  static_assert(sizeof(Point) == 16, "Unexpected struct size");
  </syntaxhighlight>

* '''C++17扩展'''：考虑使用<code>std::byte</code>处理二进制数据
* '''跨平台问题'''：不同系统可能对基本类型大小定义不同（如long在Linux/Win64差异）

== 数学表示 ==
当需要精确计算结构体大小时，可用公式：

<math>
\text{总大小} = \sum_{i=1}^{n} \left( \text{成员大小}_i + \text{填充}_i \right)
</math>

其中填充字节数由对齐要求决定：

<math>
\text{填充}_i = \left( \text{align} - (\text{offset} \bmod \text{align}) \right) \bmod \text{align}
</math>

== 总结 ==
C++与C结构体交互的核心在于保证二进制兼容性。通过：
1. 使用<code>extern "C"</code>维持名称兼容
2. 控制内存布局和对齐
3. 谨慎处理指针和资源生命周期
开发者可以构建稳定的混合语言系统。对于现代C++项目，建议逐步将C结构体封装为具有类型安全的C++类。

[[Category:编程语言]]
[[Category:C++]]
[[Category:C++ 与 C 交互]]