Ada：用函数重命名属性？

Question

在最近的一个问题中，我询问了'操作，并了解到它用于获取某些类型的语言定义的“属性”。根据我的收集，无法为您的类型创建自己的属性。

我遇到了一些我不理解的代码：

function Image(C: Ada.Containers.Count_Type) return String renames
          Ada.Containers.Count_Type'Image;

这是做什么的？

Answer 1

某些属性，如“读取”，“写入”，“输入”和“输出”，可以被用户定义的子程序覆盖，如下所示：

procedure My_Write
   (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
    Item   : in  My_Type);
for My_Type'Write Use My_Write;

无法覆盖'图像属性。 您的示例中的函数定义是重命名属性，允许您像调用普通子程序一样调用该属性：

Image(My_Count);

而不是

Ada.Containers.Count_Type'Image(My_Count);