011.Ada常用的不同类型对象的取值范围

最新推荐文章于 2025-08-05 10:12:53 发布

原创最新推荐文章于 2025-08-05 10:12:53 发布 · 169 阅读

0 ·

CC 4.0 BY-SA版权

Ada语言程序设计基础专栏收录该内容

105 篇文章

订阅专栏

本文通过Ada语言示例，展示了如何使用SizeFirstLast属性获取不同类型的数据范围信息，并将其打印出来，包括整数、自然数、正数及自定义范围类型。

这里使用 Size First Last 属性来获取某一个类型的取值范围信息，并打印。

with Ada.Text_IO,Ada.Integer_Text_IO;
use Ada.Text_IO,Ada.Integer_Text_IO;

procedure IntAttrs is
   
   type BUG_RANGE is range -13..34;
   
   Rat:Integer;
   Dog:Natural;
   Cat:Positive;
   Bug:BUG_RANGE;
   
begin
   
   Rat:=12;
   Dog:=23;
   Cat:=31;
   Bug:=-11;
   
   Put("The type INTGER uses");
   Put(Integer'Size);
   Put("bits of memory");
   New_Line;
   Put(" and has range from ");
   Put(Integer'First);
   Put(" to ");
   Put(Integer'Last);
   New_Line;
   Put(" rat has present value of:");
   Put(Rat);
   New_Line(2);
   
   Put("the type NATURAL uses:");
   Put(Natural'Size);
   Put(" bits of memory,");
   New_Line;
   Put(" and has range from ");
   Rat:=Natural'First;
   Put(Rat);
   Put(" to ");
   New_Line;
   Rat:=Natural'Last;
   Put(Rat);
   New_Line;
   Put(" Dog has a present value of ");
   Put(Dog);
   New_Line(2);
   
   Put("The type POSITIVE uses ");
   Put(POSITIVE'SIZE);
   Put(" bits of memory,");
   New_Line;
   Put(" and has a range from ");
   Put(POSITIVE'FIRST);
   Put(" to ");
   Put(POSITIVE'LAST);
   New_Line;
   Put(" Cat has a present value of ");
   Put(Cat);
   New_Line(2);

   Put("The type BUG_RANGE uses ");
   Put(INTEGER(BUG_RANGE'SIZE));
   Put(" bits of memory,");
   New_Line;
   Put(" and has a range from ");
   Put(INTEGER(BUG_RANGE'FIRST));
   Put(" to ");
   Put(INTEGER(BUG_RANGE'LAST));
   New_Line;
   Put(" Bug has a present value of ");
   Put(INTEGER(Bug));
   New_Line(2);
   
end IntAttrs;