【文件属性】：
文件名称：数组初始值设定项-eda技术实用教程 vhdl版(第四版) 潘松 科学出版社
文件大小：4.12MB
文件格式：PDF
更新时间：2021-06-17 11:03:30
C#
12.3 数组元素访问
数组元素使用形式为 A[I1, I2, ..., IN] 的 element-access 表达式（第 7.6.6.1 节）进行访问，其中 A 是
数组类型的表达式，每个 IX 都是 int、uint、long、ulong 类型的表达式，或者可以隐式转换为这些
类型的一种或多种类型。数组元素访问的结果是变量，即由下标选定的数组元素。
此外，还可以使用 foreach 语句（第 8.8.4) 节）来枚举数组的各个元素。
12.4 数组成员
每个数组类型均继承由 System.Array 类型声明的成员。
12.5 数组协变
对于任意两个 reference-type A 和 B，如果存在从 A 到 B 的隐式引用转换（第 6.1.6 节）或显式引用转换
（第 6.2.4 节），则也一定存在从数组类型 A[R] 到数组类型 B[R] 的相同的引用转换，其中 R 可以是任
何给定的 rank-specifier，但这两个数组类型必须使用相同的 R。这种关系称为数组协变。具体而言，数
组协变意味着数组类型 A[R] 的值实际上可能是对数组类型 B[R] 的实例的引用（如果存在从 B 到 A 的
隐式引用转换）。
由于存在数组协变，对引用类型数组的元素的赋值操作会包括一个运行时检查，以确保正在赋给数组元
素的值确实是允许的类型（第 7.17.1 节）。例如：
class Test
{
static void Fill(object[] array, int index, int count, object value) {
for (int i = index; i < index + count; i++) array[i] = value;
}
static void Main() {
string[] strings = new string[100];
Fill(strings, 0, 100, "Undefined");
Fill(strings, 0, 10, null);
Fill(strings, 90, 10, 0);
}
}
Fill 方法中对 array[i] 的赋值隐式包括运行时检查，该检查可确保由 value 引用的对象是 null 或
与 array 的实际元素类型兼容的实例。在 Main 中，Fill 的前两次调用会成功，但第三次调用在执行
array[i] 的第一个赋值操作时会引发 System.ArrayTypeMismatchException。发生此异常是因为装
箱的 int 类型不能存储在 string 数组中。
具体而言，数组协变不能扩展至 value-type 的数组。例如，不存在允许将 int[] 当作 object[] 来处理
的转换。
12.6 数组初始值设定项
数组初始值设定项可以在字段声明（第 10.5 节）、局部变量声明（第 8.5.1 节）和数组创建表达式（第
7.6.10.4 节）中指定：
array-initializer:
{ variable-initializer-listopt }
{ variable-initializer-list , }
variable-initializer-list:
variable-initializer
variable-initializer-list , variable-initializer