可选分号

通常，在通用命令式语言中，分号作为语句分隔符是必需的，或者是完全不允许使用的（例如C和Python）。

但是，某些语言（例如JavaScript）允许您选择不使用分号来分隔语句，而支持其他分隔符（例如换行符）。

这背后的设计决策是什么？我知道在同一行上编写多个语句时，分号是必不可少的，但是还有其他理由使分号成为强制性的（除了C之后）？

使它们成为强制性的（或完全禁止它们）可以减少极端情况的发生，消除潜在的晦涩错误，并简化编译器/解释器的设计。

选择使它们成为可选语言的语言设计师选择忍受歧义，以换取更大的语法灵活性。

JavaScript向我们展示了这是一个非常糟糕的主意。例如：

return
0;

在C中，它返回的值为0。在JavaScript中，这是返回的，undefined因为在return语句之后插入了分号，除非您碰巧知道自动分号的插入细节，否则代码中断的原因并不清楚。

它在某种程度上简化了语法和解析器，使分号成为必需。从本质上讲，它允许词法分析器转储包括换行符在内的所有空白，并且解析器根本不必担心它。

另一方面，一旦您开始想告诉解析器有关空格的信息，将分号设为可选就不难了。您通常可以将它们与whitespace令牌一起打包，并且解析器可以很好地处理它。

例如，尝试将分号插入以下一系列C语句中。

functionCall(3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

尽管有一些古怪的事情您不再可以做，例如while(1);，但现代解析技术相对容易地确定没有特定分隔符的语句在何处结束。即使您仍然想允许使用这些奇怪的东西，也可以使newline_or_semicolon非终结符变得不那么困难。

分号在语法中很有用，有两个原因。首先，它使您可以将长语句分成多行，而不必使用令人讨厌的连续字符（我在说的是Fortran和Basic）。其次，让语法分析器有一种方法可以在语法由于拼写错误而真正复杂化时“放弃”解析。仿照Karl Bielefeldt的例子，

functionCall(3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

假设您输入了一个额外的开放括号：

functionCall((3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

现在错误在哪里？如果您有分号，则解析器更容易放弃第一个分号。如果需要，它甚至可以在分号后继续解析。

functionCall((3, 4);  <- something is wrong here. emit error and keep going.
                      9 + (3 / 8); variable++; while(1) { printf("Hello, world\n"); }

现在，解析器更容易报告错误，并且更容易找到发生错误的行/列。

分号并不总是像您在问题中提到的那样全有或全无。例如，Lua的语法经过精心设计，可以采用自由形式（可以忽略所有空格，包括换行符），但也不需要使用任何分号。例如，以下程序是等效的：

--One statement per line
x = 1
y = 2

--Multiple statements per line
x = 1 y = 2

--You can add semicolons if you want but its just for clarity:
x = 1; y = 2

除了所有的设计和构造，我相信很多程序员来自不同的背景，有些程序员学会了使用分号，有些则没有。许多新兴语言不需要分号但仍允许分号存在。我认为这可能只是一种方法，它可以使更多的程序员学习如何使用这些新语言进行编码，而不必在开始时就放弃他们的习惯。