在哪里可以找到有关 .NET 中多维 System.Array 实例的 Get、Set 和 Address 方法的信息？

Question

System.Array 作为所有数组的基类公共语言运行时 (CLR)。根据这篇文章< /a>:

对于每种具体数组类型，运行时添加了三个特殊方法：Get/Set/Address。

事实上，如果我

int[,] x = new int[1024,1024];
x[0,0] = 1;
x[1,1] = 2;
x[2,2] = 3;
Console.WriteLine(x[0,0]);
Console.WriteLine(x[1,1]);
Console.WriteLine(x[2,2]);

将这段 C# 代码反汇编成 CIL，

IL_0000:  ldc.i4     0x400
IL_0005:  ldc.i4     0x400
IL_000a:  newobj     instance void int32[0...,0...]::.ctor(int32,
                                                         int32)
IL_000f:  stloc.0
IL_0010:  ldloc.0
IL_0011:  ldc.i4.0
IL_0012:  ldc.i4.0
IL_0013:  ldc.i4.1
IL_0014:  call       instance void int32[0...,0...]::Set(int32,
                                                       int32,
                                                       int32)
IL_0019:  ldloc.0
IL_001a:  ldc.i4.1
IL_001b:  ldc.i4.1
IL_001c:  ldc.i4.2
IL_001d:  call       instance void int32[0...,0...]::Set(int32,
                                                       int32,
                                                       int32)
IL_0022:  ldloc.0
IL_0023:  ldc.i4.2
IL_0024:  ldc.i4.2
IL_0025:  ldc.i4.3
IL_0026:  call       instance void int32[0...,0...]::Set(int32,
                                                       int32,
                                                       int32)
IL_002b:  ldloc.0
IL_002c:  ldc.i4.0
IL_002d:  ldc.i4.0
IL_002e:  call       instance int32 int32[0...,0...]::Get(int32,
                                                        int32)
IL_0033:  call       void [mscorlib]System.Console::WriteLine(int32)
IL_0038:  ldloc.0
IL_0039:  ldc.i4.1
IL_003a:  ldc.i4.1
IL_003b:  call       instance int32 int32[0...,0...]::Get(int32,
                                                        int32)
IL_0040:  call       void [mscorlib]System.Console::WriteLine(int32)
IL_0045:  ldloc.0
IL_0046:  ldc.i4.2
IL_0047:  ldc.i4.2
IL_0048:  call       instance int32 int32[0...,0...]::Get(int32,
                                                        int32)
IL_004d:  call       void [mscorlib]System.Console::WriteLine(int32)

可以清楚地看到对上述 Get 和 Set 方法的调用。这些方法的数量似乎与数组的维数有关，这可能就是它们由运行时创建并且不预先声明的原因。我在 MSDN 上找不到有关这些方法的任何信息，而且它们简单的名称使它们无法通过 Google 搜索。我正在为支持多维数组的语言编写一个编译器，因此我想找到一些有关这些方法的官方文档，在什么条件下我可以期望它们存在以及我可以期望它们的签名是什么。

特别是，我想知道是否可以为 Get 或 Set 获取 MethodInfo 对象以与 Reflection 一起使用。发射，而无需创建具有正确类型和维度的数组实例来反映，如链接示例中所做的那样。

Answer 1

看这里，特别是第 63-65 页的 14.2 节

http://download.microsoft.com/download/7/3/3/733AD403-90B2-4064-A81E-01035A7FE13C/MS%20Partition%20II.pdf

但要点，您可以从 IL 看出，它们是处理给定索引位置处的数组的 getter 和 setter 方法。

• 一个 Get 方法，它接受一系列
int32 参数，每个参数一个
数组的维度，并返回
类型为元素类型的值
数组的。该方法用于
访问数组的特定元素
其中参数指定索引
进入每个维度，从
元素的第一个
返回。

• 采用序列的 Set 方法
int32 参数，每个参数一个
数组的维度，后跟
类型为元素类型的值
数组的。 Set的返回类型
无效。该方法用于设置一个
数组的特定元素，其中
参数指定索引
每个维度，从
首先，要设置的元素和
最后一个参数指定值
存储到目标元素中。

• 一个 Address 方法，它采用
int32 参数序列，其中一个用于
数组的每个维度，并且有一个
返回类型是托管指针
数组的元素类型。这
方法用于返回托管的
指向特定元素的指针
数组，其中参数指定
索引到每个维度，开始
与第一个元素的
地址将被返回。

编辑：这是使用文档页码编号的第 63-65 页。实际 PDF 中的 73-75。

Answer 2

要回答第二个问题，您不需要创建实例来获取这些方法的 MethodInfo 。类似的方法

var mi = typeof(string).MakeArrayType(6).GetMethod("Get");

可以获取 string[,,,,,] 类型的 Get 方法。

Answer 3

我不确定它是否能解决您非常具体的问题，但关于该主题（除其他外）的精彩文本是 通过 C# 进行 CLR。它对您感兴趣的许多主题进行了非常深入的研究，并花费大量时间使用反汇编程序来查看许多基本 .NET 类型（包括数组）的内部工作原理。绝对值得一看。