类声明大括号后的分号

Question

在 C++ 类中，为什么右大括号后面有分号？ 我经常忘记它并出现编译器错误，因此浪费了时间。 对我来说似乎有些多余，但事实并非如此。 人们真的会做这样的事情吗：

class MyClass
{
.
.
.
} MyInstance;

我从结构和枚举的 C 兼容性角度得到它，但由于类不是 C 语言的一部分，我猜它主要是为了保持类似声明结构之间的一致性。

我所寻找的更多的是与设计原理相关，而不是能够改变任何东西，尽管一个好的代码完成 IDE 可能会在编译之前捕获这个问题。

Answer 1

struct fred { int x; long y; }; 
main() 
{ 
  return 0; 
} 

旧版本的 C 具有来自函数的隐式 int 返回类型，除非另有声明。 如果我们省略结构定义末尾的 ;，我们不仅定义了一个新类型 fred，而且还声明了 main() 将返回 fred 的实例。 即代码将被解析如下：

struct fred { int x; long y; } main()
{ 
  return 0; /* invalid return type, expected fred type */
} 

Answer 2

语言要求类型声明中右大括号后面的分号。 从最早的 C 版本开始就是这样。

是的，人们确实会执行您刚刚在那里发布的声明。 它对于在方法内部创建作用域类型很有用。

void Example() {
  struct { int x; } s1;
  s1.x = 42;

  struct ADifferentType { int x; };
}

在这种情况下，我认为为什么需要分号就很清楚了。 至于为什么在头文件中声明的更一般情况下需要它，我不确定。 我的猜测是，它是历史性的，这样做是为了让编译器的编写更容易。

Answer 3

我想这是因为类是声明，即使它们需要大括号进行分组。 是的，有一个历史论点，因为在 C 中你可以做

struct
{
  float x;
  float y;
} point;

你应该在 C++ 中做类似的事情，所以 class 声明以相同的方式运行是有意义的。

Answer 4

它是

class MyClass
{
.
.
.
};

// instance declaration
MyClass MyInstance;  // semicolon here

类声明大括号后面的分号的缩写，实际上有些过分，但这就是 C++ 的定义方式。 变量声明后的分号总是需要的并且有意义。

Answer 5

我不使用这样的声明

class MyClass
{
.
.
.
} MyInstance;

，但在这种情况下我可以理解为什么有分号。
因为它就像 int a; - 变量声明。

可能是为了保持一致性，因为您可以省略“MyInstance”分号。

Answer 6

在 C/C++ 中； 是一个语句终止符。
所有语句均以 ; 终止 以避免歧义（并简化解析）。
语法在这方面是一致的。
即使类声明（或任何与此相关的块）
有多行长并且是
用 {} 分隔，它仍然只是一个语句（{ } 是语句的一部分）
因此需要以 ; 终止 （ ; 不是分隔符/定界符）

在您的示例中

class MyClass{...} MyInstance;

是完整的语句。
人们可以在一条语句中定义所声明类的多个实例

class MyClass{...} MyInstance1, MyInstance2;

这与在一条语句中声明基元类型的多个实例完全一致：

int a, b, c;

人们不经常看到类和实例的这种声明的原因是实例只能？ 是一个全局变量，并且您并不经常需要全局对象，除非它们是静态和/或普通旧数据结构。

Answer 7

出于兼容性原因，在 struct 之后需要它，您希望这样：

struct MyStruct { ... };
class  MyClass  { ... }    //inconsistency

Answer 8

我们可以定义一个class Something {...}accum, trans;，其中accum和trans可以是something类的两个对象。 因此，为了声明类的对象，我们在类后面使用分号。