Ada过程中的第一个形式参数

Question

来自Ada2012参考手册：

arm2012.html / RM-4-1-3.html

不是展开名称的selected_component将解析为表示以下之一：

• 子程序的视图，其第一个形式参数是标记类型或是指定类型被标记的访问参数：

为什么仅将它用于第一个形式参数才有意义？

请举例说明。

Answer 1

4.1.3 Selected Components, 9.1/2中的定义提供了prefixed notation，它允许人们在不提及封闭包的情况下调用标记类型的基本操作。我们看到了一个相关的例子here。