end if 语句。if boolean_expression then statement else statement
end if 在 Ada 中提供的优势是什么，其他语言没有吗？if boolean_expression then statement else statement end if
我认为这与分支预测有关，如果条件为真（跳过代码的else部分），但我不确定。
if，像这样:if boolean_expression then if another_boolean_expression then statement else statement
现在，else部分属于哪个if语句？
end if解决了这个问题（为了清晰起见进行了缩进）:if boolean_expression then
if another_boolean_expression then
statement
end if;
else
statement
end if;
或者：
if boolean_expression then
if another_boolean_expression then
statement
else
statement
end if;
end if;
它没有特殊优势，但对于允许块声明的任何语言来说都是必要的一部分。
Ada的块终止方法非常明确，但这并没有传达任何特定的优势。
正如其他人所指出的那样，这只是Ada的块终止方法。 语法细节并不是非常重要，但语义至关重要。
考虑一些其他语言中如何表达块终止的示例：
end，函数定义使用句点字符.，短语分隔使用逗号,和分号;。end。与Ada非常相似。if以fi结束，case以esac结束。{打开，并使用关闭}关闭所有块，这使得块的关闭标记可以轻松地被识别（由相对简单的解析器，而不一定是人类读者）。(打开（这基本上意味着“开始评估”），而列表则使用'(打开（这基本上意味着“我是一个列表，但跳过对我的评估”），并且所有列表都使用闭合括号)关闭。<foo>，都由带有结束斜杠指示符的匹配标记终止，如</foo>（或者有时只是</>，出于重要原因，稍微好一点）。大多数变种的尖括号狂热现在也支持“自关闭”标记，其中关闭斜杠可以存在于开放标记的末尾作为缩写，因此像<foo></foo>这样的空标记可以缩短为<foo />或者有时取决于它所属的疯狂类型<foo/>。（显然，这种模棱两可的语义黑洞有一些可能会吸引你。）
if语句并不会打开或声明任何东西——它只是简单地保护下一条语句。因此，在C语言中看到单行的if语句是很正常的——不需要关闭任何括号，因为没有打开。但是，如果if语句后面的语句需要是多行语句（请注意，在C语言中为每个多行语句定义函数有点不符惯例）。if (x) {do_something();}
是同样的意思
if (x) do_something();
看，妈妈，没有括号！
前者更常见，因为大多数条件分支不止一行。
这个特定问题变得有点模糊（现在你实际上涉及到分支预测问题）与C ternary operator：
int opening_time = (day == SUNDAY) ? 12 : 9;
opening_time = 12 if day == 'sunday' else 9
int opening_time = 9;
if (day == SUNDAY) opening_time = 12;
等等就是这样。
这里我们开始理解一些早期未命名代码块的实用性，并且了解在一些（但不是全部）编程语言中它们如何被视为复合语句。
{} 表示代码块的语言中，if 语句被定义为仅在满足条件时执行 下一个语句。因此，当您想有条件地执行多个语句时，使用块作为 if 后面的语句，因为 块是一条语句。这与 Ada 不同，因为 if 语句 自动开始一个块。 - flyxif语句中根本没有括号--这确实需要一些解释。 - zxq9Ada语言的设计考虑到可读性和代码缺陷预防。因此，作用域关闭结构是必需的，并与作用域开放结构相对应。当您有一段很长的代码时，更容易弄清楚该关闭条目实际上关闭了什么。
procedure Foo is
begin
if condition then
-------------------
-- a lot of code...
-------------------
end if;
end Foo;
相比之下，其他语言的语法可能会让开发人员自行决定是否编写附加注释以澄清结束条目的目的，或者是否完全编写结束条目（例如C ++）：
void
Foo(void)
{
if(condition)
{
///////////////////
// a lot of code...
///////////////////
} // if
} // Foo
if块，使用字符（例如{和}）来界定块，或者具有等效于end if的东西。 - Faibbus