为什么这个F＃代码很慢？

C＃和F＃中的Levenshtein实现。 C＃版本比两个约1500字符的string要快10倍。 C＃：69毫秒，F＃867毫秒。 为什么？ 据我所知，他们做的是完全一样的东西？ 如果是发行版或debugging版，则无关紧要。

编辑：如果有人来这里专门寻找编辑距离的实施，它被打破。 工作代码在这里 。

C＃ ：

private static int min3(int a, int b, int c) { return Math.Min(Math.Min(a, b), c); } public static int EditDistance(string m, string n) { var d1 = new int[n.Length]; for (int x = 0; x < d1.Length; x++) d1[x] = x; var d0 = new int[n.Length]; for(int i = 1; i < m.Length; i++) { d0[0] = i; var ui = m[i]; for (int j = 1; j < n.Length; j++ ) { d0[j] = 1 + min3(d1[j], d0[j - 1], d1[j - 1] + (ui == n[j] ? -1 : 0)); } Array.Copy(d0, d1, d1.Length); } return d0[n.Length - 1]; } 

F＃ ：

 let min3(a, b, c) = min a (min bc) let levenshtein (m:string) (n:string) = let d1 = Array.init n.Length id let d0 = Array.create n.Length 0 for i=1 to m.Length-1 do d0.[0] <- i let ui = m.[i] for j=1 to n.Length-1 do d0.[j] <- 1 + min3(d1.[j], d0.[j-1], d1.[j-1] + if ui = n.[j] then -1 else 0) Array.blit d0 0 d1 0 n.Length d0.[n.Length-1] 

Answer 1

问题是， min3函数被编译为使用generics比较的generics函数（我认为这只是使用IComparable ，但它实际上更复杂 – 它将使用F＃types的结构比较，它是相当复杂的逻辑）。

 > let min3(a, b, c) = min a (min bc);; val min3 : 'a * 'a * 'a -> 'a when 'a : comparison 

在C＃版本中，函数不是通用的（只需要int ）。 您可以通过添加types注释来改进F＃版本（以获得与C＃中相同的内容）：

 let min3(a:int, b, c) = min a (min bc) 

…或通过将min3作为inline （在这种情况下，在使用时它将被专用于int ）：

 let inline min3(a, b, c) = min a (min bc);; 

对于长度为300的随机stringstr ，我得到以下数字：

 > levenshtein str ("foo" + str);; Real: 00:00:03.938, CPU: 00:00:03.900, GC gen0: 275, gen1: 1, gen2: 0 val it : int = 3 > levenshtein_inlined str ("foo" + str);; Real: 00:00:00.068, CPU: 00:00:00.078, GC gen0: 0, gen1: 0, gen2: 0 val it : int = 3