Ada 打印端口类型

Question

请问如何将 g-socket.ads:492 中定义的 put_line Port_Type？

Ada.Text_io.Put_Line ("Port: "  & Integer'Image(Port));

给我找到在 g-socket.ads:492 定义的类型“Port_Type”xxx.adb:121:51:预期类型“Standard.Integer”谢谢BR标记

Answer 1

你应该会写

Ada.Text_IO.Put_Line ("Port: "  & Port'Image);

或者，如果您使用的是旧版 GNAT，

Ada.Text_IO.Put_Line ("Port: "  & Port'Img);

'Image 适用于标量；在 Ada 2022 中，它也适用于复合类型。 ARM 2022 4.10, Image Attributes里面有重物