在 C++ 为什么语言不强制对类/结构的公共、私有和受保护成员进行分组？

Question

是否只允许逻辑分组？

Answer 1

它给你灵活性。 例如，您可能有一堆构造函数，一些是公共的，一些是受保护的，一些是私有的 - 难道您不希望它们全部组合在一起吗？

Answer 2

你为什么要强迫它？ 它对编译器没有任何帮助，客观上也不会让人们更容易阅读。 C/C++ 哲学的一部分是，该语言不会制定无法实现某种特性/功能的任意规则。

它确实使代码生成变得更加容易。 许多编码风格在每个类中多次使用访问说明符 - 首先定义所有局部类型，然后是所有构造函数，然后是所有方法，然后是所有实例变量，等等...

C++ 给了你足够的绳索搬起石头砸自己的脚，但正是这种灵活性让您可以构建优雅、可维护且抽象化的应用程序。

Answer 3

我认为你是对的。 不强制使用它可以让用户按照他们认为合适的方式对事物进行分组，以获得更好的代码可读性。

编译器可能会在内存中以不同的方式组织事物。

编辑：根据规范：

§9.2第12条（1998年和2003年标准）：

在没有介入访问说明符的情况下声明的（非联合）类的非静态数据成员是分配以便后来的成员在类对象中具有更高的地址。 由访问说明符分隔的非静态数据成员的分配顺序未指定 (11.1)。 实现对齐要求可能会导致两个相邻成员不能立即分配； 管理虚拟函数 (10.3) 和虚拟基类 (10.1) 的空间要求也可能如此。

我在 一个相关的SO问题

Answer 4

我的猜测是，它是 C 哲学的产物，它假设您知道自己在做什么并为您提供最大的灵活性。 这就像在 if 语句中允许使用单个 = 一样。

Answer 5

实际上，我以一种有点不愉快的方式利用了这一点：我经常使用的代码习惯用法是具有公共访问器函数的私有成员。

我有一个宏（不寒而栗），它可以从一行自动生成这些内容。

示例：

PROPERTY(int, MyVal);

...生成：...

private:
  int fMyVal;
public:
  void setMyVal(const int f) { fMyVal = f; };
  int getMyVal() { return fMyVal; };

只要您记住 PROPERTY 宏会切换当前的可见性，这就可以正常工作，这并不令人愉快...

例如：

protected:
  int v1;
  PROPERTY (int, v2) // fv2 is  private with public accessors
  int v3;  // whoops. f3 is public,

Answer 6

Stroustrup 在《C++ 编程语言，第 3 版》中表示，这是为了使代码生成更容易。

尽管实际二进制文件中每个字段的位置基于该字段在源代码中声明的顺序确实有意义，因此这允许某人保持与 C 甚至其他语言/规范的某种布局兼容性。