4

所以我写了一个小二分搜索函数（不是我需要，只是因为我可以），例如，当我使它特定于字符串或整数时，它工作得很好。当我尝试使用泛型类型签名时，我开始遇到异常。

使用泛型类型的函数副本'a：

let search (needle : 'a) (haystack: 'a array) : int = 
    let length = Array.length haystack

    if Array.length haystack <= 0
    then -1
    else
        let bottom = 0
        let top = Array.length haystack - 1

        let rec search' (needle : 'a) (haystack: 'a array) (bottom:int) (top:int) : int = 
            if bottom = top
            then if needle = haystack.[top] then top else -1
            else
                let middle = (uint32 top + uint32 bottom) >>> 1 |> int  // avoid an overflow

                if needle <= haystack.[middle]
                then search' needle haystack bottom middle
                else search' needle haystack (middle+1) top

        search' needle haystack bottom top

当它被调用时，我得到以下信息：

System.InvalidProgramException: Invalid IL code in FSI_0019:search'@921-13<a> (a,a[],int,int): IL_0000: br        IL_0005
  at FSI_0019.search[String] (System.String needle, System.String[] haystack) [0x00000] in <filename unknown>:0 
  at <StartupCode$FSI_0023>.$FSI_0023.main@ () [0x00000] in <filename unknown>:0 
  at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (object,object[],System.Exception&)
  at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] in <filename unknown>:0 
Stopped due to error

难道我做错了什么？（再次，当我使用stringorint而不是 时'a，一切正常......）

编辑：

我已经编译了 Mono 2.9 左右，然后这个函数在 FSI 中工作。现在，等待 Debian 和 Ubuntu 升级... :D

4

2 回答 2

2

这对我有用（在 .NET 4.0 上运行 FSI）。也许这是一个单声道错误？

于 2011-01-02T05:28:09.337 回答
2

单声道错误。之前，我有一个代码无法运行，fsi但可以编译。

编辑：已确认该代码不适用于fsi，但适用于编译的fsc.

于 2011-01-02T05:32:08.143 回答