10、数据类型、变量、常量及过程函数详解

数据类型、变量、常量及过程函数详解

1. 类型兼容性与标识

在编程中，每次使用作为类型名称的语言结构时，它们都表示不同的类型。例如：

type
  TS1 = set of Char;
  TS2 = set of Char;

这里创建了两个不同的类型 TS1 和 TS2 。同样，变量声明：

var
  S1: string[10];
  S2: string[10];

创建了两个不同类型的变量。若要创建相同类型的变量，可以使用以下方式：

var S1, S2: string[10];

或者

type MyString = string[10];
var
  S1: MyString;
  S2: MyString;

1.1 类型兼容性规则

每个类型都与自身兼容。两个不同的类型在满足以下至少一个条件时是兼容的：
- 它们都是实型。
- 它们都是整型。
- 一个类型是另一个类型的子范围。
- 两个类型都是同一类型的子范围。
- 两个都是具有兼容基类型的集合类型。
- 两个都是具有相同组件数量的压缩字符串类型。