PROSAGA码农传奇-Ada-错误消息：对前缀的调用中的对象必须是别名

错误消息：对前缀的调用中的对象必须是别名

作者: 晴天？霹雳
发布时间: 2025-03-11 05:05:52 (28天前)
转自：

        我目前正在阅读本文档：Ada for C ++或Java Developer。第8章（第33页）包含Ada中面向对象编程的介绍。本章从以下内容开始......

ARM 4.1.3（13.1）

在2005年的修订版中引入

AI95-00252

和

AI95-00407

（作为清理的一部分，我得到了印象）。

我说这个文件是错的。也许这部分材料是在Ada 2005之前开发的。

确实，在某些情况下，标记对象会自动显示别名：

ARM 3.10（9）

说

[…]标记类型的形式参数或通用形式对象被定义为别名。

所以，这是合法的：


    
      declare
   procedure Proc (Param : in out T) is
   begin
      Param.P1;
   end Proc;
   V : T;
begin
   Proc (V);
end;
</code>