在 ada 编程语言中，有没有办法创建一个子类型，它采用不同位置的类型枚举?

Question

>我正在尝试创建一个子类型，该子类型接受某种类型的某些枚举，

type Integers_Type is (1,2,3,4,5,6,7,8,9,10);

我想要这样的东西，

subtype Odd_Numbers_Type is Integers_Type (1,3,5,7,9);

我知道当我们使用某种类型的关键字subtype时，我们需要使用 range，但问题是枚举不在系列中。

Answer 1

对于这种值过滤，我会使用子类型谓词。

在您的情况下，根据 Keith 所说的话修改您的枚举：

type Integers_Type is (ONE,TWO,THREE,FOUR,FIVE,SIX,SEVEN,EIGHT,NINE,TEN);
subtype Odd_Numbers_Type is Integers_Type 
with Static_Predicate => Odd_Numbers_Type in ONE | THREE | FIVE | SEVEN | NINE;

如果要使用数值类型而不是枚举，请使用以下命令

type Integers_Type is range 1 .. 10;
subtype Odd_Numbers_Type is Integers_Type
with Dynamic_Predicate => Odd_Numbers_Type mod 2 /= 0;

有关更多信息，您可以阅读基本原理

编辑：

对于枚举类型，以下使用 gnatmake -gnata-gnatVa test_enum.adb进行编译，但警告影响行 14 并在执行时失败，因为断言链接到静态谓词。

with Ada.Text_IO; use Ada.Text_IO;
Procedure Test_Enum is
type Integers_Type is (ONE,TWO,THREE,FOUR,FIVE,SIX,SEVEN,EIGHT,NINE,TEN);
subtype Odd_Numbers_Type is Integers_Type 
with Static_Predicate => Odd_Numbers_Type in ONE | THREE | FIVE | SEVEN | NINE;

Test_I : Integers_Type := TWO;
Test_O : Odd_Numbers_Type := ONE;
begin
Put_Line("Test_I=" & Integers_Type'Image (Test_I));
Put_Line ("Test_O=" & Odd_Numbers_Type'Image (Test_O));
Test_O := Test_I;
Put_Line ("Test_O=" & Odd_Numbers_Type'Image (Test_O));
end Test_Enum;

对于整数类型，使用 gnatmake -gnata-gnatVa test_int.adb编译命令，编译器警告检查将在运行时失败，触发断言时就是这种情况。

with Ada.Text_IO; use Ada.Text_IO;
Procedure Test_Int is
type Integers_Type is range 1 .. 10;
subtype Odd_Numbers_Type is Integers_Type
with Dynamic_Predicate => Odd_Numbers_Type mod 2 /= 0;

Test_I : Integers_Type := 2;
Test_O : Odd_Numbers_Type := 1;
begin
Put_Line("Test_I=" & Integers_Type'Image (Test_I));
Put_Line ("Test_O=" & Odd_Numbers_Type'Image (Test_O));
Test_O := Test_I;
Put_Line ("Test_O=" & Odd_Numbers_Type'Image (Test_O));
end Test_Int;

在这两种情况下，删除-gnata标志将使程序在不处理谓词的情况下工作，因为断言被停用。

Answer 2

你混淆了枚举和整数，如果你来自像C这样的东西，这是一个很大的区别：在Ada中，枚举不仅仅是整数的标签。

弗雷德里克·普拉卡(Frédéric Praca(给出的答案是绝对正确的，但是(a(你可以对数字类型使用Static_Predicate;(b(有一种方法可以做你在问题标题中提出的问题，这与你在问题正文中提出的问题略有不同。

使用子类型谓词的问题在于，您无法使用某些

(a( —Static_Predicate

Type Digit_Range is 0..9;
Subtype Odd_Digit is Digit_Range
with Static_Predicate => 1|3|5|7|9;

(b( — 枚举的位置
在 Ada 中有几个属性，其中包括Pos&Val和Pred&Succ。给定一个枚举(Type Example is (A,B,C,D,E);，你可以说Example'Pos(D)哪个会返回3，你可以说Example'Val(1)哪个会返回B。

然后，您可以将事物组合在一起以创建多种类型，尽管这是沉重的，通常不是您想要做的。

Type Base_Numeric_Range is range 0..9;
Type Odds is range 1..Base_Numeric_Range'Pos(Base_Numeric_Range'Last)) - Base_Numeric_Range'Pos(Base_Numeric_Range'First)) / 2;
-- This is from memory, and untested; so probably wrong in the details.
Function Convert(X : Base_Numeric_Range) return Odds is
( Odds'Val((Base_Numeric_Range'Pos(X) / 2) + 1) );
Function Convert(X : Odds) return Base_Numeric_Range is
( Base_Numeric_Range'Val(Odds'Pos(X) * 2 - 1) );