如何在ada中打印通用类型？

Question

我当前正在尝试打印（“ Ada.Text_IO.Put”）泛型类型，但这总是失败，并显示如下错误：

missing argument for parameter "Item" in call to "Put" declared at a-tiinio.ads:60, instance at a-inteio.ads:18
expected type "Standard.Integer"
found private type "My_Type" defined at testtype.ads:2

这些错误是有道理的，但我不知道如何打印我的值。 以下几行显示了我的通用类型。

generic
    type My_Type is private;
    with function "+"(Left: My_Type; Right: My_Type) return My_Type;

package TestType is
    ...
end TestType;

谢谢你的帮助！

Answer 1

您可以要求另一个通用参数，例如：

with function image(Item : in My_Type) return String;

然后只需打印Image函数输出的字符串。

实际参数的示例可能是：

image => Integer'Image

Answer 2

泛型的要点是“它”可以与任何类型一起使用，而Text_IO是它可以与调用其子程序时已知的类型（即字符串）一起使用，您需要其他泛型来打印任何类型。 因此，要么传递一个特殊的函数，将您的类型转换为String ，就像Jim Rogers回答的那样。 或者，将常规形式的程序包与My_Type一起传递以进行打印。 例如。

generic
    type Any_Type is private;
package Any_Type_IO is
    procedure Put (Item : Any_Type);
    procedure Get (Item : out Any_Type);
end Any_Type_IO;

with Any_Type_IO;
generic
    type My_Type is private;
    with function "+"(Left: My_Type; Right: My_Type) return My_Type;
    with package Printer is new Any_Type_Io (Any_Type => My_Type);
package TestType is
    procedure Run_Test;
end TestType;

因此，连同将成为TestType的通用实际类型的TestType ，将有一个包将成为TestType的通用实际程序包。 他们匹配。 然后在TestType实例中，可以将它们一起使用。

type T is range 1 .. 10;
package T_IO is new Any_Type_IO (T);

package My_Test_Instance is new TestType
  (My_Type => T,
   "+"     => "+",
   Printer => T_IO);

如果提供打印包，例如Any_Type_IO，则打印在两种意义上都是通用的：这是任何匹配的打印包的工作，并且它也必须在Ada意义上匹配通用的正式包。