F#选项词典

Question

为什么我不能添加None到System.Collections.Generic.Dictionary的Option？它是Mono中的预期行为还是错误？

F# Interactive for F# 3.1 (Open Source Edition)
Freely distributed under the Apache 2.0 Open Source License

For help type #help;;

> open System.Collections.Generic;;
> let d1 = new Dictionary<int option, int>();;

val d1 : Dictionary<int option,int> = dict []

> d1.Add(None, 1);;
System.ArgumentNullException: Value cannot be null.
Parameter name: key
   at System.ThrowHelper.ThrowArgumentNullException (ExceptionArgument argument) in <filename unknown>:line 0
   at System.Collections.Generic.Dictionary`2[TKey,TValue].Insert (System.Collections.Generic.TKey key, System.Collections.Generic.TValue value, Boolean add) in <filename unknown>:line 0
   at System.Collections.Generic.Dictionary`2[TKey,TValue].Add (System.Collections.Generic.TKey key, System.Collections.Generic.TValue value) in <filename unknown>:line 0
   at <StartupCode$FSI_0004>.$FSI_0004.main@ () in <filename unknown>:line 0
   at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (System.Reflection.MonoMethod,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) in <filename unknown>:line 0
Stopped due to error
> d1.Add(Some 10, 1);;
val it : unit = ()

我在OS X上使用Mono.

$ mono --version
Mono JIT compiler version 4.2.0 (Stable 4.2.0.179/a224653 Tue Oct  6 11:28:25 PDT 2015)
Copyright (C) 2002-2014 Novell, Inc, Xamarin Inc and Contributors. www.mono-project.com
    TLS:           normal
    SIGSEGV:       altstack
    Notification:  kqueue
    Architecture:  amd64
    Disabled:      none
    Misc:          softdebug
    LLVM:          supported, not enabled.
    GC:            sgen

Answer 1

它不是一个bug.Option <'T>使用属性[CompilationRepresentation(CompilationRepresentationFlags.UseNullAsTrueValue),该属性将None表示为null.

所以你实际上是添加一个null作为一个字典的键,你知道这是不允许的.

以供参考:

UseNullAsTrueValue:允许使用null作为区分联合中的nullary鉴别符的表示.

更多信息,为什么None表示为null？