Pruebas de referencia nula en Fa #

Question

Teniendo en cuenta lo siguiente:

[<DataContract>] 
type TweetUser = { 
    [<field:DataMember(Name="followers_count")>] Followers:int 
    [<field:DataMember(Name="screen_name")>] Name:string 
    [<field:DataMember(Name="id_str")>] Id:int 
    [<field:DataMember(Name="location")>] Location:string} 

[<DataContract>] 
type Tweet = { 
    [<field:DataMember(Name="id_str")>] Id:string 
    [<field:DataMember(Name="text")>] Text:string 
    [<field:DataMember(Name="retweeted")>] IsRetweeted:bool 
    [<field:DataMember(Name="created_at")>] DateStr:string 
    [<field:DataMember(Name="user", IsRequired=false)>] User:TweetUser 
    [<field:DataMember(Name="sender", IsRequired=false)>] Sender:TweetUser 
    [<field:DataMember(Name="source")>] Source:string} 

deserializar con DataContractJsonSerializer(typeof<Tweet[]>) resultará en el Usuario o el campo Remitente siendo nulo (al menos eso es lo que el depurador me está diciendo).

Si trato de escribir lo siguiente:

let name = if tweet.User <> null 
        then tweet.User.Name 
        else tweet.Sender.Name 

el compilador emite el error: "El tipo 'TweetUser' no tiene 'nulo' como un valor apropiado"

¿Cómo se prueba valores nulos en este caso?

Answer 1

Para ampliar de forma cíclica en respuesta @Tomas'; -]

let name = if not <| obj.ReferenceEquals (tweet.User, null) 
       then tweet.User.Name 
       else tweet.Sender.Name 

o

let inline isNull (x:^T when ^T : not struct) = obj.ReferenceEquals (x, null) 

Unchecked.defaultof<_> está haciendo lo correcto y la producción de los nulos para los tipos de registros; el problema es que el operador de igualdad predeterminado utiliza la comparación estructural genérica, que espera que siempre juegue según las reglas de F # cuando use tipos de F #. En cualquier caso, un cheque nulo realmente solo garantiza una comparación referencial en primer lugar.

Answer 2

Para agregar algunos detalles al comentario de @ildjarn, aparece el mensaje de error, porque F # no permite usar null como un valor de los tipos que se declaran en F #. La motivación para esto es que F # intenta eliminar los valores null (y NullReferenceException) de los programas F # puros.

Sin embargo, si usted está utilizando tipos que no están definidos en F #, usted todavía está permitido el uso de null (por ejemplo, cuando se llama a una función que toma como argumento System.Random, puede darle null). Esto es necesario para la interoperabilidad, ya que es posible que necesite pasar null a una biblioteca de .NET o aceptarlo como resultado.

En su ejemplo, es una TweetUser (registro) tipo declarado en Fa #, por lo que el lenguaje no permite el tratamiento de null como un valor de tipo TweetUser. Sin embargo, aún puede obtener el valor null a través de Reflection o del código C#, por lo que F # proporciona una función "insegura" que crea un valor null de cualquier tipo, incluidos los registros F #, que normalmente no deberían tener el valor null. Esta es la función Unchecked.defaultOf<_> y se puede utilizar para implementar un ayudante de la siguiente manera:

let inline isNull x = x = Unchecked.defaultof<_> 

Alternativamente, si se marca un tipo con el atributo AllowNullLiteral, entonces usted está diciendo a la F # compilador que debe permitir null como un valor para ese tipo específico, incluso si es un tipo declarado en F # (y normalmente no permitiría null).

Answer 3

Aunque esta pregunta es antigua, no vi ningún ejemplo de boxeo para resolver el problema. En los casos en que mi presentador no permite literales nulos, pero se puede establecer desde una vista, prefiero usar el boxeo.

isNull <| box obj 

o

let isMyObjNull = isNull <| box obj 

o

match box obj with 
| isNull -> (* obj is null *) 
| _ -> (* obj is not null *)