Ada参考手册中的方法调用样式子程序调用

Question

我知道在Ada中有一个方法调用样式子程序调用，但是，我在参考手册中找不到任何内容。

有人可以指点我相应的部分吗？

Answer 1

通过“方法调用样式子程序调用”我假设你的意思是“object.method（parameters）”调用样式。

子程序调用部分没有解决这个问题，人们可能会想到这一点，而是在4.1.3, Selected Components第9.1 / 2和9.2 / 2段中。引用：

• selected_component :: =前缀。 selector_name
• selector_name :: = identifier | character_literal | operator_symbol

前缀（在任何隐式解除引用之后）将解析为表示特定标记类型T或类范围类型T'Class的对象或值。 selector_name将解析为表示在宣告区域内立即声明的子程序的视图，其中声明了类型T的祖先。