Question

鉴于以下情况:

[<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}

使用 DatacontractJsonSregier( 类型 < Tweet[] & gt;) 进行降序时, 将会导致用户字段或发件人字段无效( 至少调试器告诉我的是这种情况 ) 。

如果我试着写下以下内容:

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

编译器发出错误:“TweetUser 类型没有无效的正确值”

本案中我如何检验无效价值?

Answer 1

循环扩展于 @Tomas 回答;-]

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

或

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

Unchecked.defaultof<_> is doing the right thing and producing nulls f或 your rec或d types; the issue is that the default equality operat或 uses generic structural comparison, which expects you to always play by F# s rules when using F# types. In any case, a null-check really only warrants referential comparison in the first place.

Answer 2

为了给@ildjarn 的评论添加一些细节, 您正在收到错误消息, 因为 F# 不允许使用 < code> null 作为F# 中声明的类型的值。这样做的动机是 F# 试图从纯 F# 程序中删除 < code> null 的值( 和 < code> NullReferenceException )。

然而,如果您重新使用F# 中未定义的类型, 您仍然可以使用 < code> null (例如, 当调用一个函数, 以 < code> System. random 作为参数时, 您可以给它 < code > null ) 。这是互操作性需要的, 因为您可能需要将 < code > null 传递到. NET 库, 或者因此接受它。

在您的示例中, TweetUser 是F# 中宣布的一种( 记录) 类型, 因此语言不允许将 < code> null 视为类型 < code> TweetUser 的值。但是, 您仍然可以通过 e. description 或 C# 代码获得 < code> null 值。因此 F# 提供一种“ 不安全” 功能, 产生任何类型的 < code> null 值 - 包括 F# 记录, 这些记录通常不应有 < code> null 值。这是 uncecked. defaulp<\\\\\ gt; 函数, 您可以用它来实施这样的帮助者 :

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

或者,如果你用 AllowNullLiteral 属性标记某类型,那么你又对 F# 编译器说,它应该允许 null 作为该特定类型的值,即使它是F# 中声明的类型(通常不允许 null )。

Answer 3

尽管这个问题已经过去,但我并没有看到任何拳击的例子来解决这个问题。在我的主讲人不允许一字不提但可以从一个角度设定的情况下,我宁可使用拳击。

isNull <| box obj

或

let isMyObjNull = isNull <| box obj

或

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

友情链接