为什么有些行在 C# 中没有分号？

Question

我只是想弄清楚为什么在下面的某些行不以分号结尾但其他行以分号结尾的技术原因 - C# 在某些行中期望的分号是什么，然后在其他行中......

事实上，在写这篇文章时，我注意到必须有大括号 {} 的语句不需要分号，但在它自己的 "Console.WriteLine" 上的行确实需要它。

真的想找出技术原因……

即：

namespace checkPackage     **//no semicolon**
{
    class Program      **//no semicolon**
    {
        static void Main(string[] args)     **//no semicolon**
        {
            listFilesInDirectory(@"C:\Temp\");    **//NEEDS a semicolon**
        }

        static void listFilesInDirectory(string workingDirectory)   **//no semicolon**
        {
            string[] filePaths = Directory.GetFiles(workingDirectory);  **//NEEDS a semicolon**

            foreach (string filePath in filePaths)   **//no semicolon**
            {
                Console.WriteLine(filePath);  **//NEEDS a semicolon**
            }

        }
    }
}

Answer 1

分号不是 line 终止符...它是 statement 终止符。每个表达式语句和声明语句的末尾都有一个分号。

（if、for 等语句不是表达式或声明语句。）

例如：

public class Foo // Part of a class declaration
{
    int x = 0; // Declaration statement

    public void Bar() // Part of a method declaration
    {
        Console.WriteLine(x); // Expression statement (using an invocation expression)
    } // End of the method declaration, but not a declaration statement 

} // End of class declaration, but not a declaration statement

要求它们的目的是让编译器知道您何时想要结束语句而不是继续下一行：

 int x = 5;
 int y = x // This isn't the end of the statement!
         + 5; // This is...

另一种选择（例如 VB 使用的）是有一个续行，即使当前行是一个有效的语句，您也希望明确地继续到下一行。

如 cmets 中所述，do 语句在这里是异常的。我看不出这不应该是有效的明显原因：

do { } while (false)

...但事实并非如此。 可能与普通的 while 语句需要语句体这一事实有关，例如while (true);（空语句）或while (true) {}（块语句）。我能来的最接近的是“因为 C# 规范说 do 语句末尾需要一个分号......”

Answer 2

原因？因为the spec是这么说的：

语句可以由一行代码组成，以 分号或块中的一系列单行语句。一种 语句块括在 {} 括号中，可以包含嵌套 块。

foreach 定义后跟一个语句，该语句必须包含在 {} 中或以分号结尾。这个语句然后被称为循环体。

这可能不足以回答“为什么”这个问题。要深入了解这一点，您确实需要询问设计师。我想，他们想让它接近 C 语法，而不是换行符用于类似目的的其他语言。 (Python iirc)

如果您想要更正式的定义，请download the C# Language Specification 并阅读第 1.2 至 1.5 节。

Answer 3

statements 有两种，简单语句和复合语句。循环和方法声明是复合语句。每个简单语句都以分号结尾，但复合语句不以分号结尾。来自msdn

复合语句由用大括号 ({ }) 括起来的零个或多个语句组成。复合语句可用于任何需要语句的地方。复合语句通常称为“块”。

花括号指定复合语句的开始和结束。因此编译器查找花括号而不是分号来确定语句的开始和结束。