030.派生类型的子类型的定义和使用以及子类型的派生类型的示例

原创于 2020-04-30 20:27:51 发布 · 134 阅读

0 ·

CC 4.0 BY-SA版权

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

105 篇文章

订阅专栏

本文通过一个具体的Ada程序实例，展示了Ada语言中类型定义、变量声明及运算表达式的使用方法。程序涉及自定义整数类型、子类型以及类型转换等高级特性，适合Ada初学者学习和理解。

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

procedure DerSubs is
   
   type NEW_INT is new Integer range 12..127;
   type NEW_INT_TYPE is new Integer;
   
   subtype SUB_INT is NEW_INT;
   subtype NEW_SUBTYPE is NEW_INT range 12..127;
   type DER_SUB is new NEW_SUBTYPE range 12..32;
   
   
   Arrow,Dart :NEW_INT;
   Size:NEW_INT_TYPE;
   Thing:Integer:=15;
   Point:NEW_SUBTYPE;
   
begin
   
   Size:=10;
   Arrow:=23;
   Dart:=2*Arrow-25;
   Dart:=Arrow+2*(NEW_INT(Size+2)+NEW_INT(Thing));
   Dart:=Arrow+2*NEW_INT(Size+NEW_INT_TYPE(Thing));
   Point:=Arrow+Dart;
   
end DerSubs;