如何在ada中打印泛型类型？
在Ada中，可以使用Ada.Reflection包中的函数和类型来打印泛型类型。具体步骤如下：
- 导入Ada.Reflection包：with Ada.Reflection;
- 定义一个泛型类型：generic type T is private; package My_Generic_Package is -- 泛型包的内容 end My_Generic_Package;
- 使用Ada.Reflection包中的函数来获取泛型类型的信息：with Ada.Text_IO; with Ada.Reflection;
procedure Print_Generic_Type is
-- 获取泛型类型的信息 Generic_Type : Ada.Reflection.Generic_Component;begin
-- 使用Ada.Reflection包中的函数获取泛型类型的信息 Generic_Type := Ada.Reflection.Generic_Component (My_Generic_Package'Class); -- 打印泛型类型的名称 Ada.Text_IO.Put_Line ("Generic Type: " & Ada.Reflection.Type_Name (Generic_Type));end Print_Generic_Type;
在上述代码中，我们首先导入了Ada.Reflection包。然后，我们定义了一个泛型类型My_Generic_Package。接下来，在Print_Generic_Type过程中，我们使用Ada.Reflection.Generic_Component函数来获取泛型类型的信息，并使用Ada.Reflection.Type_Name函数来获取泛型类型的名称。最后，我们使用Ada.Text_IO.Put_Line函数打印泛型类型的名称。
请注意，Ada.Reflection包中的函数和类型提供了更多关于泛型类型的信息，例如泛型参数、泛型实例等。您可以根据需要进一步探索和使用这些功能。
腾讯云相关产品和产品介绍链接地址：
相关·内容
3回答
Ada精化完全没有发生
ada、gnat
我有一种不寻常的情况:精化代码根本不被执行。这不是一个详细说明的问题，而是一个详尽的问题。
问题是，我没有“与”单位的问题，但在理论上，它仍然应该是可访问的，只要它的阐述发生。
当然，我可以为所讨论的单元添加一个无用的" with“，但是在我的实际用例中，我需要使用大量的单元。
我的问题是，在代码中、通过语用、在gpr项目文件中，或者通过命令行开关，我是否可以强迫编译器包括一个文件，即使它认为文件没有引用？
下面是一个最低限度的工作示例：
as.ads：
package As is
type A is tagged null record;
type Nothing i
浏览 1提问于2019-02-20得票数 2
回答已采纳
1回答
防止在GNAT中使用Ada 202x
ada、ada2012
由于Random(Generator, First, Last)是在运行时实现的，GNAT允许以下代码，但它不是Ada2012的一部分。我可以导致一个编译错误，因为它应该是不可用的？
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Numerics.Discrete_Random;
procedure Main is
package Positive_Random is new Ada.Numerics.Discrete_Random
(Result_Subtype => Positive);
Generator : Pos
浏览 6提问于2021-07-31得票数 3
1回答
将map传递给公共过程
ada
Java编程语言经常使用像java.util.Map这样的接口。 在下面的示例中，使用通用包Ada.Containers.Hashed_Maps和Ada.Containers.Ordered_Maps创建了两个自定义地图包。这两个通用软件包都提供了函数/过程Clear和Length。过程Do_Something使用这些函数/过程来清除传递的映射并打印容器长度(愚蠢的例子...)。 我是对的，那么创建一个同时接受Map_One.Map和Map_Two.Map类型映射的过程Do_Something_Special是不可能的？在Java语言中，可以定义类型为Map<Natural, Unbo
浏览 12提问于2020-01-17得票数 5
回答已采纳
4回答
如果两个泛型形式是不完整的，是否有方法来验证其中一个是相同的类型？
generics、types、ada
给定一个通用父包：
generic
type T(<>) is tagged;
package Parent is
type Instance is tagged private;
private
type T_Access is access T;
type Instance is tagged record
Thing : T_Access := null;
end record;
end Parent;
在子包中是否有一种方法可以确保传入到子程序中的类型作为泛型形式是与(甚至是) Parent.T的后代相同的类型？例如，
浏览 2提问于2021-10-01得票数 6
回答已采纳
2回答
Ada中的动态调度
ada
即使使用这个简单的例子，我也遇到了让动态调度工作的问题。我认为问题出在我如何设置类型和方法，但看不到在哪里！
with Ada.Text_Io;
procedure Simple is
type Animal_T is abstract tagged null record;
type Cow_T is new Animal_T with record
Dairy : Boolean;
end record;
procedure Go_To_Vet (A : in out Cow_T) is
begin
Ada.Text_Io.Put
浏览 1提问于2011-05-07得票数 5
回答已采纳
3回答
如何在Ada中读取yaml文件
yaml、ada
我试图了解如何使用Ada和AdaYaml库()。我有几个yaml文件，我需要将它们转换成Ada记录，以便进一步处理。
在玩了几个小时的库之后，我不知道如何使用访问器来访问yaml数据。
我最起码的工作代码是
with Ada.Text_IO;
with Ada.Command_Line;
with Yaml.Source.File;
with Yaml.Source.Text_IO;
with Yaml.Dom.Loading;
with Yaml.Dom.Node;
with Yaml; use Yaml;
with Text; use Text;
procedure Load_Dom
浏览 8提问于2020-06-21得票数 2
回答已采纳
3回答
使用'address属性传递给过程的变量可以修改吗？
ada、memory-address、gnat
在下面的测试代码中，我试图通过将变量作为system.address传递给另一个过程来修改它。 with Ada.Text_IO;
with System;
with System.Storage_Elements;
procedure Main is
procedure Modify ( Var : in out System.Address) is
use System.Storage_Elements;
begin
Var := Var + 10;
end Modify;
My_Var : Integer := 10;
begin
浏览 40提问于2021-07-30得票数 2
回答已采纳
2回答
用Ada打印彩色文本-- ANSI转义码似乎无法工作。
colors、terminal、ada
我想使用ANSI转义序列在Ada中打印样式的文本。
这就是我尝试过的：
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Characters.Latin_1; use Ada.Characters.Latin_1;
procedure Main is
begin
-- No ESC character
Put_Line("\033[93mHowdy!\033[0m");
Put_Line("033[31;1;4mHello\033[0m");
-- With ESC character
Put_Lin
浏览 1提问于2018-08-04得票数 1
回答已采纳
1回答
一个已释放的访问类型变量应该设置为NULL；为什么它保留相同的地址？
memory-management、ada
根据Adacore网站，一旦释放了访问类型变量，它就被设置为null。那么为什么在Free之前和之后打印相同的地址呢？
with ada.Text_IO,ada.Integer_Text_IO;
with ada.Unchecked_Deallocation;
with System.Address_Image;
procedure hello is
type my_access is access all integer;
procedure free is new ada.Unchecked_Deallocation(integer,my_access);
var:my_
浏览 3提问于2014-12-30得票数 0
回答已采纳
1回答
从另一个包中浮点实例化
floating-point、instantiation、ada
我正在尝试创建一个6位精度的新浮点数类型。但我似乎无法使用它。下面是包MyFloat_IO.ads的代码
WITH Ada.Text_IO;
PACKAGE MyFloat_IO IS
TYPE MyFloat IS DIGITS 6 RANGE 0.0..Float'Last;
PACKAGE MyFloat_IO IS NEW Ada.Text_IO.Float_IO(MyFloat);
end MyFloat_IO;
主要代码是：
WITH Ada.Text_IO;
WITH MyFloat_IO;
USE MyFloat_IO;
WITH Ada.Numerics;
浏览 2提问于2010-07-19得票数 1
回答已采纳
1回答
Ada中数组类型的大小
arrays、ada
我只是在离开一段时间后才回到Ada，所以这可能是一个初学者的问题。实际上，我试图打印一维数组的长度。此数组位于记录中。如果我创建了记录的实例，我可以很好地打印类型，但是我觉得必须有一种方法来仅从类型打印长度。这里是一个我认为有用的代码的精心设计的例子：
with Ada.Text_Io;
procedure TestApp is
type int_array is array (integer range <>) of integer;
type item_type is record
ia : int_array (0 .. 20);
end re
浏览 4提问于2016-03-02得票数 0
回答已采纳
3回答
返回Ada中的函数
function、ada、currying
函数可以返回Ada中的函数吗？我正试着让工作。
type Integer_Func_Type is access function (Y : Integer) return Integer;
function Add (X : Integer) return Integer_Func_Type is
function Inner (Y : Integer) return Integer is
begin
return X + Y;
end Inner;
begin
return Inner'Access;
end;
最后，我不想每次只提供一个函数的
浏览 5提问于2017-08-21得票数 2
1回答
无法理解泛型是如何工作的
ada、gnat
我有一个名为Linked_List(.ads)的包，下面是其中的代码：
Generic
type T is private;
package Linked_List is
type List is tagged record
Data : T;
end record;
end Linked_List;
下面是包含主函数(main.adb)的包中的代码
with Ada.Text_IO; use Ada.Text_IO;
with Linked_List;
procedure Main is
type ListOfIntegers is new Linked_
浏览 1提问于2016-04-27得票数 1
回答已采纳
1回答
没有与实际相符的候选解释，在ADA中使用泛型编码存在问题
generics、ada、put
由于使用put打印语句而导致代码无法编译。将在下面发布代码。
-- createlis.ads
generic
size: integer;
type itemtype is private;
package createlis is
procedure addtolist( ad : in itemtype );
procedure printlist;
procedure printlist1(pt: in integer );
procedure delet
浏览 13提问于2021-03-02得票数 0
回答已采纳
2回答
Ada :选定组件中的无效前缀
generics、filter、compiler-errors、tree、ada
我正在开发一个通用程序，它用Ada过滤数据。我试着用一个列表和一棵树来做这件事。
具有列表实现的程序工作得很好。我的问题是和树在一起。
我有不同的通用包：
Arbre_Binaire_Recherche_g.ads
generic
TYPE Element IS PRIVATE;
WITH FUNCTION "="(E1,E2 : IN Element) RETURN Boolean;
WITH FUNCTION "<"(E1,E2 : IN Element) RETURN Boolean;
WITH PROCEDURE Liber
浏览 4提问于2014-04-19得票数 0
回答已采纳
1回答
我有文本文件fx.txt的前几行内容如下：
t(ms) ForceX(N) ForceY(N)
0.0 10.0 20.0
1.0 15.0 10.9
2.0 12.0 30.0
我想读一下first column和third column的内容。怎么去阿达？
更新
以下是我更新的代码：
with Ada.Text_IO; use Ada.Text_IO;
with Ada.Long_Float_Text_IO;
with Ada.IO_Exceptions;
procedure Get_Projections is
I
浏览 2提问于2012-03-26得票数 1
回答已采纳
1回答
泛型链表的问题
generics、ada、gnat
我正在Ada中学习泛型，所以我实现了一个简单的链接列表。这是我的代码：
Linked_List.adb :
package body Linked_List is
function Get_First_Element return Element_Type is
begin
return Beginning.Value;
end Get_First_Element;
function Get_Last_Element return Element_Type is
temp : Node := Beginning.all;
beg
浏览 3提问于2016-03-09得票数 0
回答已采纳
1回答
规范文件(.ads)中的不可见声明
generics、package、ada
我不断得到下面所述的错误。我已经将违规记录移入和移出包的私有部分，但错误仍然存在。我是Ada的新手，我在实现这个通用堆栈来保存记录数组时遇到了问题。 我已经将记录和类型声明移入和移出了private部分。我还尝试在私有部分之前添加"type garagebay is private“声明，如代码所示。 -- .ads file --
generic
low: integer; --lowerbound of stack
up: integer; -- upperbound of stack
type item is private; -- type of stack
p
浏览 26提问于2019-09-17得票数 1
回答已采纳
2回答
Ada中的"operator symbol not allowed for generic subprogram“
operator-overloading、ada
我想用Ada制作添加数组元素的子程序。子程序"Add_Data“有3个参数-第一个参数=泛型数组(整数数组或实数数组)第二个参数=整数(数组大小)第三个参数=泛型sum (整数数组-> sum将是整数，实数-> sum数组将是实数)
我从ideone.com编写的。(我只想看到整型数组的结果。之后，我将通过REAL的数组进行测试)
With Ada.Text_IO; Use Ada.Text_IO;
With Ada.Integer_Text_IO; Use Ada.Integer_Text_IO;
procedure test is
generic
浏览 0提问于2018-06-02得票数 0
2回答
用小虫，我想打印出System.Min_Int
Ada.Integer_Text_IO.Put(System.Min_Int);
产生这样的结果：
警告:不在"Ada.Text_Io.Integer_Io.Num“类型范围内的值
我也试过
Ada.Integer_Text_IO.Put_Line(Integer'Image(System.Min_Int))；
产生的结果：
值不在"Standard.Integer“类型的范围内。
如何打印System.Min_Int？
浏览 1提问于2016-07-07得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频活动推荐
腾讯云开发者
