F＃メソッドは、オプション

Question

の代わりにnullを返します。F#.net 4.6.1VS2015に開発しました。

type CommonHelper = 
    static member SideEffectOnNull act x = if x = null then act(); x else x 
    static member SideEffectOnNotNull act x = if x <> null then act(); x else x 

...

static member GetPerformanceCounter (fname: CounterFullName) = 

     let getCounterInternal (counterFullName: CounterFullName) = 
      Log.Information("Getting counter: {category}\\{name}\\{instance} ", counterFullName.Category, counterFullName.Name, counterFullName.Instance) 
      let receivedCategory = PerformanceCounterCategory.GetCategories().FirstOrDefault(fun x -> String.Equals(x.CategoryName, counterFullName.Category.Category, StringComparison.InvariantCultureIgnoreCase)) 
      if receivedCategory = null then 
       Serilog.Log.Warning ("Category not found: {category}", counterFullName.Category); null 
      else 
       let receivedCounters = PerforrmanceCounterProxy.GetPerformanceCountersFromCategoryOrNull counterFullName.Instance receivedCategory 
       if receivedCounters = null then 
        Log.Warning ("Instance not found {name}(instance: {instance}) in category {category}", counterFullName.Name, counterFullName.Instance, counterFullName.Category); null 
       else 
        receivedCounters.FirstOrDefault(fun y -> String.Equals(y.CounterName, counterFullName.Name.Name, StringComparison.InvariantCultureIgnoreCase)) 
        |> CommonHelper.SideEffectOnNull (fun unit -> Log.Warning ("Name {name}(instance: {instance}) not found for category {category}", counterFullName.Name, counterFullName.Instance, counterFullName.Category)) 

     getCounterInternal fname 
     |> CommonHelper.SideEffectOnNull (fun unit ->Log.Warning("Getting counter failed: {category}\\{name}\\{instance}", fname.Category, fname.Name, fname.Instance)) 
     |> CommonHelper.SideEffectOnNotNull (fun unit ->Log.Information("Getting Counter secceed: {category}\\{name}\\{instance}", fname.Category, fname.Name, fname.Instance)) 
     |> (fun x -> if x = null then None else Option.Some(x)) 

しかし、私はnull代わりのoptionを受け、このメソッドを呼び出す：私はメソッドを持っています。 私は間違っていますか？

Answer 1

F＃では、実行時にnullの定数を持つDUの1つのデータレス値を表すことができます。あなたがCompilationRepresentationFlags.UseNullAsTrueValueにそうするようにコンパイラに指示することができます

上記のコードで

[<CompilationRepresentation(CompilationRepresentationFlags.UseNullAsTrueValue)>] 
type A = B | C of int 

printfn "%A" (obj.ReferenceEquals(B, null)) // will print "true" 

、DU値Bはnullにコンパイルされます。これは時には最適化のために便利です。毎回インスタンスを割り当てるのではなく、定数を使用します。値が多用される場合に役立ちます。

したがって、Optionタイプでは、Noneのケースでこの同じテクニックが使用されます。そのため、Noneはデバッガにnullと表示されます。

デバッガには、この機能と他のF＃機能を実装するための適切な拡張ポイントが用意されています。それまでは、デバッガはC＃を話し、翻訳をやります。