42、Eiffel的分号可选性

Eiffel的分号可选性

1. 引言

Eiffel是一种面向对象的编程语言，以其简洁和强大的特性而闻名。为了提高代码的可读性和简洁性，Eiffel引入了分号可选性规则。这一特性使得程序员可以根据个人喜好选择是否使用分号作为语句之间的分隔符。本文将详细介绍Eiffel语言中分号可选性的规则，并探讨其对编程实践的影响。

2. 分号可选性规则

2.1 规则概述

在Eiffel中，分号作为分隔符是可选的。这意味着在不影响软件的语法结构、有效性和语义的情况下，可以省略分号，或在最后一个元素后添加分号。这一规则适用于由重复产生式定义的任何构造的样本，例如指令、声明、连续的形式参数组等。以下是具体的规定：

• 分号省略 ：在不影响语法结构、有效性和语义的情况下，可以省略任何分号。
• 分号添加 ：可以在最后一个元素后添加分号，而不会影响语法结构、有效性和语义。

2.2 语法描述

分号可选性规则的具体描述如下：

在编写由重复产生式定义的任何构造的样本时，指定分号 “;”作为分隔符，允许在不影响软件的语法结构、有效性和语义的情况下，省略任何分号，或在最后一个元素后添加分号。

2.3 示例

2.3.1 指令列表

-- 以下两种写法是等价的
a; b;
a; b

--