Question

例子：

typedef bit [4:1] Nibble;
int array_name [Nibble];

使用无符号压缩数组作为索引的联合数组具有下列的属性：

• 索引可以是任何integral表达式。
• 索引是无符号的。
• 包含X或Z的四态索引是无效的。
• 小于索引类型尺寸的索引进行0扩展。
• 大于索引类型尺寸的索引截断至索引类型尺寸。
• 按数值顺序排序。

如果读操作过程中使用了一个无效索引（例如4态表达式中包含X）或者试图读取一个不存在的条目，那么会发布一个警告信息并返回数组类型的缺省值，如下表所述：

表4-1：从不存在的关联数组条目中读取值

数组类型	读取的值
4态integral类型	'X
2态integral类型	'0
枚举类型	枚举中的第一个元素
字符串	""
类	null
事件	null

如果在写操作过程中使用了一个无效索引，那么写操作会被忽略并发布一个警告信息。