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

Question

来自Ada2012参考手册：

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

非扩展名称的selected_component将解析为表示下列之一：

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

为什么只对第一个形式参数有意义？

请举例说明。

Answer 1

http://www.ada-auth.org/standards/12rm/html/RM-4-1-3.html中的定义提供了http://www.adaic.org/resources/add_content/standards/05rat/html/Rat-2-3.html，它允许调用标记类型的基本操作，而无需显式地提到封装包。一个相关的例子是here。