Question

例子：

typedef struct {
    real R;
    int I[*];
} Unpkt;
int array_name [Unpkt];

通常，将任何类型作为索引的联合数组具有下列属性：

• 作为索引的类型必须保证相等操作符是有效的。包括将所有动态尺寸类型作为有效的索引类型。
• 索引表达式是X或Z，或者它的元素中包含X或Z是无效的。
• 索引表达式是空值或null，或者它的元素中包含空值或null是无效的。
• 如果索引类型定义了关系操作符，那么按照前面章节所定义的顺序排序。如果不是，那么这样的联合数组中的任何两个条目的相对顺序都是变化的，即使在相同工具的两次连续运行之间也是这样。然而，当没有加入或删除索引的情况下，在同一次仿真运行之内的相对关系必须是相同的。