在C++编程世界中，一个长期困扰初学者的经典问题是：既然struct和class几乎一模一样，为什么语言还要同时保留这两个关键字？这个问题在Stack Overflow上引发过数千次讨论，也常常成为面试中的“送命题”。事实上，这对“双胞胎”背后隐藏着C++设计哲学的深刻考量。

历史渊源：从C语言继承的“基因”

要理解这个问题的答案，需要回溯到C++的诞生背景。1983年，Bjarne Stroustrup在C语言基础上创建了“带类的C”（C with Classes），后来演变为C++。C语言已经拥有struct关键字，用于定义由多个成员组成的数据结构。Stroustrup希望保留对C语言的完全向后兼容，因此决定保留struct，同时引入class关键字来表示具有封装和继承特性的完整面向对象类型。

“如果不保留struct，所有现有的C代码都无法在C++中编译，这无疑会扼杀新兴的语言。”C++标准委员会成员Herb Sutter在早年的技术访谈中解释过这一设计决策。事实证明，这种兼容策略非常成功，C++迅速成为系统编程和嵌入式领域的主流语言。

表面的“相同”：几乎一样的语法结构

从语法角度看，struct和class在C++中确实差异极小。两者都可以包含数据成员、成员函数、构造函数、析构函数、访问说明符（public、protected、private），甚至都能作为模板参数。唯一区别在于默认访问权限和默认继承方式：

  • struct：成员默认是public，继承默认是public
  • class：成员默认是private，继承默认是private

换句话说，以下两段代码在行为上完全等价：

struct Point { int x; int y; };
class Point { public: int x; int y; };

这种微小差异让许多程序员认为struct只是class的语法糖，甚至有人主张C++应该废弃struct。但事情远没有那么简单。

深层差异：设计意图与文化约定

尽管语言本身对两者几无差别，但C++社区形成了约定俗成的使用风格：

  • struct：用于表示具有公开数据成员的简单聚合类型，通常不包含复杂逻辑。例如数学向量、颜色值、配置参数等。开发者期望直接访问成员，而不需要getter/setter。

  • class：用于表示具有封装性、继承和多态性的复杂对象。成员通常私有，通过公共接口提供访问，体现了“数据抽象”和“信息隐藏”的核心思想。

这种约定并非强制，却在实际开发中形成了强大的文化规范。Google C++编程规范明确指出：“对于纯粹的数据容器，使用struct；对于需要封装行为的对象，使用class。”许多开源项目也遵循着类似的规则。

不可忽视的技术细节：POD与布局兼容性

除了设计意图，struct和class在C++的底层内存布局规则上还有一个关键区别——虽然当前标准已经大幅弱化了这一差异，但历史遗留影响仍在。在C++11之前，struct被认为是“普通旧数据”（POD，Plain Old Data）的理想载体，更容易与C代码互操作。尽管如今两者都可以作为POD类型，但开发者仍然习惯用struct来定义与C库交互的数据结构。

C++标准还规定，struct和class在内存布局上必须保持与C兼容（当满足特定条件时）。这意味着如果你用struct定义了一个类型，其他语言（如C或Python的ctypes）可以直接读取其二进制布局，而无需关心C++的虚函数表等额外开销。

共存而非冗余：语言设计中的务实主义

从语言设计的角度看，同时保留struct和class并不是冗余，而是一种务实的选择。它让C++既能无缝融入C生态，又能提供完整的面向对象特性。这种“双轨制”也体现了C++的多范式语言定位——程序员可以根据需要选择最适合的编程风格。

另一个有趣的视角来自模板编程：由于struct和class在模板中的语法规则相同，你可以写出“模板元编程”中常见的技巧——用struct定义元函数，用class定义类型特征。虽然这只是一种编码习惯，但进一步分化了两者的使用场景。

未来展望：会合并吗？

随着C++标准的演进，委员会对struct和class的态度始终是“维持现状”。C++20引入了模块、概念等重磅特性，但并未对这两个关键字做出任何修改。理由很简单：修改或废弃struct会破坏数以亿计行数的C++代码，而保留它几乎没有任何维护成本。

正如C++之父Bjarne Stroustrup在《C++程序设计语言》中所言：“语言设计没有完美的答案，只有合理的权衡。struct和class的共存，正是这种权衡的最佳体现。”

所以，当你下次在代码中纠结该用struct还是class时，不妨想想它们背后的故事。这不是一个对错问题，而是一个风格与上下文的问题。最关键的是，理解它们的微小差异，并准确传达你的设计意图——这才是资深C++程序员真正的智慧所在。