1. 结构体基础概念回顾

结构体（struct）是C/C++中用于组织相关数据的复合数据类型。它允许我们将不同类型的数据项组合成一个逻辑单元，这在处理复杂数据结构时尤为有用。让我们先看看C语言中结构体的基本形态：

struct Student { char name[50]; int age; float score; };

这个简单的结构体定义包含了三个不同类型的成员：字符数组、整型和浮点型。在C语言中，结构体纯粹是数据的集合，没有任何附加功能。

C++虽然保留了C风格结构体的全部特性，但赋予了它更多面向对象的特性。在C++中，同样的结构体可以这样定义：

struct Student { string name; int age; float score; void printInfo() { cout << "Name: " << name << ", Age: " << age << ", Score: " << score; } };

这里已经能看到几个关键区别：使用了C++的string类替代字符数组，并且直接在结构体内部定义了成员函数。这种差异看似微小，实则反映了两种语言完全不同的设计哲学。

提示：在C++中，struct和class的唯一区别就是默认访问权限不同（struct默认为public，class默认为private）。这意味着C++的结构体完全可以拥有构造函数、析构函数、继承等面向对象特性。

2. 内存布局与对齐规则对比

2.1 C结构体的内存布局

C语言结构体的内存布局完全由成员声明顺序决定，编译器只会在必要时插入填充字节以满足对齐要求。例如：

struct Example { char a; // 1字节 int b; // 通常4字节 double c; // 通常8字节 };

在32位系统上，这个结构体的大小可能是16字节（1+3填充+4+8）。我们可以使用sizeof和offsetof宏来验证：

printf("Size: %zu\n", sizeof(struct Example)); printf("Offset of b: %zu\n", offsetof(struct Example, b));

2.2 C++结构体的内存复杂性

C++结构体由于支持继承、虚函数等特性，其内存布局更加复杂。考虑以下例子：

struct Base { int x; virtual void foo() {} // 添加虚函数 }; struct Derived : public Base { int y; void foo() override {} };

这种情况下，结构体开头会多出一个虚表指针（vptr），用于支持运行时多态。使用sizeof会得到比预期更大的值，因为包含了虚表指针的开销。

注意：C++11引入的alignas关键字和alignof操作符可以更精细地控制对齐方式，这是C语言所不具备的特性。

3. 构造函数与初始化方式差异

3.1 C结构体的初始化

C语言结构体只能进行简单的初始化，常见方式有：

// 方式1：声明时初始化 struct Point { int x, y; } p1 = {10, 20}; // 方式2：后续初始化 struct Point p2; p2.x = 10; p2.y = 20; // 方式3：使用复合字面量(C99) struct Point p3 = (struct Point){.x=10, .y=20};

3.2 C++结构体的构造方式

C++结构体支持完整的构造函数机制：

struct Point { int x, y; // 默认构造函数 Point() : x(0), y(0) {} // 带参数构造函数 Point(int x, int y) : x(x), y(y) {} // 拷贝构造函数 Point(const Point& other) : x(other.x), y(other.y) {} // 移动构造函数(C++11) Point(Point&& other) noexcept : x(std::move(other.x)), y(std::move(other.y)) {} }; // 初始化方式 Point p1; // 默认构造 Point p2(10, 20); // 带参构造 Point p3 = p2; // 拷贝构造 Point p4 = std::move(p3); // 移动构造

C++11还引入了统一的初始化语法：

Point p5{10, 20}; // 直接列表初始化 Point p6 = {10, 20}; // 拷贝列表初始化

4. 成员函数与访问控制

4.1 C结构体的函数关联

C语言中结构体不能包含函数，只能通过外部函数操作结构体：

struct Rectangle { float width, height; }; float area(struct Rectangle r) { return r.width * r.height; }

这种方式将数据与操作分离，容易导致命名冲突和代码组织混乱。

4.2 C++结构体的成员函数

C++结构体可以包含成员函数，实现数据与行为的封装：

struct Rectangle { float width, height; float area() const { return width * height; } void scale(float factor) { width *= factor; height *= factor; } };

C++结构体还支持访问控制（虽然struct默认所有成员都是public的）：

struct BankAccount { private: double balance; public: void deposit(double amount) { balance += amount; } double getBalance() const { return balance; } };

5. 继承与多态能力对比

5.1 C模拟继承

C语言没有原生继承支持，但可以通过结构体嵌套模拟：

struct Base { int x; }; struct Derived { struct Base base; int y; }; // 使用时需要显式转换 struct Derived d; d.base.x = 10; d.y = 20;

这种方式笨拙且类型不安全，无法实现真正的多态。

5.2 C++原生继承

C++结构体支持完整的继承体系：

struct Shape { virtual double area() const = 0; virtual ~Shape() {} }; struct Circle : Shape { double radius; Circle(double r) : radius(r) {} double area() const override { return 3.14159 * radius * radius; } }; struct Square : Shape { double side; Square(double s) : side(s) {} double area() const override { return side * side; } };

这使得我们可以实现真正的运行时多态：

void printArea(const Shape& shape) { cout << "Area: " << shape.area() << endl; } Circle c(5.0); Square s(4.0); printArea(c); // 输出圆的面积 printArea(s); // 输出正方形的面积

6. 类型系统与模板支持

6.1 C结构体的类型限制

C语言中结构体类型系统相对简单：

struct A { int x; }; struct B { int x; }; // 即使结构体内容相同，A和B也是不兼容的类型 struct A a; struct B b = a; // 编译错误

C语言也没有模板支持，需要为不同类型编写重复代码。

6.2 C++结构体的模板能力

C++结构体可以作为模板类使用：

template <typename T> struct Box { T content; void set(const T& value) { content = value; } T get() const { return content; } }; Box<int> intBox; Box<string> strBox;

C++还支持结构体类型之间的隐式转换（如果定义了适当的构造函数或转换运算符）：

struct Inches { float value; Inches(float v) : value(v) {} }; struct Centimeters { float value; Centimeters(Inches in) : value(in.value * 2.54f) {} }; Inches len1(12.0f); Centimeters len2 = len1; // 自动转换

7. 实际项目中的选择建议

经过上述对比，我们可以得出一些实践建议：

1. 纯C环境：只能使用C风格结构体，注意内存布局和对齐问题。大型项目可以考虑使用"opaque pointer"模式实现封装。

2. C++项目：

   • 需要简单数据聚合时：使用struct
   • 需要复杂行为封装时：考虑使用class
   • 需要与其他C代码交互时：使用POD（Plain Old Data）结构体

3. 性能关键代码：

   • C结构体通常更轻量
   • C++结构体的虚函数会带来额外开销
   • 但C++的模板可以生成优化更好的代码

4. 跨语言交互：

   • 确保结构体是POD类型
   • 避免使用虚函数、继承等C++特性
   • 显式控制内存对齐

我在实际项目中发现，很多C++开发者低估了struct的能力，总是习惯性地使用class。其实对于简单的数据载体，使用struct能让代码更清晰。特别是在模板元编程中，struct常常是更好的选择，因为它的默认public访问权限更适合用于traits和policy类。