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

Question

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

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

Answer 1

通过“方法调用样式子程序调用”，我假设您的意思是“object.method(parameters)”调用样式。

这在子程序调用部分中没有解决，人们可能已经想到了，而是在4.1.3，选定组件，第 9.1/2 和 9.2/2 段中解决。报价：

• selected_component ::= 前缀。选择器名称
• 选择器名称 ::= 标识符 | 字面量 | operator_symbol

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