编辑“︁Modula-3”︁（章节）

====数组类型====
固定[[数组]]类型声明有如下形式：{{code|2="modula2"|1=TYPE T = ARRAY Index OF Element}}，这里的索引类型<code>Index</code>是序数类型，而元素类型<code>Element</code>是除了开放数组之外的任何类型。开放[[数组]]类型声明有如下形式：{{code|2="modula2"|1=TYPE T = ARRAY OF Element}}，这里的元素类型<code>Element</code>是任何类型。

[[数组]]类型<code>T</code>的值，是元素类型为<code>Element</code>的数组；对于固定数组类型，这个数组的长度是索引类型<code>Index</code>的元素数目；对于开放数组类型，这个数组的长度是任意的；开放数组的索引类型是<code>INTEGER</code>子范围<code>[0..n-1]</code>，这里的<code>n</code>是这个数组的长度。开放数组类型只能用作形式参数的类型，引用类型的所引用者，另一个开放数组的元素类型，或作为数组[[构造器|构造子]]中的类型。

多维数组的形状是它每一维的长度的序列。更精确的说，一个数组的形状是它的长度跟随着任何它的元素的形状，非数组的形状是空序列。数组如果有相同的类型和形状，则它们是可赋值的。如果赋值的要么来源要么目标是开放数组，则需要运行时间检查。形如{{code|2="modula2"|1=ARRAY Index_1, ..., Index_n OF Element}}的表达式，是{{code|2="modula2"|1=ARRAY Index_1 OF ... OF ARRAY Index_n OF Element}}的简写。

如果<code>a</code>有数组类型<code>T</code>，则<code>a[i]</code>指示<code>a</code>的一个指定元素，它在数组中的位置对应于<code>i</code>在索引类型中位置。形如<code>a[i_1, ..., i_n]</code>的表达式，是<code>a[i_1]...[i_n]</code>的简写。索引的解释由一个数组的类型确定，而非它的[[值 (计算机科学)|值]]；数组赋值改变数组变量的[[值 (计算机科学)|值]]，而非它的类型。例如：
<syntaxhighlight lang="modula2">
VAR
    a := ARRAY [1..3] OF REAL {1.0, 2.0, 3.0};
    b: ARRAY [-1..1] OF REAL := a;
</syntaxhighlight>
这里在<code>a</code>或<code>b</code>做元素值变更之前，<code>a = b</code>为<code>TRUE</code>，尽管<code>a[1] = 1.0</code>而<code>b[1] = 3.0</code>。

可以使用<code>NUMBER(A)</code>，得到一个固定数组类型的索引类型中的元素数目，使用<code>FIRST(A)</code>和<code>LAST(A)</code>，分别得到一个固定数组类型的索引类型的最小元素和最大元素。可以使用<code>NUMBER(a)</code>，得到一个数组的索引类型中的元素数目，使用<code>FIRST(a)</code>和<code>LAST(a)</code>，分别得到一个数组的索引类型的最小元素和最大元素，在这种情况下，表达式<code>a</code>只在它指示一个开放数组的时候求值。