C++结构体成员函数与类的共通点

C++中struct和class本质区别仅在于默认访问权限：struct成员默认public，class默认private。两者均支持成员函数、构造析构函数、继承与多态，语法和内存布局无差异，函数不占对象内存，仅数据成员影响大小。选择使用取决于语义意图：struct常用于数据聚合，class用于封装行为和状态保护。

C++中的结构体（struct）和类（class）在能够包含成员函数这一点上，本质上几乎没有区别。它们都能定义数据成员和行为（即成员函数），核心的差异仅仅在于默认的成员访问权限不同。

说白了，你用struct能做的事，用class也基本能做到，反之亦然。它们都支持定义构造函数和析构函数，这对于对象的生命周期管理至关重要。你可以在struct里写一个复杂的构造函数，初始化成员，甚至抛出异常，这和class的行为完全一致。同样，虚函数、继承这些面向对象的核心特性，struct也一个不落地支持。这意味着，你可以让一个struct作为基类，让另一个struct或者class去继承它，实现多态行为。在我看来，C++设计者在这一点上保持了高度的一致性，避免了不必要的概念分裂，这让语言在处理复杂数据结构和行为时显得更为灵活。我个人觉得，当你看到一个struct里有成员函数时，它已经不再是C语言里那种纯粹的数据集合了，它拥有了“行为”，这本身就是迈向面向对象的一大步。

C++为何同时保留struct与class关键字，二者实际差异何在？

这个问题其实挺有意思的。从历史角度看，struct是C语言的遗产，它最初就是为了聚合数据而存在的。当C++诞生时，为了保持与C的兼容性，struct被保留了下来。但C++赋予了struct更强大的能力，让它能像class一样拥有成员函数、访问权限控制等等。所以，它们之间唯一的、也是最本质的语法层面的区别，就在于默认的成员访问权限：struct的成员默认是public的，而class的成员默认是private的。

举个例子，如果你定义一个struct MyStruct { int x; };，那么x默认就是public的，你可以直接通过MyStruct obj; obj.x = 10;来访问。但如果你定义一个class MyClass { int x; };，那么x默认就是private的，你直接访问会报错，需要通过public的成员函数来间接访问。

这种差异更多地体现在“意图”上。当我们看到一个struct时，我们通常会默认它是一个数据容器，里面的东西可能更倾向于直接暴露或者说其内部状态是相对简单的。而看到class时，我们则会预期它是一个封装性更强的实体，其内部状态往往是需要保护和管理的。这种约定俗成的用法，其实比语法上的差异本身更重要。

实际开发中，何时选用struct，何时选用class？

选择struct还是class，这往往不是一个技术难题，而更多是一个风格和意图的表达。我个人在项目里，通常会遵循一些约定俗成的“最佳实践”：

1. 数据聚合（PODs）或简单数据结构： 如果我只是想把几个数据项捆绑在一起，没有复杂的行为、不涉及内部状态的严格封装，比如一个点（struct Point { int x, y; };）或者一个简单的配置项，我倾向于使用struct。这种情况下，它的默认public访问权限恰好符合我的意图，代码也显得更简洁。
2. 行为封装与对象： 当我需要定义一个具有明确职责、内部状态需要保护、并提供一系列操作（成员函数）来管理这些状态的“对象”时，我一定会选择class。比如一个用户管理类、一个文件操作类、一个数据库连接池。class默认的private权限强制我思考哪些是内部实现细节，哪些是提供给外部的接口，这有助于设计出更健壮、更易维护的代码。
3. 继承体系： 在构建复杂的继承体系时，class的使用更为普遍，因为它更强调封装和多态的行为。虽然struct也能做，但从语义上讲，class更能表达“这是一个对象家族”的含义。

说白了，struct更多地是“有什么”，而class更多地是“能做什么”和“如何保护自己”。当然，这并非铁律，你完全可以用struct来写一个复杂的、有虚函数、有私有成员的类，但那可能会让读你代码的人感到一丝困惑，因为这偏离了大家的普遍预期。

结构体成员函数与类成员函数在定义及内存布局上是否存在差异？

关于成员函数的定义，无论是struct还是class，语法上是完全一样的。你可以在结构体内部直接定义成员函数，也可以在外部使用作用域解析运算符::来定义。例如：

struct MyStruct {
    int data;
    void print() { // 内部定义
        // ...
    }
};

class MyClass {
    int data;
public:
    void print(); // 声明
};

void MyClass::print() { // 外部定义
    // ...
}

这方面，两者没有任何区别。

至于内存布局，这也是一个常见的误解。一个struct的实例和一个class的实例，如果它们拥有相同的非静态数据成员，那么它们的内存布局在大多数情况下是完全相同的。成员函数本身并不存储在对象的内存空间中。函数代码是编译后存储在程序的代码段（text segment）中的，所有同一类型的对象共享同一份成员函数的代码。当你调用一个对象的成员函数时，编译器会隐式地传递一个指向当前对象的指针（this指针），通过这个this指针，成员函数才能访问到特定对象的数据成员。

所以，无论是struct还是class，其对象的大小只取决于其非静态数据成员的大小、虚函数表指针（如果存在虚函数）以及编译器可能为了对齐而添加的填充字节。成员函数的存在与否，或者其数量多少，并不会直接影响单个对象实例的内存大小。这是一个非常重要的概念，理解了它，就能更清晰地认识到C++中对象和行为的分离机制。