博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
如何对付运行时可能为 null 的 Record Type
阅读量:5344 次
发布时间:2019-06-15

本文共 933 字,大约阅读时间需要 3 分钟。

在 F# 中,Record Type 是无法表达 null 语义的,例如,一个 Record 变量不能够使用 null 字面量赋值,接收 nullable(这里并不是指 BCL 中的 Nullable<T> 类型,而是指 C# 8.0 之前的引用类型)作为参数的函数不能使用 Record 作为参数:

type Foo = {Id: string}let foo: Foo = null // 编译错误let foo = {Id: "2333"}  // 编译通过let fooOp = Option.ofObj foo    // 编译错误

F# 的设计者可能认为 Record 作为一个典型的函数式语言特性,使用 option 来表达 nullable 会更加 Functional,所以就禁止了 Record 与 null 的直接转换。这种愿景非常美好,但是实际上大部分的 .Net 生态环境都是使用 C# 来构建的,比如 Linq。下面的一段代码就会在 F# 中引发可怕的“空引用异常”:

open System.Linqlet foos: Foo list = []let nill = foos.FirstOrDefault()//> let nill: Fooprinrf "%A" nill.Id //<-- 空引用异常

可以看到,FirstOrDefault 的返回值尽管是 Foo 类型,但是在运行时其结果永远都是 null,又因为 F# 禁止了 Record 与 null 相关的比较操作,所以此处无法直接进行判断结果是否为 null

我采用的做法就是进行类型转换,首先将 Record 类型转换成 obj,然后判断此处的引用是否为 null

module Optionlet ofRecord r =    match box r with    | null -> None    | _ -> Some r

因为 F# 中的 Record 类型底层就是使用引用类型来实现的,所以这里并不会产生真正的装箱操作,对性能的影响并不会太大。

转载于:https://www.cnblogs.com/JacZhu/p/10271137.html

你可能感兴趣的文章
linux下编译安装nginx
查看>>
ArcScene 高程不同的表面无法叠加
查看>>
[ONTAK2010] Peaks
查看>>
DLL 导出函数
查看>>
windows超过最大连接数解决命令
查看>>
12个大调都是什么
查看>>
angular、jquery、vue 的区别与联系
查看>>
参数范围的选择
查看>>
使用 MarkDown & DocFX 升级 Rafy 帮助文档
查看>>
THUPC2019/CTS2019/APIO2019游记
查看>>
Nodejs Express模块server.address().address为::
查看>>
4.3.5 Sticks (POJ1011)
查看>>
POJ 2960 S-Nim 博弈论 sg函数
查看>>
Dijkstra模版
查看>>
一个简单的插件式后台任务管理程序
查看>>
GDB调试多进程程序
查看>>
组合数
查看>>
CMD批处理延时启动的几个方法
查看>>
转:LoadRunner中web_custom_request 和 web_submit_data的差别
查看>>
HTC G7直刷MIUI开启A2SD+亲测教程
查看>>