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

por*_*ton 1 ada

来自Ada2012参考手册:

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

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

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

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

请举例说明.

tra*_*god 6

4.1.3 Selected Components,9.1/2中的定义提供了带前缀的表示法,它允许用户调用标记类型的基本操作,而无需明确提及封闭包.这里可以看到一个相关的例子.