Question

对于处理成员数目会动态改变的连续变量集合而言，动态数组非常有用。然而，当集合的尺寸是未知的或者数据空间紧缺的时候，联合数组则是更好的选择。联合数组在使用之前不会分配任何存储空间，并且索引表达式不再被限制成integral表达式，而是可以具有任何数据类型。

联合数组实现了一个所声明类型的元素的查找表。用作索引的数据类型作为查找表的查找键值，并强制了一种顺序。

联合数组的声明语法如下：

data_type array_id [index_type];

其中：

• data_type是数组元素的数据类型。固定尺寸数组可以使用的任何类型都可以作为联合数组的数据类型。
• array_id是联合数组的名字。
• index_type是用作索引的数据类型， 或者是*。如果指定了*，那么数组可以使用任意尺寸的integral表达式来索引。采用数据类型作为索引的联合数组将索引表达式限制成一个特定的数据类型。

联合数组声明的例子如下：

integer i_array[*];         // 整数联合数组（未指定索引）
bit [20:0] array_b[string]; // 21位向量的联合数组，使用字符串类型作为索引
event ev_array[myClass];    // 事件类型的联合数组，使用类myClass索引

联合数组的元素被动态地分配；一个条目在它第一次写入的时候产生。联合数组维护已经被赋值的条目并根据索引数据类型维护相对顺序。联合数组元素是非压缩的，也就是说，除了拷贝或比较数组之外，当联合数组在大多数表达式中使用之前，你必须从数组中选择单独的元素。