Có phải C# xử lý các loại không cho phép null từ F # vẫn không thể thực hiện được không?

Question

Đó là interop giữa C# và F #

Trong F #,

type test = 
{ 
    value: int 
} 

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

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

Tuy nhiên, trong C#

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

Answer 1

Ràng buộc không nullable trên các loại là một tính năng F # cụ thể và vì vậy nó không có bất kỳ đại diện nào trong .NET (và do đó C# không tôn trọng nó).

Trong thực tế, bạn có thể workaround này ngay cả trong F # sử dụng không an toàn Unchecked.defaultof<_> giá trị:

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

này rất hữu ích nếu bạn muốn kiểm tra cho null trong một đối tượng mà được tiếp xúc với C#:

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