types - Ada中的派生类型和子类型

Question

有什么区别？

Answer 1

首先，术语:“Ada”，而不是“ADA”，以“Ada Lovelace”命名。它不是首字母缩写词。

子类型与其基本类型兼容，因此可以将基本类型的操作数与基本类型的操作数混合。例如:

subtype Week_Days is Integer range 1..7;

由于这是子类型，因此您可以(例如)在工作日中添加 1以获取下一个工作日。

派生类型是一种完全分离的类型，具有与其基本类型相同的特征。您不能将派生类型的操作数与基本类型的操作数混合。例如，如果您使用:

type Week_Day is new Integer range 1..7;

这样一来，您将无法在工作日中添加整数以获取另一个工作日。要对派生类型进行操作，通常需要自己定义这些操作(例如，创建一个包)。同时，派生类型会“继承”其基本类型的所有操作(即使有些操作可能没有意义)，因此您仍然会获得加法。