6

背景

这个问题让我想到了一些事情。最近，因为我一直在研究linq pad的 IL 功能，所以我一直在比较解决同一问题的两种方法的 IL 代码，以“确定”哪个是最好的。

使用上面链接的问题，关于转换数组，我为两个答案生成了 IL 代码：

var arr = new string[] { "1", "2", "3", "4" };
var result = Array.ConvertAll(arr, s => Int32.Parse(s));

制作：

IL_0001:  ldc.i4.4    
IL_0002:  newarr      System.String
IL_0007:  stloc.2     
IL_0008:  ldloc.2     
IL_0009:  ldc.i4.0    
IL_000A:  ldstr       "1"
IL_000F:  stelem.ref  
IL_0010:  ldloc.2     
IL_0011:  ldc.i4.1    
IL_0012:  ldstr       "2"
IL_0017:  stelem.ref  
IL_0018:  ldloc.2     
IL_0019:  ldc.i4.2    
IL_001A:  ldstr       "3"
IL_001F:  stelem.ref  
IL_0020:  ldloc.2     
IL_0021:  ldc.i4.3    
IL_0022:  ldstr       "4"
IL_0027:  stelem.ref  
IL_0028:  ldloc.2     
IL_0029:  stloc.0     
IL_002A:  ldloc.0     
IL_002B:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0030:  brtrue.s    IL_0045
IL_0032:  ldnull      
IL_0033:  ldftn       b__0
IL_0039:  newobj      System.Converter<System.String,System.Int32>..ctor
IL_003E:  stsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0043:  br.s        IL_0045
IL_0045:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_004A:  call        System.Array.ConvertAll
IL_004F:  stloc.1     

b__0:
IL_0000:  ldarg.0     
IL_0001:  call        System.Int32.Parse
IL_0006:  stloc.0     
IL_0007:  br.s        IL_0009
IL_0009:  ldloc.0     
IL_000A:  ret

另一个答案：

var arr = new string[] { "1", "2", "3", "4" };
var result = arr.Select(s => int.Parse(s)).ToArray();

制作：

IL_0001:  ldc.i4.4    
IL_0002:  newarr      System.String
IL_0007:  stloc.2     
IL_0008:  ldloc.2     
IL_0009:  ldc.i4.0    
IL_000A:  ldstr       "1"
IL_000F:  stelem.ref  
IL_0010:  ldloc.2     
IL_0011:  ldc.i4.1    
IL_0012:  ldstr       "2"
IL_0017:  stelem.ref  
IL_0018:  ldloc.2     
IL_0019:  ldc.i4.2    
IL_001A:  ldstr       "3"
IL_001F:  stelem.ref  
IL_0020:  ldloc.2     
IL_0021:  ldc.i4.3    
IL_0022:  ldstr       "4"
IL_0027:  stelem.ref  
IL_0028:  ldloc.2     
IL_0029:  stloc.0     
IL_002A:  ldloc.0     
IL_002B:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0030:  brtrue.s    IL_0045
IL_0032:  ldnull      
IL_0033:  ldftn       b__0
IL_0039:  newobj      System.Func<System.String,System.Int32>..ctor
IL_003E:  stsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0043:  br.s        IL_0045
IL_0045:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_004A:  call        System.Linq.Enumerable.Select
IL_004F:  call        System.Linq.Enumerable.ToArray
IL_0054:  stloc.1     

b__0:
IL_0000:  ldarg.0     
IL_0001:  call        System.Int32.Parse
IL_0006:  stloc.0     
IL_0007:  br.s        IL_0009
IL_0009:  ldloc.0     
IL_000A:  ret

看着这个，我只能说后一种选择

  • 需要额外的 1 行
  • 当第一个答案没有时使用 linq
  • 通过 IL_0039 创建不同的 Int。

问题

  • 对于这个具体的例子，我的假设是否正确？
  • 一般来说，我应该如何通过 IL 代码比较两个解决方案？
  • 一般来说，具有较少 IL LOC 的解决方案是否意味着它会更快或使用更少的内存？
  • 正如标题所说，我可以比较 IL 代码以确定哪种技术更快或更好吗？

FWIW，我不经常这样做，只是偶尔在工作中的开发人员之间进行一些讨论时。有人会说“哦，这更有效”，我们会将其放入 linqpad 以检查 IL 代码。同样，FWIW，我几乎总是遵守让它工作，然后再让它高效/快速的方法。只是这样人们就不会认为我一直在比较我正在开发的 IL 代码 :)

4

2 回答 2

8
  • 对于这个具体的例子，我的假设是否正确？
  • 一般来说，我应该如何通过 IL 代码比较两个解决方案？
  • 一般来说，具有较少 IL LOC 的解决方案是否意味着它会更快或使用更少的内存？
  • 正如标题所说，我可以比较 IL 代码以确定哪种技术更快或更好吗？

1）您对正在发生的事情的假设是正确的。

2）您需要了解 IL 代码在做什么，以确定哪个“更好”

3) 不。这意味着运行所需的指令更少。但是，这些单独的指令可能会使用更多或更少的内存。例如，您引用的指令在一种情况下是创建 Func 委托，而在另一种情况下是创建 Converter 对象。如果没有更多信息，很难判断这两件事中哪一个更贵。

4) 是与否....

问题是 IL 代码会告诉你发生了什么，但实际上 IL 中的嵌套调用将成为大型性能驱动程序。如果 IL 代码到处都在做简单的操作，通常越短越好（尽管各个 IL 操作本身的速度可能会有所不同）。当代码调用其他类型（例如您的）的方法或构造函数时，仅凭这一点就无法分辨。在一种情况下（例如，如果它正在调用昂贵的方法），一行 IL 可能比在另一种情况下（他们正在执行简单操作）中的 50 行花费更长的时间。

例如，在您上面的情况下，前 20 个操作非常非常快，而后几个操作几乎占用了您的所有可执行时间。

于 2009-08-19T00:54:26.423 回答
3

两个答案的大部分工作都是在 IL 004A 完成的（第二个答案是 IL 004F）。除非您知道这些外部调用的成本，否则没有实际基础可以比较两个答案的性能。

于 2009-08-19T00:58:06.703 回答