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

私は何か間違ったことをしていますか？（繰り返しますが、私が使用するとき、stringまたはintその代わりに'a、すべてが機能します...）

編集：

私はMono2.9かそこらをコンパイルしました、そしてこの関数はFSIで動作します。さて、DebianとUbuntuがアップグレードするのを待つために...：D

4

2 に答える 2

2

これは私にとってはうまくいきます（.NET 4.0でFSIを実行しています）。おそらくMonoのバグでしょうか？

于 2011-01-02T05:28:09.337 に答える
2

モノバグ。以前は、動作しないfsiがコンパイルされたコードがありました。

編集: そのコードは で動作しないことが確認されていますfsiが、 でコンパイルされた で動作しfscます。

于 2011-01-02T05:32:08.143 に答える