Behandelt C# Typen, die nicht zulassen, dass Null von F # immer noch Nullwert sein kann?

Question

Es ist Interop zwischen C# und F #

In F #,

type test = 
{ 
    value: int 
} 

type Wrapper (value: test) = 
    member val Value = value with get, set 

let trythis = new Wrapper(null) // error as expected 

jedoch in C#

var trythis = new Wrapper(null); //this runs fine 

Answer 1

Die Nicht-Nullable-Einschränkung für Typen ist ein F # Spezifikum und es tut so keine Repräsentation in .NET (und daher respektiert C# es nicht).

In der Tat, können Sie dies auch in F # Umgehung einen unsicheren Unchecked.defaultof<_> Wert mit:

let trythis = new Wrapper(Unchecked.defaultof<_>) 

Dies ist sehr hilfreich, wenn Sie für null in einem Objekt überprüfen mögen, die C# ausgesetzt ist:

type Wrapper (value: test) = 
    if value = Unchecked.defaultof<_> then 
     invalidArg "value" "Value should not be null." 
    member val Value = value with get, set