为什么花括号后面不需要分号？

Question

我知道语句后面需要分号（我指的是 Java、C++ 和类似语言），但花括号后面不需要分号。为什么会这样呢？

if (a > b) 
  printf("hello!"); // semicolon is mandatory

if (a > b) {
  printf("hello!");
} // semicolon is not required

原因是什么？我的意思是，这背后的理论是什么？

Answer 1

因为大括号用于对语句进行分组，但它们本身并不是语句。

Answer 2

因为该语言被定义为：

statement:
    labeled-statement
    expression-statement
    compound-statement
    selection-statement
    iteration-statement
    jump-statement
    declaration-statement
    try-block

labeled-statement:
    identifier : statement
    case constant-expression : statement
    default : statement

expression-statement:
    expressionopt ; 

compound-statement:
    { statement-seqopt } 

statement-seq:
    statement
    statement-seq statement

selection-statement:
    if ( condition ) statement
    if ( condition ) statement else statement
    switch ( condition ) statement

condition:
    expression
    type-specifier-seq declarator = assignment-expression

iteration-statement:
    while ( condition ) statement
    do statement while ( expression ) ; 
    for ( for-init-statement conditionopt ; expressionopt ) statement

for-init-statement:
    expression-statement
    simple-declaration

jump-statement:
    break ;
    continue ;
    return expressionopt ; 
    goto identifier ; 

declaration-statement:
    block-declaration 

所有正常的控制语句都是相互递归构建的。真正的工作是由表达式语句完成的。如果您注意到表达式语句总是以;终止。其他需要注意的语句是跳转语句。

但主要原因是在 {} 块之后不需要它们来允许轻松解析语句。

Answer 3

撇开哲学推理不谈，在幕后，编译器知道在哪里将每个命令与下一个命令分开是至关重要的。括号本身就是分隔符，因此不需要分号。

Answer 4

大多数人认为语句是一个简单的命令，通常带有关键字和一些参数，例如“goto x”、“a=y+2”等。必须有一些指示一个语句结束而另一个语句开始的位置，就像英语句子需要以句点结尾一样。传统上，大多数语言的语法都需要在此类语句之后使用分号作为指示。

{ ... } “大括号对”是一个块，它是一种特殊的语句，但不需要分号，因为大括号使边界清晰。

许多语言也允许使用“;”单独表示空语句。为什么你需要一个？出于同样的原因，自然数系统需要“零”而不是“一”，并且集合可以为空。

但这意味着你可以写：

{ ... } ;

并且大多数语言编译器都接受它而不加注释。但您应该将其视为：

{  ... }
;

并且通常没有充分的理由这么写。

实际上，接受 {}（例如“空括号”）的语言不需要空语句 ;，因为它们在语义上是相同的。但语言设计者似乎仍固守传统；您是否注意到每种“现代”语言似乎都是 C 语言的糟糕语法副本？

Answer 5

这是一个公平的问题。块是一个语句。渴望一致性是很自然的，并且想知道为什么所有语句的终止方式不同。如果我们确实需要在块后添加 ; ，则不存在技术问题。但我们也很懒，因为 } 可以明确地标记语句的结束，所以我们不想键入另一个标记。

一个相关的观察：在 C++ 中，您必须以 ; 结束类声明，

class A
{
    ...
}; // the semicolon is mandatory!

这让很多人烦恼。分号是必需的，因为该语言允许在 } 之后添加一些其他内容，因此 } 不是可靠的结束标记。

在 Java 中，情况并非如此。 } 结束了类声明，仅此而已。所以不需要 ; 。

Answer 6

效果相同。

if (a > b) {
 printf("hello!");
}printf("Goodbye");

放入分号与去掉 printf("Goodbye") 部分的

Answer 7

如果您使用 C# 3+ 中的对象初始化语法，则括号后面会出现一个分号

var foo = new Foo
  {
    Bar = "Fizzbuzz"
  };

Answer 8

在这种情况下，大括号定义了一个语句块。就像任何其他块一样。当您要声明并初始化数组时，您必须提供 ;因为在这种情况下你正在写一份声明。

Answer 9

注意：这个答案特定于 C++ 语言，而不是 Java。

我想说，语言语法 (2003) 不需要分号。这就是语言定义语法的方式。

您编写的代码称为复合语句或块，语言规范 (2003) 在第 §6.3/1 节中将复合语句的语法定义为：

这样可以使用多个语句
在预期的地方，化合物
声明（也，等价地，
称为“块”）提供。

复合语句：  
             { 语句-seqopt }

语句序列：  
            陈述
            语句-seq语句

您在上面所示的语法中看到任何分号吗？不。这就是为什么代码中的大括号后面不需要分号。

Answer 10

在右花括号后面唯一需要分号的地方是在数组初始化之后，因为您可以继续该行，例如

int[] i= { 1,2,3}, j= {1};

需要分号，因为这里的“}”不会告诉编译器该行的结尾在哪里莱恩群岛

相似地

Runnable r = new Runnable() {
   public void run() {
   }
}, r2 = new Runnable() {
   public void run() {
   }
}; // required as you could define another Runnable or an array of Runnable.

Answer 11

因为 curly 不是语句，所以它用于对语句进行分组。它不需要终结者。

Answer 12

当您使用大括号括起代码块时，不需要分号：

namespace Some
{
  void fun(int i)
  { 
    while(i != 0)
    {
      cout<<"i = "<<i<<endl;
      i --;
    }  // semicolon not needed
  }  // semicolon not needed
} // semicolon not needed

在其他情况下，您需要分号（如初始化、声明等）：

struct A {
// ... declare members
}; // declaration; put semicolon
int a[] = {0, 1, 2};  // initialization; put semicolon