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

Question

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

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

Answer 1

通过"方法调用样式子程序调用"我假设你的意思是"object.method(parameters)"调用样式.

在子程序调用部分中没有解决这个问题,人们可能会想到这一点,而是在4.1.3,选定组件,第9.1/2和9.2/2段中.引用:

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

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