首页 > 解决方案 > C# 数组索引器

问题描述

我想知道:C# 数组索引器是如何实现的?ulong您可以使用从to的每个整数值来索引 C# 数组,sbyte内部实现是否每次都简单地转换为通用类型?

需要明确的是:

ulong i = 10;
var o = myArray[i];

被翻译成类似的东西:

ulong i =10;
var o = myArray[(int /*or whatver is the default type used*/)i];

?

标签: c#arrayscastingindexer

解决方案


数组索引器的类型是整数,所以是的,该值将转换为 int。您可以通过检查IL代码来验证这一点。给定这个例子:

var myArray = new[]{ 1,2,3 };
ulong i = 10;
var o = myArray[i];

这将编译为:

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       29 (0x1d)
  .maxstack  3
  .locals init ([0] int32[] myArray,
           [1] uint64 i,
           [2] int32 o)
  IL_0000:  nop
  IL_0001:  ldc.i4.3
  IL_0002:  newarr     [mscorlib]System.Int32
  IL_0007:  dup
  IL_0008:  ldtoken    field valuetype '<PrivateImplementationDetails>'/'__StaticArrayInitTypeSize=12' '<PrivateImplementationDetails>'::E429CCA3F703A39CC5954A6572FEC9086135B34E
  IL_000d:  call       void [mscorlib]System.Runtime.CompilerServices.RuntimeHelpers::InitializeArray(class [mscorlib]System.Array,
                                                                                                      valuetype [mscorlib]System.RuntimeFieldHandle)
  IL_0012:  stloc.0
  IL_0013:  ldc.i4.s   10
  IL_0015:  conv.i8
  IL_0016:  stloc.1
  IL_0017:  ldloc.0
  IL_0018:  ldloc.1
  IL_0019:  conv.ovf.i.un
  IL_001a:  ldelem.i4
  IL_001b:  stloc.2
  IL_001c:  ret
} // end of method Program::Main

转换发生在IL_0019指令conv.ovf.i.un下。

将评估堆栈顶部的无符号值转换为有符号的本机 int,在溢出时抛出 OverflowException。


推荐阅读